# Engel identity

Jump to navigation Jump to search

Template:Ref improve The Engel identity, named after Friedrich Engel, is a mathematical equation that is satisfied by all elements of a Lie ring, in the case of an Engel Lie ring, or by all the elements of a group, in the case of an Engel group. The Engel identity is the defining condition of an Engel group.

## Formal definition

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

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

## References

1. {{#invoke:Citation/CS1|citation |CitationClass=journal }}
2. {{#invoke:Citation/CS1|citation |CitationClass=journal }}