1: \begin{abstract}

2:   Let $G$ be the first Grigorchuk group.  We show that the commutator

3:   width of $G$ is $2$: every element $g\in [G,G]$ is a product of two

4:   commutators, and also of six conjugates of $a$. Furthermore, we show

5:   that every finitely generated subgroup $H\leq G$ has finite

6:   commutator width, which however can be arbitrarily large, and that

7:   $G$ contains a subgroup of infinite commutator width. The proofs

8:   were assisted by the computer algebra system GAP.

9: \end{abstract}

10: