## Conjugacy problem in a conjugacy separable group

Here is a question that has been bothering me for some time:

Let G be a finitely generated conjugacy separable group with solvable word problem. Does it follow that the conjugacy problem in G is solvable?

Background. A group G is said to be conjugacy separable is for any two non-conjugate elements x,y in G there is a homomorphism from G to a finite group F such that the images of x and y are not conjugate in F. Equivalently, G is conjugacy separable if each conjugacy class is closed in the profinite topology on G.

A well-known theorem of Mal'cev states that a finitely presented conjugacy separable group has solvable conjugacy problem (in this case it is possible to recursively enumerate all the finite quotients, simultaneously checking conjugacy of the images of two given elements in each of them).

On the first page of the paper 'Conjugacy separability of certain torsion groups.'
(Arch. Math. (Basel) 68 (1997), no. 6, 441--449.) Wilson and Zalesskii claim that the conjugacy problem is solvable in finitely generated recursively presented conjugacy separable groups (which, of course, implies a positive answer to my question), and refer to a work of J. McKinsey, 'The decision problem for some classes of sentences without quantifiers' (J. Symbolic Logic 8, 61 – 76 (1943)). However, I could not find anything in the latter paper that would allow to deal with infinite recursive presentations. Moreover, the corresponding property for residually finite groups simply fails. More precisely, there exist finitely generated residually finite recursively (infinitely!) presented groups with unsolvable word problem (cf. 'A Finitely Generated Residually Finite Group with an Unsolvable Word Problem' by S. Meskin, Proceedings of the American Mathematical Society, Vol. 43, No. 1 (Mar., 1974), pp. 8-10).

-
 Ashot, could you say where Mal'cev proved this? I thought the reference for this result was [W. Mostowski, On the decidability of some problems in special classes of groups. Fund. Math. 59 1966 123--135.] – Igor Belegradek Jul 19 2010 at 18:14 Igor, the reference is [A.I. Mal'cev, On Homomorphisms onto finite groups (Russian). Uchen. Zap. Ivanovskogo Gos. Ped. Inst. 18 (1958), 49-60. English translation in: Amer. Math. Soc. Transl. Ser. 2, 119 (1983) 67-79.] Mostowskii cites Mal'cev's announcement of this result but seems to be unaware of the main paper. In fact, Mal'cev's proof is also based on the above mentioned work of McKinsey. – Ashot Minasyan Jul 19 2010 at 18:36 I'm struggling to think of a known construction of finitely generated, infinitely presented, conjugacy separable groups. Ashot, do you have any candidates in mind? – HW Jul 19 2010 at 20:58 @ Henry: I think that an appropriately chosen version of the Bowditch-Mess construction has the desired properties. ams.org/mathscinet-getitem?mr=1240944 – Agol Jul 19 2010 at 22:39 Henry, plenty of such groups exist, e.g. $\mathbb{Z} wr \mathbb{Z}$, lamplighter groups, and, more generally, wreath products of finitely generated abelian groups with conjugacy separable groups (such that the acting group has separable cyclic subgroups) -- by a theorem of V. Remeslennikov [Finite approximability of groups with respect to conjugacy. (Russian) Sibirsk. Mat. Ž. 12 (1971), 1085--1099.] I also proved [see Cor. 2.9 in personal.soton.ac.uk/am4x07/rs/RAAG-conj_sep.pdf ] that all Bestvina-Brady groups are conjugacy separable. – Ashot Minasyan Jul 20 2010 at 11:09