Could there exist a finitely presented group with unsolvable conjugacy problem, in which it is decidable whether a word over the group generators is a shortest representative of an element in its conjugacy class?
Group with unsolvable conjugacy problem but solvable conjugacy length?
Derek Holt
- 37.4k
- 4
- 95
- 149