Abelian ideals lie in the radical of the Killing form
ID: abelian-ideals-lie-in-the-radical-of-the-killing-form
If is an abelian ideal of a Lie algebra, then maps into and vanishes on whenever . Its trace is zero, so . Every nonzero solvable ideal has a last nonzero term in its derived series of a Lie algebra, which is such an abelian ideal. Consequently a nondegenerate Killing form forces the solvable radical to vanish.
New to topics? Read the docs here!