You are currently browsing the tag archive for the ‘gropes’ tag.
The purpose of this blog post is to try to give some insight into the “meaning” of the Hall-Witt identity in group theory. This identity can look quite mysterious in its algebraic form, but there are several ways of describing it geometrically which are more natural and easier to understand.
If is a group, and are elements of , the commutator of and (denoted ) is the expression (note: algebraists tend to use the convention that instead). Commutators (as their name suggests) measure the failure of a pair of elements to commute, in the sense that . Since , the property of being a commutator is invariant under conjugation (here the superscript means conjugation by ; i.e. ; again, the algebraists use the opposite convention).