$\mathcal{C}$-Hereditarily conjugacy separable groups and wreath products

Abstract

We provide a necessary and sufficient condition for the restricted wreath product $A\wr B$ to be $\mathcal{C}$-hereditarily conjugacy separable where $\mathcal{C}$ is an extension-closed pseudo-variety of finite groups. Moreover, we prove that the Grigorchuk group is 2-hereditarily conjugacy separable.