Nilradical of a Lie algebra
The nilradical of a finite-dimensional Lie algebra is its maximal nilpotent ideal, which exists because the sum of any two nilpotent ideals is nilpotent. It is an ideal in the radical of the Lie algebra . The quotient of a Lie algebra by its nilradical is a reductive Lie algebra . However, the corresponding short exact sequence
does not split in general (i.e., there isn't always a subalgebra complementary to in ). This is in contrast to the Levi decomposition: the short exact sequence
does split (essentially because the quotient is semisimple).
- Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
- Onishchik, Arkadi L.; Vinberg, Ėrnest Borisovich (1994), Lie Groups and Lie Algebras III: Structure of Lie Groups and Lie Algebras, Springer, ISBN 978-3-540-54683-2.