Off-campus UNL users: To download campus access dissertations, please use the following link to log into our proxy server with your NU ID and password. When you are done browsing please remember to return to this page and log out.

Non-UNL users: Please talk to your librarian about requesting this dissertation through interlibrary loan.

Prefix-Rewriting: the Falsification by Fellow Traveler Property and Practical Computation

Ash DeClerk, University of Nebraska - Lincoln


The word problem is one of the fundamental areas of research in infinite group theory, and rewriting systems (including finite convergent rewriting systems, automatic structures, and autostackable structures) are key approaches to working on the word problem. In this dissertation, we discuss two approaches to creating bounded regular convergent prefix-rewriting systems. Groups with the falsification by fellow traveler property are known to have solvable word problem, but they are not known to be automatic or to have finite convergent rewriting systems. We show that groups with this geometric property are geodesically autostackable. As a key part of proving this, we show that a wider class of groups, namely groups with a weight non-increasing synchronously regular convergent prefix-rewriting system, have a bounded regular convergent prefix-rewriting system. Our second approach to creating prefix-rewriting systems is a more general approach. We design a procedure that, when provided with a finitely presented group G = ⟨A : R⟩ and an ordering < on A∗ , searches for a bounded convergent prefix-rewriting system. We also create a class of orderings for which each step of this procedure can be practically computed, and which guarantees that any bounded convergent prefix-rewriting system is an autostackable structure.

Subject Area

Mathematics|Applied Mathematics

Recommended Citation

DeClerk, Ash, "Prefix-Rewriting: the Falsification by Fellow Traveler Property and Practical Computation" (2023). ETD collection for University of Nebraska - Lincoln. AAI30488201.