Groups with decidable word problem that do not embed in groups with decidable conjugacy problem

Abstract

We show the existence of finitely presented torsion-free groups with decidable word problem that cannot be embedded in any finitely generated group with decidable conjugacy problem. This answers a well-known question of Collins from the early 1970's.

significant revisions