Killing radical is a solvable ideal
ID: killing-radical-is-a-solvable-ideal
For a finite-dimensional complex Lie algebra , the radical of its Killing form is a Lie algebra ideal by invariance. For , their adjoint actions vanish on , so . The Cartan solvability criterion makes the image solvable; its kernel is the abelian center, so is solvable. A semisimple Lie algebra has no nonzero solvable ideal, forcing its Killing radical to vanish.
New to topics? Read the docs here!