On products of T-ideals in free algebras and free group algebras. (Q958126): Difference between revisions

Let \(F\langle X\rangle\) be the free associative algebra over a fixed field \(K\), freely generated by the countable infinite set \(X\). An ideal of \(F\langle X\rangle\) is a T-ideal if it is closed under all endomorphisms of \(F\langle X\rangle\). The main theorem of the paper under review establishes a necessary and sufficient condition for inclusion of products of T-ideals. (The product is the usual one.) The theorem is the following. Assume \(V=V_1\cdots V_k\) and \(W=W_1\cdots W_l\), where \(V_a\), \(W_b\) are T-ideals. Then \(V\subseteq W\) if and only if there is a T-ideal \(I\) such that \(I=I_1\cdots I_k=J_1\cdots J_l\) where \(I_a\), \(J_b\) are T-ideals, and \(I_a\subseteq V_a\), \(W_b\subseteq J_b\) for all \(a\) and \(b\). A similar result is also obtained for products of varieties of group representations. The proofs are based on triangular products of modules (see for example [\textit{S. M. Vovsi}, Triangular products of group representations and their applications. Progress in Mathematics, Vol. 17. Boston-Basel-Stuttgart: Birkhäuser (1981; Zbl 0482.20009)]), and on Schreier-Lewin methods in free ideal rings.