Solution
= Solution
For a Cartan subalgebra $\mathfrak h$, the root set consists of the nonzero linear functionals $\alpha\in\mathfrak h^*$ for which $\mathfrak g_\alpha=\{X:[H,X]=\alpha(H)X\}$ is nonzero. It is the <root system> of the Lie algebra.