# When is the Levi subalgebra an ideal?

Let $L$ be a Lie algebra. It is known that $L$ admits a Levi decomposition (possibly non unique):

$L=S\oplus rad(L)$,

where $rad(L)$ is the solvable radical and $S$ is a semisimple subalgebra.

If $L$ is reductive, this is, if

$rad(L)=Z(L)$,

where $Z(L)$ is the center, then $S$ is an ideal.

Is the converse true? Or is it possible to exhibit a non reductive Lie algebra that admits a Levi decomposition such that $S$ is an ideal?

(edited) Is there any method to determine whether is possible to have $S$ as an ideal or not?

Remarks: $L$ is finite dimensional and the underlying field is algebraically closed of characteristic $0$ . The direct sum sign means direct sum of vector subspaces.

-
I'm not sure what the question here is. S is an ideal if and only if L is the direct sum of S and rad(L); this is essentially the definition of "direct sum." –  Ben Webster Apr 18 '11 at 4:36
The answer is no. For instance, if $L$ is a non-abelian solvable Lie algebra, then $S=0$ is certainly an ideal, but $L=rad(L)\neq Z(L)$. –  Kevin Ventullo Apr 18 '11 at 4:43
As direct sum I mean direct sum of vector subspaces, not submodules. –  user14312 Apr 18 '11 at 4:44
I will edit the question. –  user14312 Apr 18 '11 at 4:45

To answer the original question: Certainly it's possible for $L$ to be non-reductive (and non-solvable) while a Levi subalgebra $S$ is an ideal. Just form the direct sum as Lie algebras of your favorite semisimple Lie algebra and a nonabelian solvable Lie algebra. I think the additional edited question about when $S$ can be an ideal is more interesting. Throughout the discussion it's important to work just with finite dimensional Lie algebras over a field of characteristic 0, since otherwise the classical results break down.

What's involved here is usually called the Levi-Mal'cev Theorem, given thorough treatments in older books such as Jacobson Lie Algebras (III.9) and Bourbaki Groupes et algebres de Lie (Chapter I, Section 6.8). (The brief online treatment in the Springer math encyclopedia isn't quite correct, but there may be other online sources.)

Both parts of the theorem are relevant here: the existence in $L$ of a semisimple subalgebra $S$ complementary (in the vector space sense) to the solvable radical; the conjugacy of all such subalgebras $S$ under the subgroup of automorphisms of $L$ generated by all exp(ad x) with x in the nilradical. Bourbaki states as Corollary 4 of the theorem that every ideal in $L$ is the direct sum of its intersections with $S$ and with $rad(L)$ (the former being a Levi subalgebra in the given ideal). In particular, when $S$ itself is an ideal of $L$ it must be the unique Levi subalgebra. All of this follows easily from the Levi-Mal'cev Theorem, though the proof of the theorem itself is nontrivial. The conjugacy of Levi factors is really essential here, not just the existence.

To return to the header of the original question, it should be clear by now that $S$ is an ideal precisely when $L$ is a Lie algebra direct sum of a semisimple Lie algebra and a solvable Lie algebra.

-

The subalgebra $S$ is an ideal if and only if $L\cong S\oplus \mathrm{rad}(L)$ as Lie algebras, in which case there is a unique Levi decomposition. After all, if you have two ideals $I_1,I_2$ such that $L=I_1\oplus I_2$ as vector spaces, then $L=I_1\oplus I_2$ as Lie algebras as well.

-