Subideals of the join of Lie algebras (Q752159)

Let L be a Lie algebra and \(X\leq H_{\sigma}\) (\(\sigma\in I)\) be subalgebras of L such that X is of finite codimension in \(<H_{\alpha} | \sigma \in I>\). The author proves that if X is a weak subideal of H for any \(\sigma\in I\), then X is a weak subideal of \(<H_{\sigma} |\sigma \in I>\). Let E\({\mathfrak A}\) and \({\mathfrak A}^ c\) denote respectively the classes of solvable Lie algebras and solvable Lie algebras of derived length \(\leq c\). Then the following analogue of Stonehewer's result in group theory is proved: Let \({\mathfrak X}\) be a class of Lie algebras and suppose that \(L=H+K\in {\mathfrak X}\), H and K subalgebras of L and X a subideal of both H and K implies that X is a subideal of L. Then \(L=H+K\in (E{\mathfrak A}){\mathfrak X}\) and X a subideal of H and K implies that X is a subideal of L. If furthermore there is an integer \(f=f(X,m)\) such that \(X\triangleleft^ fL\) whenever \(L=H+K\in {\mathfrak X}\) with \(X\triangleleft^ mH\) and \(X\triangleleft^ mK\), then there is an integer \(g=f+cm\) such that \(X\triangleleft^ gL\) whenever \(L=H+K\in {\mathfrak A}^ c{\mathfrak X}\) with \(X\triangleleft^ mH\) and \(X\triangleleft^ mK\). A similar result for finite-by-solvable Lie algebras is also proved.