 Root-space decomposition

For a Cartan subalgebra $\mathfrak{t}$, a semisimple Lie algebra decomposes asThe nonzero functionals $\alpha$ are the roots.