HNN extensions and stackable groups

From MaRDI portal



Abstract: Stackability for finitely presented groups consists of a dynamical system that iteratively moves paths into a maximal tree in the Cayley graph. Combining with formal language theoretic restrictions yields auto- or algorithmic stackability, which implies solvability of the word problem. In this paper we give two new characterizations of the stackable property for groups, and use these to show that every HNN extension of a stackable group is stackable. We apply this to exhibit a wide range of Dehn functions that are admitted by stackable and autostackable groups, as well as an example of a stackable group with unsolvable word problem. We use similar methods to show that there exist finitely presented metabelian groups that are non-constructible but admit an autostackable structure.


Summary: Stackability for finitely presented groups consists of a dynamical system that iteratively moves paths into a maximal tree in the Cayley graph. Combining with formal language theoretic restrictions yields auto- or algorithmic stackability, which implies solvability of theword problem. In this paperwe give two newcharacterizations of the stackable property for groups, and use these to show that every HNN extension of a stackable group over finitely generated subgroups is stackable. We apply this to exhibit a wide range of Dehn functions that are admitted by stackable and autostackable groups, as well as an example of a stackable group with unsolvable word problem. We use similarmethods to show that there exist finitely presented metabelian groups that are non-constructible but admit an autostackable structure.











This page was built for publication: HNN extensions and stackable groups

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