Hydra groups.
From MaRDI portal
Ackermann functionsDehn functionsfree subgroups of finite rankfree-by-cyclic groupshydra groupsone-relator groupspresentationssubgroup distortion
Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67)
Abstract: We give examples of CAT(0), biautomatic, free-by-cyclic, one-relator groups which have finite-rank free subgroups of huge (Ackermannian) distortion. This leads to elementary examples of groups whose Dehn functions are similarly extravagant. This behaviour originates in manifestations of Hercules-versus-the-hydra battles in string-rewriting.
Recommendations
Cited in
(19)- Stallings' folds for cube complexes
- Algorithmically complex residually finite groups
- Compression techniques in group theory
- Die another day
- Dehn functions of subgroups of right-angled Artin groups
- Super-exponential distortion of subgroups of \(\text{CAT}(-1)\) groups.
- Hyperbolic hydra.
- Hydra group doubles are not residually finite.
- CAT(0) spaces with polynomial divergence of geodesics
- Taming the hydra: the word problem and extreme integer compression
- Residual properties of groups defined by basic commutators.
- The linearity problem for the unitriangular automorphism groups of free groups
- Divergence in right-angled Coxeter groups
- Die Another Day
- List of problems on discrete subgroups of Lie groups and their computational aspects
- Vertex separators, chordality and virtually free groups
- Compressed decision problems in hyperbolic groups
- Finitely presented simple groups with at least exponential Dehn function
- Superexponential Dehn functions inside CAT(0) groups
This page was built for publication: Hydra groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q373477)