Engel identity

A Lie ring ${\displaystyle L}$ is defined as a nonassociative ring with multiplication that is anticommutative and satisfies the Jacobi identity with respect to the Lie bracket ${\displaystyle [x,y]}$, defined for all elements ${\displaystyle x,y}$ in the ring ${\displaystyle L}$. The Lie ring ${\displaystyle L}$ is defined to be an n-Engel Lie ring if and only if

• for all ${\displaystyle x,y}$ in ${\displaystyle L}$, the n-Engel identity

${\displaystyle [x,[x,\ldots ,[x,[x,y]]\ldots ]]=0}$ (n copies of ${\displaystyle x}$), is satisfied.^[1]

In the case of a group ${\displaystyle G}$, in the preceding definition, use the definition [x,y] = x⁻¹ • y⁻¹ • x • y and replace ${\displaystyle 0}$ by ${\displaystyle 1}$, where ${\displaystyle 1}$ is the identity element of the group ${\displaystyle G}$.^[2]

• Adjoint representation
• Efim Zelmanov
• Engel's theorem