1: \begin{abstract}

2: We generalize the classical Post correspondence problem ($\PCP_n$) and its non-homogeneous  variation  ($\GPCP_n$) to non-commutative groups and study  the computational complexity of these  new problems.

3: We observe that $\PCP_n$ is closely related to the equalizer problem in groups, while $\GPCP_n$ is connected to the double twisted conjugacy problem for endomorphisms. Furthermore, it is shown that one of the strongest forms of the word problem in a group $G$ (we call it the {\em hereditary word problem}) can be reduced to $\GPCP_n$ in $G$ in polynomial time.  

4: 

5: The main results are that $\PCP_n$ is decidable in a finitely generated nilpotent group in polynomial time, while $\GPCP_n$ is undecidable in any group containing free non-abelian subgroup (though the argument is very different from the classical case of free semigroups). We show that the double endomorphism twisted conjugacy problem is undecidable in free groups of sufficiently large finite rank. We also consider the bounded $\PCP$ and observe that it is in $\NP$  for any group with $\P$-time decidable word problem, meanwhile it is $\NP$-hard in any group containing free non-abelian subgroup. In particular,  the bounded $\PCP$ is $\NP$-complete in  non-elementary hyperbolic groups  and  non-abelian right angle Artin groups.

6: 

7: 

8: 

9: 

10: 

11: 

12: \noindent

13: {\bf Keywords.} Post correspondence problem, nilpotent groups, solvable groups, hyperbolic groups, linear groups, right angle Artin groups, twisted conjugacy problem.

14: 

15: 

16: \noindent

17: {\bf 2010 Mathematics Subject Classification.} 03D15, 20F65, 20F10.

18: \end{abstract}

19: