# Prove that if $H,K \leq G$ where $G$ hyperbolic, $H,K \cong C_2 \times C_2$, we can decide if $H$ and $K$ are conjugate

Let $$G = \langle S \mid R \rangle$$ be a finite presentation, $$G$$ is $$\delta$$-hyperbolic.

Prove that if $$H,K \leq G$$ where $$H,K \cong C_2 \times C_2$$, we can decide if $$H$$ and $$K$$ are conjugate.

I am having trouble seeing how to do this. We are trying to decide if there is a $$g \in G$$ such that $$gHg^{-1} = K$$.

Obviously, due to the finite presentation, we can list possible $$g$$ and check them and we will eventually find the conjugating element if it exists. But when can we stop?

Since $$G$$ is hyperbolic, it has solvable conjugacy problem. If $$H$$, $$K$$ were cyclic, we could just use this to check if the generators are conjugate. The problem is that we have 2 generators. We can check conjugacy individually, but not all at the same time I don't think. The proof I know for the solvability of the conjugacy problem puts a bound on the length of the words we need to check, so we can stop after a finite time. Is there such a bound for checking conjugacy of these subgroups?

Or maybe there is an alternate approach.

$$\mathit{Added\ later}$$: An earlier reference for the conjugacy of finite lists of elements in hyperbolic groups is Theorem A of this paper by Bridson and Howie. The main result of their paper is that the problem is solvable in quadratic time provided that some of the elements in the lists are non-torsion, and in the paper by Buckley and myself, we extended that result to torsion elements, which you need in your situation. But the solvability of the problem (in exponential time) was proved by Bridson and Howie, by bounding the length of the elements that you need to consider as possible conjugating elements.
• There's no "might" about it, definitely overkill haha. But surely there must be an easier way, $C_2 \times C_2$ is the smallest non cyclic group, there must be something there we can use to make this easy to show... – pizzaroll May 26 at 20:26