The commutator action of is diagonalizable on endomorphisms: on it acts by . The action of is nilpotent by nilpotence of commutation by a nilpotent endomorphism. The two actions commute, so uniqueness of the Additive Jordan decomposition identifies them as the parts of .
For a complex semisimple Lie algebra and , both parts of its Additive Jordan decomposition lie in . The polynomial semisimple part of shows normalizes . Split by the Weyl complete reducibility theorem; the -component of centralizes . On each irreducible summand of it is scalar by the Schur lemma. Its trace is zero because is a perfect Lie algebra and the nilpotent part has zero trace, so those scalars vanish. Nonsemisimple subalgebras may fail this property: with nilpotent contains neither Jordan part of .

Articles by others on the same topic (0)

There are currently no matching articles.