On products of T-ideals in free algebras and free group algebras. (Q958126)

From MaRDI portal
Revision as of 09:58, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On products of T-ideals in free algebras and free group algebras.
scientific article

    Statements

    On products of T-ideals in free algebras and free group algebras. (English)
    0 references
    2 December 2008
    0 references
    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.
    0 references
    T-ideals
    0 references
    products of ideals
    0 references
    varieties of algebras
    0 references
    varieties of group representations
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references