Commutator width in the first Grigorchuk group
Laurent Bartholdi, Thorsten Groth, Igor Lysenok
Abstract
Open-access reader
Laurent Bartholdi, Thorsten Groth, Igor Lysenok
Abstract
Open-access reader
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 . 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.
OpenAlex reports 7 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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 . 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.
Key concepts: Mathematics, Commutator, Group (periodic table), Finitely-generated abelian group, Pure mathematics, Algebra over a field, Lie conformal algebra, Organic chemistry