
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
Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations, Generators, relations, and presentations of groups, Groups, groups, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Group Theory (math.GR), free products with amalgamation, 20E06, 20F10, 68Q42, 20E08, and generalizations, Higman-Neumann-Neumann extensions, and generalizations, free products, Free products, Free products with amalgamation, Grammars and rewriting systems, FOS: Mathematics, Higman–Neumann–Neumann extensions, Foundations of computer science, Rewriting systems, Mathematics - Group Theory, 2602 Algebra and Number Theory, rewriting systems
Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations, Generators, relations, and presentations of groups, Groups, groups, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Group Theory (math.GR), free products with amalgamation, 20E06, 20F10, 68Q42, 20E08, and generalizations, Higman-Neumann-Neumann extensions, and generalizations, free products, Free products, Free products with amalgamation, Grammars and rewriting systems, FOS: Mathematics, Higman–Neumann–Neumann extensions, Foundations of computer science, Rewriting systems, Mathematics - Group Theory, 2602 Algebra and Number Theory, rewriting systems
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
