Normalizer-centralizer equality for a toral abelian subalgebra

ID: normalizer-centralizer-equality-for-a-toral-abelian-subalgebra

If is a toral subalgebra and an abelian Lie algebra, its normalizer of a Lie subalgebra equals its centralizer of a Lie subalgebra. For in the former and , one has , hence . A diagonalizable linear map has the same kernel as its square, by expansion in an eigenbasis. Applying this to gives for every . The reverse containment follows directly from the definitions. No assumption that is a semisimple Lie algebra is needed.

New to topics? Read the docs here!