Groups with decidable word problem that do not embed in groups with decidable conjugacy problem (1708.09047v2)

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.