 Solution

The normalizer of a Lie subalgebra and the centralizer of a Lie subalgebra areThe second is always contained in the first. Conversely, let $x\in N_{\mathfrak{g}}(\mathfrak{a})$ and $a\in \mathfrak{a}$. Then $[a,x]\in \mathfrak{a}$, and, because $\mathfrak{a}$ is an abelian Lie algebra,By the definition of a toral subalgebra, $\mathrm{ad}a$ is diagonalizable. A diagonalizable linear map $T$ satisfies $\ker T^2=\ker T$: in an eigenbasis, both kernels consist of exactly the eigenvectors whose eigenvalue is zero. Thus $[a,x]=0$. This holds for every $a\in \mathfrak{a}$, so $x\in C_{\mathfrak{g}}(\mathfrak{a})$ andThis is the normalizer-centralizer equality for a toral abelian subalgebra; it does not require $\mathfrak{g}$ to be a semisimple Lie algebra.