Hyperabelian Lie algebras (Q1075419)

The author investigates the properties of the classes \(E'(\triangleleft){\mathfrak X}\) of hyper \({\mathfrak X}\)-algebras over any field f with F, A, LM denoting the classes of finite-dimensional (resp. abelian, locally nilpotent) Lie algebras. He proves: (1) The prime radical rad(L) of a Lie algebra L coincides with the hyperabelian radical \(\alpha_*(L)\). (2) \(L\in E'(\triangleleft)A\) if and only if it has no proper prime ideals. (3) If \(L\in E'(\triangleleft)(A\cap F)\), then (i) \(L^{(\omega)}\) is hypercentral, where \(\omega\) is the first infinite ordinal. (ii) \(L^ 2\) is hypercentral when char f is zero. (4) If L is infinite-dimensional and \(L\in E'(\triangleleft)LM\), then L has an infinite dimensional locally nilpotent ideal and further an infinite dimensional abelian subalgebra. The paper contains also an example of a locally soluble Lie algebra with trivial Hirsch-Plotkin radical, together with several semisimplicities and their inter-relation.