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
There are currently no matching articles.