1: \begin{abstract}

2: Post's Correspondence Problem (the PCP) is a classical decision problem in theoretical computer science that asks whether for pairs of

3: free monoid morphisms $g, h\colon\Sigma^*\to\Delta^*$ there exists any non-trivial $x\in\Sigma^*$ such that $g(x)=h(x)$.

4: 

5: Post's Correspondence Problem for a group $\Gamma$ takes pairs of group homomorphisms $g, h\colon F(\Sigma)\to \Gamma$ instead, and similarly asks whether there exists an $x$ such that $g(x)=h(x)$ holds for non-elementary reasons. The restrictions imposed on $x$ in order to get non-elementary solutions lead to several interpretations of the problem; we mainly consider the natural restriction asking that $x \notin \ker(g) \cap \ker(h)$ and prove that the resulting interpretation of the PCP

6: is undecidable for arbitrary hyperbolic

7: $\Gamma$, but decidable when $\Gamma$ is virtually nilpotent, en route also studying this problem for finite extensions.

8: 

9: We also consider a different interpretation of the PCP due to Myasnikov, Nikolaev and Ushakov, proving decidability for torsion-free nilpotent groups.

10: \end{abstract}

11: