TL;DR
This paper proves Gilman's conjecture that groups defined by finite, monadic, confluent rewriting systems are exactly free products of free and finite groups, clarifying their algebraic structure.
Contribution
It provides a proof confirming Gilman's 1984 conjecture about the structure of certain groups defined by rewriting systems.
Findings
Groups with finite, monadic, confluent rewriting systems are free products of free and finite groups
The conjecture by Gilman has been rigorously proven
Clarifies the algebraic structure of these groups
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.