On subideals of the join of permutable Lie algebras (Q788815)

From MaRDI portal





scientific article; zbMATH DE number 3843967
Language Label Description Also known as
English
On subideals of the join of permutable Lie algebras
scientific article; zbMATH DE number 3843967

    Statements

    On subideals of the join of permutable Lie algebras (English)
    0 references
    1984
    0 references
    In this note we shall continue our investigation for subideals of the join of permutable Lie algebras [for the definition of these and other terms, see \textit{R. K. Amayo} and \textit{I. Stewart}, Infinite-dimensional Lie algebras (1974; Zbl 0302.17006)] generalizing our previous results (see the preceding review) to certain classes of infinite-dimensional Lie algebras. The main results are as follows: Let L be a Lie algebra over a field of characteristic zero and let A, H, K be subalgebras of L such that \(L=H+K\) and \(A\subseteq H\), \(A\subseteq K\). Then (a) If L is soluble-by-finite and A is a subideal of H, A is a subideal of K, then A is a subideal of L. (b) If L is ideally finite and A is ascendant in H, A is ascendant in K, then A is ascendant in L. We also obtain some analogues of theorems of \textit{H. Wielandt} [Arch. Math. 35, 1-7 (1980; Zbl 0413.20020)]. Let L be a Lie algebra over any field and let \(H_ 1\), \(H_ 2\), \(H_ 3\) be subalgebras of L such that \(L=<H_ 1,H_ 2,H_ 3>\). If \([H_ 1,H_ 2]\subseteq H_ 1\) and if \(H_ i\) is a subideal of \(<H_ i,H_ j>=H_ i+H_ j\) for all \(i,j=1,2,3\), then \(H_ 1\), \(H_ 2\) and \(H_ 3\) are subideals of L. Finally if L is an ideally finite Lie algebra over a field of characteristic zero and if \(H_ i\) is ascendant in \(<H_ i,H_ j>\) for all \(i,j=1,2,3\) and \(<H_ 1,H_ 2>\) is permutable with \(H_ 3\) then \(H_ 1\), \(H_ 2\) and \(H_ 3\) are ascendant in \(L=<H_ 1,H_ 2,H_ 3>\).
    0 references
    analogue of Wielandt theorem
    0 references
    infinite-dimensional Lie algebras
    0 references
    characteristic zero
    0 references
    soluble-by-finite
    0 references
    subideal
    0 references
    ideally finite
    0 references
    ascendant
    0 references
    subalgebras
    0 references

    Identifiers