Timeline for Is the isomorphism problem solvable for torsion-free groups?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 4, 2023 at 17:59 | vote | accept | Arshak Aivazian | ||
| May 4, 2023 at 12:07 | history | became hot network question | |||
| May 4, 2023 at 6:56 | answer | added | Carl-Fredrik Nyberg Brodda | timeline score: 9 | |
| May 4, 2023 at 5:28 | comment | added | Arshak Aivazian | Thanks a lot! If you post your comment as an answer, I will accept it. | |
| May 4, 2023 at 4:58 | comment | added | Carl-Fredrik Nyberg Brodda | No. This follows from Adian-Rabin but, more explicitly, Adian in his original paper(s) (see my translation here) gave an infinite family of torsion-free groups for which the triviality problem is undecidable. So one cannot even decide whether a given torsion-free group is trivial. In general there is no simplification by assuming torsion-freeness, the first groups with undecidable word problem are torsion-free. | |
| May 4, 2023 at 4:04 | history | asked | Arshak Aivazian | CC BY-SA 4.0 |