Engel identity

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Engel identity" – news · newspapers · books · scholar · JSTOR (June 2012) (Learn how and when to remove this message)

The Engel identity, named after

.

Formal definition

A

Lie ring

${\displaystyle L}$ is defined as a

${\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]

See also

• Adjoint representation
• Efim Zelmanov
• Engel's theorem

References

This group theory-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e