{"id":"arxiv/2607.07496","url":"https://arxiv.org/abs/2607.07496","tags":["math.GR"],"score":0,"title":"Finite complete rewriting systems for graphs of free groups with applications to free-by-cyclic, one-relator, and three-manifold groups","domain":"math.GR","source":"arxiv","authors":["Robert D. Gray","Marco Linton"],"reviews":0,"subject":"math.GR","summary":"We prove that any finite graph of finitely generated free groups admits a finite complete rewriting system after possibly taking a free product with a free group of rank two. As a corollary we obtain that any HNN-extension of a finitely generated free group over a finitely generated subgroup admits a finite complete rewriting system. We then use this result, and other tools, to give partial solutions to several fundamental open problems about finite complete rewriting systems for hyperbolic, one-relator, fully residually free, and three-manifold groups. In particular we prove that if $G =…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-08","reactions":{}}