Levi decomposition theorem
a finite dimensional Lie algebra is a semidirect product of a normal solvable ideal and a semisimple subalgebra
a finite dimensional Lie algebra is a semidirect product of a normal solvable ideal and a semisimple subalgebra