arXiv · 1410.2342
A uniform model for almost convexity and rewriting systems
Abstract
We introduce a topological property for finitely generated groups called stackable that implies the existence of an inductive procedure for constructing van Kampen diagrams with respect to a particular finite presentation. We also define algorithmically stackable groups, for which this procedure is an algorithm. This property gives a common model for algorithms arising from both rewriting systems and almost convexity for groups.
Explore related subjects
Keep this discovery
Mark Brittenham, Susan Hermiller. 2014-10-09. A uniform model for almost convexity and rewriting systems. https://arxiv.org/abs/1410.2342
Cite the original work for its findings. Save a collection to share your selection of sources.