On the word problem for just infinite groups
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917363373309952 |
|---|---|
| author | Talambutsa, Alexey |
| author_facet | Talambutsa, Alexey |
| contents | We establish several results on the word problem for just infinite groups. First, for finitely generated just infinite groups we show that the word problem is uniformly decidable for presentations with recursively enumerable sets of relations. Our proof does not use the Wilson--Grigorchuk theorem on the classification of just infinite groups and proceeds directly from the definition, using ideas from classical results on decidability of the word problem: Kuznetsov's theorem and McKinsey--Maltsev theorem.
For countably generated presentations of just infinite groups with a recursively enumerable set of relations we show that the word problem is decidable in all cases except locally finite groups without a computable lower bound on subgroup sizes.
Finally, we construct presentations of countably generated locally finite groups with recursively enumerable set of relations, for which the word problem is undecidable. Yet, there exist other presentations of these groups, for which the word problem is decidable. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_24266 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the word problem for just infinite groups Talambutsa, Alexey Group Theory Logic 20F10, 20E32, 20E34 We establish several results on the word problem for just infinite groups. First, for finitely generated just infinite groups we show that the word problem is uniformly decidable for presentations with recursively enumerable sets of relations. Our proof does not use the Wilson--Grigorchuk theorem on the classification of just infinite groups and proceeds directly from the definition, using ideas from classical results on decidability of the word problem: Kuznetsov's theorem and McKinsey--Maltsev theorem. For countably generated presentations of just infinite groups with a recursively enumerable set of relations we show that the word problem is decidable in all cases except locally finite groups without a computable lower bound on subgroup sizes. Finally, we construct presentations of countably generated locally finite groups with recursively enumerable set of relations, for which the word problem is undecidable. Yet, there exist other presentations of these groups, for which the word problem is decidable. |
| title | On the word problem for just infinite groups |
| topic | Group Theory Logic 20F10, 20E32, 20E34 |
| url | https://arxiv.org/abs/2512.24266 |