Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a group and let $[a,b]=a^{-1}b^{-1}ab$ be the commutator of $a$ and $b$ in $G$. There are several well-known commutator identities such as

$[x, z y] = [x, y]\cdot [x, z]^y$

and

$[[x, y^{-1}], z]^y\cdot[[y, z^{-1}], x]^z\cdot[[z, x^{-1}], y]^x = 1$.

I wonder if there is a more complete list of commutator identities and commutator equivalences of the form

$\alpha(x_1,\cdots,x_n)\equiv\beta(x_1,\cdots,x_n)\mod{N}$,

where $\alpha$ and $\beta$ are expressions involving commutators and $N$ is some subgroup of $G$, for example the $k$-th term in the lower central series of $G$. Anyone knows such a list? Thank you!

share|improve this question
2  
Look it up in Magnus-Karras-Solitar's book. –  Fernando Muro May 29 '12 at 6:27

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.