Commutator width in the first Grigorchuk group

DOI10.4171/GGD/666MaRDI QIDQ2102157zbMATH OpenWikidataFDO

Authors Laurent Bartholdi, Thorsten Groth, Igor Lysenok

Publication date 28 November 2022

Published in Groups, Geometry, and Dynamics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.05706

zbMATH Keywords

commutator lengthquadratic equationsself-similar groups

Mathematics Subject Classification ID

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

Review text

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.

Recommendations

• Commutator width in Chevalley groups.
• Commutator width of Chevalley groups over rings of stable rank 1
• ON THE COMMUTATOR WIDTH OF PERFECT GROUPS
• The commutator width of some relatively free Lie algebras and nilpotent groups
• The commutator width of elements in a wreath product of free Abelian groups.
• Commutators in residually finite groups
• scientific article; zbMATH DE number 3959761
• scientific article; zbMATH DE number 3269945
• Homeomorphism groups of commutator width one
• scientific article; zbMATH DE number 804598

Cites work

• A STRUCTURAL PROPERTY CONCERNING ABSTRACT COMMENSURABILITY OF SUBGROUPS
• Algorithmic decidability of Engel's property for automaton groups
• CENTRALIZERS OF ELEMENTS IN A GROUP OF TREE AUTOMORPHISMS
• Commutators of Certain Finitely Generated Soluble Groups
• Conjugacy growth and width of certain branch groups.
• Expressing group elements as commutators
• scientific article; zbMATH DE number 1267534 (Why is no real title available?)
• scientific article; zbMATH DE number 2156384 (Why is no real title available?)
• scientific article; zbMATH DE number 1857623 (Why is no real title available?)
• scientific article; zbMATH DE number 3255746 (Why is no real title available?)
• scientific article; zbMATH DE number 3109449 (Why is no real title available?)
• On Burnside's problem on periodic groups
• On the Burnside problem for periodic groups
• Quadratic equations in the Grigorchuk group.
• Quadratic equations over free groups and free products
• Representation zeta functions of self-similar branched groups
• Solved and unsolved problems around one group.
• Some Remarks on Commutators
• The Ore conjecture.
• Transverse foliations of Seifert bundles and self homeomorphism of the circle
• Verbal subgroups of the automorphism groups of homogeneous rooted trees
• Words. Notes on verbal width in groups.

Cited in

(8)

• Bracket width of simple Lie algebras
• scientific article; zbMATH DE number 3959761 (Why is no real title available?)
• A STRUCTURAL PROPERTY CONCERNING ABSTRACT COMMENSURABILITY OF SUBGROUPS
• Commutator width in the first Grigorchuk group
• Constrained inhomogeneous spherical equations: average-case hardness
• Orientable quadratic equations in wreath products of abelian groups
• Equations in wreath products
• Quadratic equations in the lamplighter group

Describes a project that uses

Uses Software

• LPRES
• FR
• 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 Q2102157)