On groups with EDT0L word problem
Abstract
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 toward the conjecture that all groups with EDT0L word problem are finite (i.e. precisely the groups with regular word problem).
Fields of Study & Subjects
semigroups and automata theory
Geometric and Algebraic Topology
Finite Group Theory Research
Publication details
- Journal / source
- International Journal of Algebra and Computation
- Volume
- 36
- Issue
- 04
- Pages
- 425–486
- Publication date
- 6 February 2026
- Language
- EN