Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter October 16, 2019

Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups

Olga Kharlampovich EMAIL logo , Alexei Myasnikov and Alexander Taam


We show that, given a finitely generated group G as the coordinate group of a finite system of equations over a torsion-free hyperbolic group Γ, there is an algorithm which constructs a cover of a canonical solution diagram. The diagram encodes all homomorphisms from G to Γ as compositions of factorizations through Γ-NTQ groups and canonical automorphisms of the corresponding NTQ-subgroups. We also give another characterization of Γ-limit groups as iterated generalized doubles over Γ.

MSC 2010: 20F70; 20F67


We would like to thank N. Touikan for the important comments which helped improving the quality of the paper.


[1] G. Baumslag, A. Myasnikov and V. Remeslennikov, Algebraic geometry over groups. I. Algebraic sets and ideal theory, J. Algebra 219 (1999), no. 1, 16–79. 10.1006/jabr.1999.7881Search in Google Scholar

[2] M. Casals-Ruiz and I. Kazachkov, Limit groups over partially commutative groups and group actions on real cubings, Geom. Topol. 19 (2015), no. 2, 725–852. 10.2140/gt.2015.19.725Search in Google Scholar

[3] C. Champetier and V. Guirardel, Limit groups as limits of free groups, Israel J. Math. 146 (2005), 1–75. 10.1007/BF02773526Search in Google Scholar

[4] D. E. Cohen, Combinatorial Group Theory: A Topological Approach, London Math. Soc. Stud. Texts 14, Cambridge University, Cambridge, 1989. 10.1017/CBO9780511565878Search in Google Scholar

[5] F. Dahmani and D. Groves, The isomorphism problem for toral relatively hyperbolic groups, Publ. Math. Inst. Hautes Études Sci. (2008), no. 107, 211–290. 10.1007/s10240-008-0014-3Search in Google Scholar

[6] V. Diekert and M. Lohrey, Word equations over graph products, Internat. J. Algebra Comput. 18 (2008), no. 3, 493–533. 10.1007/978-3-540-24597-1_14Search in Google Scholar

[7] M. J. Dunwoody and M. E. Sageev, JSJ-splittings for finitely presented groups over slender groups, Invent. Math. 135 (1999), no. 1, 25–44. 10.1007/s002220050278Search in Google Scholar

[8] K. Fujiwara and P. Papasoglu, JSJ-decompositions of finitely presented groups and complexes of groups, Geom. Funct. Anal. 16 (2006), no. 1, 70–125. 10.1007/s00039-006-0550-2Search in Google Scholar

[9] R. I. Grigorchuk, Degrees of growth of finitely generated groups and the theory of invariant means, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 5, 939–985. 10.1070/IM1985v025n02ABEH001281Search in Google Scholar

[10] D. Groves, Limit groups for relatively hyperbolic groups. II. Makanin–Razborov diagrams, Geom. Topol. 9 (2005), 2319–2358. 10.2140/gt.2005.9.2319Search in Google Scholar

[11] D. Groves and H. Wilton, The structure of limit groups over hyperbolic groups, Israel J. Math. 226 (2018), no. 1, 119–176. 10.1007/s11856-018-1692-2Search in Google Scholar

[12] I. Gruschko, Über die Basen eines freien Produktes von Gruppen, Rec. Math. [Mat. Sbornik] N. S. 8 (50) (1940), 169–182. Search in Google Scholar

[13] V. Guirardel and G. Levitt, JSJ Decompositions of Groups, Astérisque 395, Société Mathématique de France, Paris, 2018. Search in Google Scholar

[14] S. Heil, Test sequences and formal solutions over hyperbolic groups, preprint (2018), Search in Google Scholar

[15] O. Kharlampovich and J. Macdonald, Effective embedding of residually hyperbolic groups into direct products of extensions of centralizers, J. Group Theory 16 (2013), no. 5, 619–650. 10.1515/jgt-2013-0007Search in Google Scholar

[16] O. Kharlampovich and A. Myasnikov, Effective JSJ decompositions, Groups, Languages, Algorithms, Contemp. Math. 378, American Mathematical Society, Providence (2005), 87–212. 10.1090/conm/378/07012Search in Google Scholar

[17] O. Kharlampovich and A. Myasnikov, Implicit function theorem over free groups, J. Algebra 290 (2005), no. 1, 1–203. 10.1016/j.jalgebra.2005.04.001Search in Google Scholar

[18] O. Kharlampovich and A. Myasnikov, Elementary theory of free non-abelian groups, J. Algebra 302 (2006), no. 2, 451–552. 10.1016/j.jalgebra.2006.03.033Search in Google Scholar

[19] O. Kharlampovich and A. Myasnikov, Limits of relatively hyperbolic groups and Lyndon’s completions, J. Eur. Math. Soc. (JEMS) 14 (2012), no. 3, 659–680. 10.4171/JEMS/314Search in Google Scholar

[20] O. Kharlampovich and A. Myasnikov, Decidability of the elementary theory of a torsion-free hyperbolic group, preprint (2013), Search in Google Scholar

[21] L. Louder and N. W. M. Touikan, Magnus pairs in, and free conjugacy separability of, limit groups, Geom. Dedicata 196 (2018), 187–201. 10.1007/s10711-017-0314-1Search in Google Scholar

[22] G. S. Makanin, Decidability of the universal and positive theories of a free group, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 4, 735–749. 10.1070/IM1985v025n01ABEH001269Search in Google Scholar

[23] E. Rips and Z. Sela, Cyclic splittings of finitely presented groups and the canonical JSJ decomposition, Ann. of Math. (2) 146 (1997), no. 1, 53–109. 10.1007/978-3-0348-9078-6_53Search in Google Scholar

[24] P. Scott and T. Wall, Topological methods in group theory, Homological Group Theory (Durham 1977), London Math. Soc. Lecture Note Ser. 36, Cambridge University, Cambridge (1979), 137–203. 10.1017/CBO9781107325449.007Search in Google Scholar

[25] Z. Sela, Diophantine geometry over groups. VI. The elementary theory of a free group, Geom. Funct. Anal. 16 (2006), no. 3, 707–730. 10.1007/s00039-006-0565-8Search in Google Scholar

[26] Z. Sela, Diophantine geometry over groups. VII. The elementary theory of a hyperbolic group, Proc. Lond. Math. Soc. (3) 99 (2009), no. 1, 217–273. 10.1112/plms/pdn052Search in Google Scholar

Received: 2018-10-17
Published Online: 2019-10-16
Published in Print: 2019-11-01

© 2019 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 2.12.2022 from
Scroll Up Arrow