A finitely presented group with decidable word problem and undecidable order problem is in McCool, James Unsolvable problems in groups with solvable word problem. Canad. J. Math. 22 1970 836–838.
Benjamin Steinberg
- 38.6k
- 3
- 104
- 186