Unsolvable Problems in Groups With Solvable Word Problem
James McCool · Canadian Journal of Mathematics · 1970
Let G be a finitely presented group with solvable word problem. It is of some interest to ask which other decision problems must necessarily be solvable for such a group. Thus it is easy to see that there exist effective procedures to determine whether or not such a group is trivial, or nilpotent of a given class. On the other hand, the conjugacy problem need not be solvable for such a group, for Fridman [5] has shown that the word problem is solvable for the group with unsolvable conjugacy problem given by Novikov [9].