Field | Representation theory |
---|---|
Conjectured by | Wilhelm Killing Élie Cartan |
Conjectured in | 1888 |
First proof by | Eugenio Elia Levi |
First proof in | 1905 |
In Lie theory and representation theory, the Levi decomposition, conjectured by Wilhelm Killing[1] and Élie Cartan[2] and proved by Eugenio Elia Levi (1905), states that any finite-dimensional real[clarification needed]{Change real Lie algebra to a Lie algebra over a field of characteristic 0} Lie algebra g is the semidirect product of a solvable ideal and a semisimple subalgebra. One is its radical, a maximal solvable ideal, and the other is a semisimple subalgebra, called a Levi subalgebra. The Levi decomposition implies that any finite-dimensional Lie algebra is a semidirect product of a solvable Lie algebra and a semisimple Lie algebra.
When viewed as a factor-algebra of g, this semisimple Lie algebra is also called the Levi factor of g. To a certain extent, the decomposition can be used to reduce problems about finite-dimensional Lie algebras and Lie groups to separate problems about Lie algebras in these two special classes, solvable and semisimple.
Moreover, Malcev (1942) showed that any two Levi subalgebras are conjugate by an (inner) automorphism of the form
where z is in the nilradical (Levi–Malcev theorem).
An analogous result is valid for associative algebras and is called the Wedderburn principal theorem.