Ontify
A finite dimensional Lie algebra is a semidirect product of a normal solvable ideal and a semisimple subalgebra.