Semisimple matrix Lie algebras are closed under additive Jordan decomposition

ID: semisimple-matrix-lie-algebras-are-closed-under-additive-jordan-decomposition

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 .

New to topics? Read the docs here!