The image of a group in a hyperbolic group (Q1897469)

The author proves the following theorem: Let \(G\) be a finitely presented group, with \(T(G)\) denoting the minimal number of relations for a triangular presentation of \(G\). Let \(\Gamma\) be a hyperbolic group in the sense of Gromov, equipped with a word metric, and let \(h:G\to\Gamma\) be a homomorphism. Then, either the image \(h(G)\) is conjugate to a subgroup of \(\Gamma\) generated by elements \(a_1,\dots,a_k\) satisfying \(\text{Sup}_i|a_i|<\varepsilon_\Gamma T^2(G)\) (with \(\varepsilon_\Gamma\) depending only on \(\Gamma\)), or \(h\) factors through an amalgamated product or an HNN extension over a finite group. The author notes the following immediate corollaries: a) Let \(G\) be a finitely presented group which is not an amalgamated product or an HNN extension over a finite group. Then a hyperbolic group \(\Gamma\) contains only a finite number of conjugacy classes of groups isomorphic to \(G\). (In the case where \(G\) has no torsion, this is a theorem of Gromov, and in the particular case where \(\Gamma\) is the fundamental group of a hyperbolic compact manifold, the result is due to Thurston.) b) Let \(G\) be a finitely presented group such that every action of \(G\) on a simplicial tree has a fixed point, and let \(\Gamma\) be a hyperbolic group. Then \(\Gamma\) contains only finitely many conjugacy classes of groups isomorphic to a quotient of \(G\).