## The Radical of the Killing Form

The first and most important structural result using the Killing form regards its “radical”. We never really defined this before, but it’s not hard: the radical of a binary form on a vector space is the subspace consisting of all such that for all . That is, if we regard as a linear map , the radical is the kernel of this map. Thus we see that is nondegenerate if and only if its radical is zero; we’ve only ever dealt much with nondegenerate bilinear forms, so we’ve never really had to consider the radical.

Now, the radical of the Killing form is more than just a subspace of ; the associative property tells us that it’s an ideal. Indeed, if is in the radical and are any other two Lie algebra elements, then we find that

thus is in the radical as well.

We recall that there was another “radical” we’ve mentioned: the radical of a Lie algebra is its maximal solvable ideal. This is not necessarily the same as the radical of the Killing form, but we can see that the radical of the form is contained in the radical of the algebra. By definition, if is in the radical of and is any other Lie algebra element we have

Cartan’s criterion then tells us that the radical of is solvable, and is thus contained in , the radical of the algebra. Immediately we conclude that if is semisimple — if — then the Killing form must be nondegenerate.

It turns out that the converse is also true. In fact, the radical of contains all abelian ideals . Indeed, if and then , and the square of this map sends into . Thus is nilpotent, and thus has trace zero, proving that , and that is contained in the radical of . So if the Killing form is nondegenerate its radical is zero, and there can be no abelian ideals of . But the derived series of eventually hits zero, and its last nonzero term is an abelian ideal of . This can only work out if is already zero, and thus is semisimple.

So we have a nice condition for semisimplicity: calculate the Killing form and check that it’s nondegenerate.

[...] taking its determinant to find . Since this is nonzero, we conclude that is nondegenerate, which we know means that is semisimple — at least in fields where . Share this:StumbleUponDiggRedditLike [...]

Pingback by Back to the Example « The Unapologetic Mathematician | September 7, 2012 |

[...] to the Killing form . The associativity of shows that is also an ideal, just as we saw for the radical. Indeed, the radical of is just . Anyhow, Cartan’s criterion again shows that the [...]

Pingback by Decomposition of Semisimple Lie Algebras « The Unapologetic Mathematician | September 8, 2012 |

[...] of . Then we can define to be the subspace orthogonal (with respect to ) to , and the fact that the Killing form is nondegenerate tells us that , and thus [...]

Pingback by All Derivations of Semisimple Lie Algebras are Inner « The Unapologetic Mathematician | September 11, 2012 |