On Dehn functions of infinite presentations of groups.

DOI10.1007/S00039-009-0712-0MaRDI QIDQ841096zbMATH OpenOpenAlexFDO

Authors R. I. Grigorchuk, S. V. Ivanov

Publication date 14 September 2009

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

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

zbMATH Keywords

Burnside groupsDehn functionsfinitely generated groupsinfinite presentations of groupsinfinite torsion groupssolvable word problemvan Kampen diagrams

Mathematics Subject Classification ID

Groups acting on trees (20E08) Generators, relations, and presentations of groups (20F05) Cancellation theory of groups; application of van Kampen diagrams (20F06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Periodic groups; locally finite groups (20F50) Geometric group theory (20F65) Asymptotic properties of groups (20F69)

Abstract: We introduce two new types of Dehn functions of group presentations which seem more suitable (than the standard Dehn function) for infinite group presentations and prove the fundamental equivalence between the solvability of the word problem for a group presentation defined by a decidable set of defining words and the property of being computable for one of the newly introduced functions (this equivalence fails for the standard Dehn function). Elaborating on this equivalence and making use of this function, we obtain a characterization of finitely generated groups for which the word problem can be solved in nondeterministic polynomial time. We also give upper bounds for these functions, as well as for the standard Dehn function, for two well-known periodic groups one of which is an infinite 2-group of intermediate growth and the other is a free Burnside group of sufficiently large exponent.

Recommendations

• Groups with undecidable word problem and almost quadratic Dehn function. (With an appendix written by M. V. Sapir)
• Isoperimetric and isodiametric functions of groups
• scientific article; zbMATH DE number 1530302
• Solvable groups with polynomial Dehn functions
• Annular Dehn functions of groups

Cited in

(24)

• The Dehn function of Stallings' group.
• The Dehn function of \(\operatorname {PSL}_2(\mathbb{Z}[1/p])\).
• Isoperimetric and isodiametric functions of groups
• Algorithmic problems in groups with quadratic Dehn function
• Space functions of groups.
• The mean Dehn functions of abelian groups
• The complexity of Dehn's algorithm for word problems in groups
• scientific article; zbMATH DE number 67432 (Why is no real title available?)
• On Dehn functions of free products of groups
• Polynomial upper bounds for the Dehn function of R. Thompson's group F
• scientific article; zbMATH DE number 1530302 (Why is no real title available?)
• Solvable groups with polynomial Dehn functions
• scientific article; zbMATH DE number 3993567 (Why is no real title available?)
• FUNCTIONS ON GROUPS AND COMPUTATIONAL COMPLEXITY
• Groups with undecidable word problem and almost quadratic Dehn function. (With an appendix written by M. V. Sapir)
• Amenable groups without finitely presented amenable covers
• scientific article; zbMATH DE number 7624301 (Why is no real title available?)
• The Bounded and Precise Word Problems for Presentations of Groups
• Weak commutativity, virtually nilpotent groups, and Dehn functions
• On the Dehn functions of a class of monadic one-relation monoids
• A semigroup with linearithmic Dehn function
• Isoperimetric inequalities in finitely generated groups
• Groups with small Dehn functions and bipartite chord diagrams.
• Betti numbers of finitely presented groups and very rapidly growing functions.

This page was built for publication: On Dehn functions of infinite presentations of groups.

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