= Two-Engel Lie identity forces class two away from characteristic three
{title2=$[x,[x,y]]=0\implies[L,[L,L]]=0\quad(\operatorname{char}K\ne3)$}
Polarizing the displayed <Lie algebra> identity gives $[x,[y,z]]+[y,[x,z]]=0$. Antisymmetry shows that the three cyclic terms in the <Jacobi identity> are all equal. Their sum is zero, so three times each term is zero. Away from characteristic three they therefore vanish, giving nilpotency class at most two. No division by two occurs, so this argument also applies in characteristic two for alternating Lie brackets.
Back to article page
