On Groups Presented by Monadic Rewriting Systems with Generators of Finite Order

We prove that the groups presented by finite convergent monadic rewriting systems with generators of finite order are exactly the free products of finitely many finite groups, thereby confirming Gilman’s Conjecture in a special case. We also prove that the finite cyclic groups of order at least three are the only finite groups admitting a presentation by more than one finite convergent monadic rewriting system (up to relabeling), and these admit presentation by exactly two such rewriting systems