Champetier, Christophe; Guirardel, Vincent Limit groups as limits of free groups. (English) Zbl 1103.20026 Isr. J. Math. 146, 1-75 (2005). By the authors’ definition a marked group \((G,S)\) consists of a group \(G\) with a prescribed tuple \(S=\{s_1,\dots,s_n\}\) of generators. Two marked groups \((G_1,S_1)\), \((G_2,S_2)\) are isomorphic as marked groups if and only if the natural bijection of \(S_1\) onto \(S_2\) extends to an isomorphism of \(G_1\) onto \(G_2\). The set \({\mathcal G }_n\) of all marked groups with \(n\) generators is considered as a compact topological space. It appears that the limits of free groups in \({\mathcal G}_n\) are Remeslennikov’s finitely generated fully residually free groups, or Sela’s limit groups. The authors’ topological approach to these groups gives some new insight in the relations between fully residually free groups, the universal theory of free groups, ultraproducts and non-standard free groups. Reviewer: V. A. Roman’kov (Omsk) Cited in 66 Documents MSC: 20F05 Generators, relations, and presentations of groups 20E05 Free nonabelian groups 20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) 20E26 Residual properties and generalizations; residually finite groups 03C60 Model-theoretic algebra 57M07 Topological methods in group theory 22A05 Structure of general topological groups Keywords:marked groups; fully residually free groups; limit groups; universal theories; finitely generated groups PDFBibTeX XMLCite \textit{C. Champetier} and \textit{V. Guirardel}, Isr. J. Math. 146, 1--75 (2005; Zbl 1103.20026) Full Text: DOI arXiv References: [1] Bass, H., Group actions on non-Archimedean trees, Arboreal Group Theory (Berkeley, CA, 1988), 69-131 (1991), New York: Springer, New York · Zbl 0826.20026 [2] Baumslag, G., On generalised free products, Mathematische Zeitschrift, 78, 423-438 (1962) · Zbl 0104.24402 [3] Baumslag, B., Residually free groups, Proceedings of the London Mathematical Society, 17, 3, 402-418 (1967) · Zbl 0166.01502 [4] Bridson, M. R.; Haefliger, A., Metric spaces of non-positive curvature (1999), Berlin: Springer-Verlag, Berlin · Zbl 0988.53001 [5] Botto Mura, R.; Rhemtulla, A., Orderable Groups (1977), New York: Marcel Dekker, New York · Zbl 0452.06011 [6] Baumslag, G.; Myasnikov, A.; Remeslennikov, V., Algebraic geometry over groups. I. Algebraic sets and ideal theory, Journal of Algebra, 219, 16-79 (1999) · Zbl 0938.20020 [7] Baumslag, G.; Myasnikov, A.; Remeslennikov, V., Algebraic geometry over groups, Algorithmic Problems in Groups and Semigroups (Lincoln, NE, 1998), 35-50 (2000), Boston, MA: Birkhäuser Boston, Boston, MA · Zbl 0946.20008 [8] Baumslag, G.; Myasnikov, A.; Remeslennikov, V., Discriminating completions of hyperbolic groups, Geometriae Dedicate, 92, 115-143 (2002) · Zbl 1011.20041 [9] Bourbaki, N., Éléments de mathématique. Topologie générale (1971), Paris: Hermann, Paris · Zbl 0249.54001 [10] Bell, J. L.; Slomson, A. B., Models and Ultraproducts: An Introduction (1969), Amsterdam: North-Holland, Amsterdam · Zbl 0179.31402 [11] Comerford, L. P.; Edmunds, C. C., Solutions of equations in free groups, Group Theory (Singapore, 1987), 347-356 (1989), Berlin: de Gruyter, Berlin · Zbl 0663.20023 [12] [Cha] Z. Chatzidakis,Limit groups, viewed by a logician, notes accessible athttp://www.logique.jussieu.fr/www.zoe/papiers/limit.dvi. [13] Champetier, C., L’espace des groupes de type fini, Topology, 39, 657-680 (2000) · Zbl 0959.20041 [14] Chiswell, I. M., Introduction to Λ-trees, Semigroups, Formal Languages and Groups (York, 1993), 255-293 (1995), Dordrecht: Kluwer, Dordrecht · Zbl 0872.20027 [15] Chiswell, I., Introduction to Λ-Trees (2001), River Edge, NJ: World Scientific, River Edge, NJ · Zbl 1004.20014 [16] Chang, C. C.; Keisler, H. J., Model Theory (1990), Amsterdam: North-Holland, Amsterdam · Zbl 0697.03022 [17] Fine, B.; Gaglione, A. M.; Myasnikov, A.; Rosenberger, G.; Spellman, D., A classification of fully residually free groups of rank three or less, Journal of Algebra, 200, 571-605 (1998) · Zbl 0899.20009 [18] Fine, B.; Gaglione, A. M.; Rosenberger, G.; Spellman, D., n-Free groups and questions about universally free groups, Groups ’93 Galway/St. Andrews, Vol. 1 (Galway, 1993), 191-204 (1995), Cambridge: Cambridge University Press, Cambridge · Zbl 0846.20025 [19] Grigorchuk, R. I.; Kurchanov, P. F., Classification of epimorphisms from fundamental groups of surfaces to free groups, Matematicheskie Zametki, 48, 26-35 (1990) · Zbl 0810.20032 [20] Gildenhuys, D.; Kharlampovich, O.; Myasnikov, A., CSA-groups and separated free constructions, Bulletin of the Australian Mathematical Society, 52, 63-84 (1995) · Zbl 0838.20025 [21] [GL] V. Guirardel and G. Levitt, In preparation. [22] Grigorchuk, R. I., Degrees of growth of finitely generated groups and the theory of invariant means, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya, 48, 5, 939-985 (1984) [23] Gromov, M., Groups of polynomial growth and expanding maps, Institut des Hautes Études Scientifiques. Publications Mathématiques, 53, 53-73 (1981) · Zbl 0474.20018 [24] Gaglione, A. M.; Spellman, D., Even more model theory of free groups, Infinite Groups and Group Rings (Tuscaloosa, AL, 1992), 37-40 (1993), River Edge, NJ: World Scientific Publishing, River Edge, NJ · Zbl 0945.20507 [25] [Gui03] V. Guirardel,Limit groups and groups acting on ℝ_n, Geometry and Topology, to appear. [26] Hodges, W., A Shorter Model Theory (1997), Cambridge: Cambridge University Press, Cambridge · Zbl 0873.03036 [27] Kharlampovich, O.; Myasnikov, A., Irreducible affine varieties over a free group. I. Irreducibility of quadratic equations and Nullstellensatz, Journal of Algebra, 200, 472-516 (1998) · Zbl 0904.20016 [28] Kharlampovich, O.; Myasnikov, A., Irreducible affine varieties over a free group. II. Systems in triangular quasi-quadratic form and description of residually free groups, Journal of Algebra, 200, 517-570 (1998) · Zbl 0904.20017 [29] Kharlampovich, O.; Myasnikov, A., Tarski’s problem about the elementary theory of free groups has a positive solution, Electronic Research Announcements of the American Mathematical Society, 4, 101-108 (1998) · Zbl 0923.20016 [30] Kharlampovich, O.; Myasnikov, A., Description of fully residually free groups and irreducible affine varieties over a free group, Summer School in Group Theory in Banff, 1996, 71-80 (1999), Providence, RI: American Mathematical Society, Providence, RI · Zbl 0922.20027 [31] [Lev] G. Levitt,Automorphisms of hyperbolic groups and graph of groups, Geometriae Dedicata, to appear. [32] Lyndon, R. C., The equation a^2b^2=c^2 in free groups, Michigan Mathematical Journal, 6, 89-95 (1959) · Zbl 0084.02803 [33] Magnus, W., Beziehungen zwischen Gruppen und Idealen in einem speziellen Ring, Mathematische Annalen, 111, 259-280 (1935) · Zbl 0011.15201 [34] Myasnikov, A. G.; Remeslennikov, V. N., Exponential groups. II. Extensions of centralizers and tensor completion of CSA-groups, International Journal of Algebra and Computation, 6, 687-711 (1996) · Zbl 0866.20014 [35] Osin, D. V., Kazhdan constants of hyperbolic groups, Funktsionalaya Analiza i ego Prilozheniya, 36, 46-54 (2002) · Zbl 1041.20029 [36] Piollet, D., Solutions d’une équation quadratique dans le groupe libre, Discrete Mathematics, 59, 115-123 (1986) · Zbl 0599.20035 [37] Razborov, A. A., Systems of equations in a free group, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya, 48, 779-832 (1984) [38] Remeslennikov, V. N., ∃-free groups, Siberian Mathematical Journal, 30, 998-1001 (1989) · Zbl 0724.20025 [39] Rolfsen, D.; Wiest, B., Free group automorphisms, invariant orderings and topological applications, Algebraic Geometric Topology, 1, 311-320 (2001) · Zbl 0985.57006 [40] Sela, Z., Diophantine geometry over groups. I. Makanin-Razborov diagrams, Publications Mathématiques. Institut de Hautes Études Scientifiques, 93, 31-105 (2001) · Zbl 1018.20034 [41] [Sel01b] Z. Sela,Diophantine geometry over groups VI: The elementary theory of a free group http://www.ma.huji.ac.il/zlil, 2001. · Zbl 1018.20034 [42] Shalom, Y., Rigidity of commensurators and irreducible lattices, Inventiones Mathematicae, 141, 1-54 (2000) · Zbl 0978.22010 [43] Stallings, J. R., Problems about free quotients of groups, Geometric Group Theory (Columbus, OH, 1992), 165-182 (1995), Berlin: de Gruyter, Berlin · Zbl 0869.20012 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.