Regular element criterion in a Cartan subalgebra (source code)

= Regular element criterion in a Cartan subalgebra
{c}

For $t$ in a <Cartan subalgebra> $\mathfrak t$, the <root-space decomposition> gives
$$
\mathfrak z_{\mathfrak g}(t)=\mathfrak t\oplus\bigoplus_{\alpha(t)=0}\mathfrak g_\alpha.
$$
Thus $t$ is regular exactly when $\alpha(t)\ne0$ for every root $\alpha$.