Definition A Lie algebra is called semisimple if it is the direct sum of simple Lie algebras. Finite dimensional case Let be a finite dimensional Lie algebra. The following are equivalent: is semisimple The radical of is trivial. i.e. (possibly more hereā¦ decide first) Proof todo