paper

Gilman's Conjecture

arXiv:1806.06155

Abstract

We prove a conjecture made by Gilman in 1984 that the groups presented by finite, monadic, confluent rewriting systems are precisely the free products of free and finite groups.

21 pages, 8 figures