On groups with EDT0L word problem
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915738666663936 |
|---|---|
| author | Bishop, Alex Elder, Murray Evetts, Alex Gallot, Paul Levine, Alex |
| author_facet | Bishop, Alex Elder, Murray Evetts, Alex Gallot, Paul Levine, Alex |
| contents | We prove that the word problem for the infinite cyclic group is not EDT0L, and obtain as a corollary that a finitely generated group with EDT0L word problem must be torsion. In addition, we show that the property of having an EDT0L word problem is invariant under change of generating set and passing to finitely generated subgroups. This represents significant progress towards the conjecture that all groups with EDT0L word problem are finite (i.e. precisely the groups with regular word problem). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_20057 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On groups with EDT0L word problem Bishop, Alex Elder, Murray Evetts, Alex Gallot, Paul Levine, Alex Group Theory Formal Languages and Automata Theory 20F10, 68Q42, 20F65 We prove that the word problem for the infinite cyclic group is not EDT0L, and obtain as a corollary that a finitely generated group with EDT0L word problem must be torsion. In addition, we show that the property of having an EDT0L word problem is invariant under change of generating set and passing to finitely generated subgroups. This represents significant progress towards the conjecture that all groups with EDT0L word problem are finite (i.e. precisely the groups with regular word problem). |
| title | On groups with EDT0L word problem |
| topic | Group Theory Formal Languages and Automata Theory 20F10, 68Q42, 20F65 |
| url | https://arxiv.org/abs/2505.20057 |