Subinvariance in Leibniz algebras (Q2214122)

The notion of subinvariant subgroups was developed by \textit{H. Wielandt} [Math. Z. 45, 209--244 (1939; Zbl 0021.21003)] who proved that the tower of automorphisms of a finite group with trivial center ends finitely. A similar study on subinvariance in Lie algebras has been investigated by \textit{E. Schenkman} in [Am. J. Math. 73, 453--474 (1951; Zbl 0054.01804)]. In the paper under review, the main results of the above paper are proved for Leibniz algebras (using different techniques). A subalgebra \(B\) of a Leibniz algebra \(A\) is said to be subinvariant in \(A\) if there exists a sequence of subalgebras \(B=B_n\subset B_{n-1}\subset\cdots\subset B_0=A\) such that \(B_i\) is an ideal in \(B_{i-1}\), for all \(1\leq i\leq n\). For a subinvariant subalgebra \(B\) of \(A\), it is shown that the intersection \(B^\omega=\bigcap_{i=1}^\infty B^{i}\) is an ideal of \(A\), where \(B^i\) is the \(i\)th term of the lower central series of \(B\). Also, if \(B\) is a subinvariant subalgebra of \(A\) whose centralizer in \(A\) is zero, then \(B^\omega\) contains its centralizer in \(A\). Moreover, it is discussed some interesting results on nilpotent and solvable subinvariant subalgebras in the case where the characteristic of the base field is zero. Finally, it is shown that if the left center of a Leibniz algebra \(A\) is zero, then the tower theorem for it follows trivially from the tower theorem for Lie algebras, since in this case the Leibniz kernel will be zero, i.e. \(A\) is actually a Lie algebra.