abstract:In Lie theory and representation theory, the Levi decomposition, conjectured by Killing and Cartan and proved by , states that any finite dimensional real Lie algebra g is the semidirect product of a solvable ideal and a semisimple subalgebra.