Engel lemma
= Engel lemma
{c}
A nonzero 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>.