Commutator width in the first Grigorchuk group

Laurent Bartholdi, Thorsten Groth, Igor Lysenok

Let $G$ be the first Grigorchuk group. We show that the commutator width of $G$ is $2$: every element $g\in [G,G]$ is a product of two commutators, and also of six conjugates of $a…