Suppose we have a finitely presented group $G$ with decidable word problem. Is it decidable to check whether a given element $x\in G$ has finite order or infinite?
Is it decidable to check if an element has finite order or not?
Al Tal
- 1.3k
- 7
- 16