Engel identity

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 is defined as a nonassociative ring with multiplication that is anticommutative and satisfies the Jacobi identity with respect to the Lie bracket , defined for all elements in the ring . The Lie ring is defined to be an n-Engel Lie ring if and only if

  • for all in , the n-Engel identity

(n copies of ), is satisfied.[1]

In the case of a group , in the preceding definition, use the definition [x,y] = x1y1xy and replace by , where is the identity element of the group .[2]

gollark: > have any of the ideologies affected by the things facebook/twitter/whatever do been worth a damn?I don't know. Maybe. I just don't exactly want social media companies having vast amounts of power to control public thought just because they're maybe not misusing it much now.
gollark: I mean, transphobia/fascism/etc aren't really making scientific claims.
gollark: Okay, you are going increasingly far with that?
gollark: Unless their opinions are serious cognitohazards of some form.
gollark: ... sure, ish? The issue is that Facebook/Twitter/whatever control *a whole lot* of speech and stuff now.

See also

References

  1. Traustason, Gunnar (1993). "Engel Lie-Algebras". Quart. J. Math. Oxford. 44 (3): 355–384. doi:10.1093/qmath/44.3.355.
  2. Traustason, Gunnar. "Engel groups (a survey)" (PDF). Cite journal requires |journal= (help)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.