Ideal of a Lie algebra (source code)

= Ideal of a Lie algebra
{wiki=Ideal_(ring_theory)#Lie_algebra_ideals}

A vector subspace $I\subseteq\mathfrak g$ is an ideal when $[\mathfrak g,I]\subseteq I$. It is therefore the kernel of a Lie-algebra quotient map.