We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $\widehat{ G} \cong \widehat{ H}$, such that $G$ is co-Hopfian while $H$ is not. The construction utilizes Wise's residually finite version of the Rips construction applied to a finitely presented acyclic group $U$ with trivial profinite completion and a strong universality property. A key feature of our approach is the construction of $H$ as a preimage subgroup of $G$ which is conjugate to a proper subgroup of itself. This renders the non-co-Hopfianity of $H$ immediate without requiring a detailed structural analysis of the Rips kernel.

Categories: math.GR math.GT

Co-Hopfianity is not a profinite property