In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras, i.e., non-abelian Lie algebras whose only ideals are {0} and itself.
Throughout the article, unless otherwise stated, is a non-zero finite-dimensional Lie algebra over a field of characteristic 0. The following conditions are equivalent: