Engel lemma
= Engel lemma
{c}
A finite-dimensional <Lie algebra representation> in which every representing endomorphism is <nilpotent linear map>[nilpotent] has a nonzero vector annihilated by the entire Lie algebra. Applying this to the <Adjoint representation> is the key step in <Engel theorem>.