Commutator width in the first Grigorchuk group

DOI10.4171/GGD/666MaRDI QIDQ6292615arXivWikidataFDO

Authors Laurent Bartholdi, Thorsten Groth, Igor Lysenok

Publication date 16 October 2017

Published in arXiv

Full work available at URL https://doi.org/10.4171/GGD/666

Mathematics Subject Classification ID

Groups acting on trees (20E08) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Commutator calculus (20F12) Geometric group theory (20F65) Symbolic computation and algebraic computation (68W30)

arXiv classification

cs.LOmath.GR

Abstract: Let $G$ be the first Grigorchuk group. We show that the commutator width of $G$ is $2$: every element $gin[G,G]$ is a product of two commutators, and also of six conjugates of $a$. Furthermore, we show that every finitely generated subgroup $HleqG$ 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.

This page was built for publication: Commutator width in the first Grigorchuk group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6292615)