Past exam of the lie algebras course of Part C of the mathematics course of the University of Oxford / 2023 / 3 / a / ii / Solution

Use the general definition of a Cartan subalgebra: a nilpotent Lie algebra that is a Lie subalgebra and equals its normalizer of a Lie subalgebra. In a semisimple Lie algebra, the stated structural fact says every Cartan subalgebra $\mathfrak{h}$ is a toral subalgebra and an abelian Lie algebra. Part (i) therefore givesConversely, suppose $\mathfrak{h}$ is a toral subalgebra and an abelian Lie algebra with $C_{\mathfrak{g}}(\mathfrak{h})=\mathfrak{h}$. An abelian Lie algebra is a nilpotent Lie algebra, because its lower central series of a Lie algebra vanishes at the second term. Part (i) gives $N_{\mathfrak{g}}(\mathfrak{h})=C_{\mathfrak{g}}(\mathfrak{h})=\mathfrak{h}$. Thus $\mathfrak{h}$ satisfies the defining conditions of a Cartan subalgebra, proving