Quantifying conjugacy separability in wreath products of groups

We study generalizations of conjugacy separability in restricted wreath products of groups. We provide an effective upper bound for C-conjugacy separability of a wreath product A≀B in terms of the C-conjugacy separability of A and B, the growth of C-cyclic subgroup separability of B and the C-residual girth of B. As an application, we provide a characterization of when A≀B is p-conjugacy separable. We use this characterization to provide for each prime p an example of a wreath product with infinite base group that is p-conjugacy separable. We also provide asymptotic upper bounds for conjugacy separability for wreath products of nilpotent groups, which include the lamplighter groups and provide asymptotic upper bounds for conjugacy separability of the free metabelian groups.