Commutator width in the first Grigorchuk group (Q2102157)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Commutator width in the first Grigorchuk group |
scientific article |
Statements
Commutator width in the first Grigorchuk group (English)
0 references
28 November 2022
0 references
Summary: Let \(G\) be the first Grigorchuk group. We show that the commutator width of \(G\) is \(22\): every element \(g \in [G, G]\) is a product of two commutators, and also of six conjugates of \(a\). Furthermore, we show that every finitely generated subgroup \(H \leq G\) has finite commutator width, which however can be arbitrarily large, and that \(G\) contains a subgroup of infinite commutator width. The proofs were assisted by the computer algebra system GAP.
0 references
self-similar groups
0 references
quadratic equations
0 references
commutator length
0 references