On Dehn Functions of Infinite Presentations of Groups
- 70 Downloads
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. In particular, we prove that the (standard) Dehn function of a 2-group Γ of intermediate growth, defined by a system of defining relators due to Lysenok, is bounded from above by C1x2 log2 x, where C1 > 1 is a constant. We also show that the (standard) Dehn function of a free m-generator Burnside group B(m, n) of exponent n ≥ 248, where n is either odd or divisible by 29, defined by a minimal system of defining relators, is bounded from above by the subquadratic function x19/12.
Keywords and phrases:Presentation of groups word problem Dehn functions van Kampen diagrams torsion groups Burnside groups
AMS Mathematics Subject Classification:Primary 20E08, 20F05, 20F06, 20F10, 20F50, 20F65, 20F69
Unable to display preview. Download preview PDF.