Root-space decomposition (source code)

= Root-space decomposition
{wiki=Root_system#Lie_theory}

For a Cartan subalgebra $\mathfrak t$, a semisimple <Lie algebra> decomposes as
$$
\mathfrak g=\mathfrak t\oplus\bigoplus_{\alpha\in R}\mathfrak g_\alpha,
\qquad
\mathfrak g_\alpha=\{x:[h,x]=\alpha(h)x\text{ for every }h\in\mathfrak t\}.
$$
The nonzero functionals $\alpha$ are the roots.