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.
Articles by others on the same topic
There are currently no matching articles.