# zbMATH — the first resource for mathematics

Elementary theory of free non-abelian groups. (English) Zbl 1110.03020
For a group $$G,$$ the elementary theory $$\text{Th}(G)$$ of $$G$$ is the set of all first-order sentences in the language of group theory which are true in $$G.$$ Around 1945 Tarski formulated two conjectures about the elementary theory of a free group. The first of them states that the elementary theory of non-abelian free groups of different ranks coincide; the second one states that the elementary theory of free groups is decidable. The scope of this paper is to prove these two conjectures.

##### MSC:
 03C65 Models of other mathematical theories 20E05 Free nonabelian groups 20A15 Applications of logic to group theory 03B25 Decidability of theories and sets of sentences
##### Keywords:
free group; elementary theory; decidable theory
Full Text:
##### References:
 [1] Baumslag, G.; Myasnikov, A.; Remeslennikov, V., Algebraic geometry over groups I. algebraic sets and ideal theory, J. algebra, 219, 16-79, (1999) · Zbl 0938.20020 [2] Bumagin, I., The conjugacy problem for relatively hyperbolic groups, Algebr. geom. topol., 4, 1013-1040, (2004) · Zbl 1111.20035 [3] Chang, C.C.; Keisler, H.J., Model theory, (1973), North-Holland London, NY · Zbl 0276.02032 [4] Cohen, D.E., Combinatorial group theory: A topological approach, (1989), Cambridge Univ. Press · Zbl 0697.20001 [5] Dahmani, F., Combination of convergence groups, Geom. topol., 7, 933-963, (2003) · Zbl 1037.20042 [6] Ershov, Yu.L.; Palutin, E.A., Mathematical logic, (1989), de Gruyter Berlin [7] Gildenhuys, D.; Kharlampovich, O.; Myasnikov, A., CSA groups and separated free constructions, Bull. austral. math. soc., 52, 63-84, (1995) · Zbl 0838.20025 [8] Grigorchuk, R.I.; Kurchanov, P.F., On quadratic equations in free groups, (), 159-171 · Zbl 0778.20013 [9] Kapovich, I.; Myasnikov, A.; Weidman, R., Foldings, graphs of groups and the membership problem, Internat. J. algebra comput., 15, 1, 95-128, (2005) · Zbl 1089.20018 [10] Kharlampovich, O.; Myasnikov, A., Hyperbolic groups and free constructions, Trans. amer. math. soc., 350, 2, 571-613, (February 1998) [11] Kharlampovich, O.; Myasnikov, A., Tarski’s problem about the elementary theory of free groups has a positive solution, Electron. res. announc. amer. math. soc., 4, 101-108, (December 1998) [12] Kharlampovich, O.; Myasnikov, A., Irreducible affine varieties over a free group: I. irreducibility of quadratic equations and nullstellensatz, J. algebra, 200, 472-516, (1998) · Zbl 0904.20016 [13] Kharlampovich, O.; Myasnikov, A., Irreducible affine varieties over a free group: II. systems in triangular quasi-quadratic form and description of residually free groups, J. algebra, 200, 517-570, (1998) · Zbl 0904.20017 [14] Kharlampovich, O.; Myasnikov, A., Implicit function theorem over free groups, J. algebra, 290, 1, 1-203, (2005) · Zbl 1094.20016 [15] Kharlampovich, O., Equations over fully residually free groups, (1999), McGill University preprint · Zbl 0922.20027 [16] Kharlampovich, O.; Myasnikov, A., Elementary theory of free non-abelian groups, (1999), McGill University preprint · Zbl 0922.20027 [17] Kharlampovich, O.; Myasnikov, A.; Remeslennikov, V.; Serbin, D., Subgroups of fully residually free groups: algorithmic problems, (), 63-101 · Zbl 1103.20029 [18] O. Kharlampovich, A. Myasnikov, V. Remeslennikov, D. Serbin, Groups with free regular length functions in $$\mathbb{Z}^n$$, preprint, CRM, Barcelona, 2005 · Zbl 1285.20028 [19] Kharlampovich, O.; Myasnikov, A., Effective JSJ decompositions, (), 87-212 · Zbl 1093.20019 [20] Kharlampovich, O.; Myasnikov, A., Algebraic geometry over free groups: lifting solutions into generic points, (), 213-318 · Zbl 1093.20014 [21] O. Kharlampovich, A. Myasnikov, D. Serbin, Equations over fully residually free groups, preprint, 2002 [22] Lyndon, Roger C.; Schupp, Paul E., Combinatorial group theory, (1977), Springer-Verlag · Zbl 0368.20023 [23] Magnus, W.; Karrass, A.; Solitar, D., Combinatorial group theory: presentations of groups in terms of generators and relators, (1976), Dover New York [24] Makanin, G.S., Decidability of the universal and positive theories of a free group, Izv. akad. nauk SSSR ser. mat., Math. USSR izv., 25, 1, 735-749, (1985), (MR 86c:03009) · Zbl 0578.20001 [25] A. Myasnikov, V. Remeslennikov, D. Serbin, Fully residually free groups and graphs labeled by infinite words, Internat. J. Algebra Comput., in press · Zbl 1106.20027 [26] Remeslennikov, V.N., E-free groups, Siberian math. J., 30, 6, 153-157, (1989) · Zbl 0724.20025 [27] Rips, E.; Sela, Z., Cyclic splittings of finitely presented groups and the canonical JSJ decomposition, Ann. of math., 146, 53-109, (1997) · Zbl 0910.57002 [28] Sela, Z., Diophantine geometry over groups I: makanin – razborov diagrams, Publ. math. inst. hautes études sci., 93, 31-105, (2001) · Zbl 1018.20034 [29] Sela, Z., Diophantine geometry over groups II: completions, closures and formal solutions, Israel J. math., 134, 173-254, (2003) · Zbl 1028.20028 [30] Sela, Z., Diophantine geometry over groups III: rigid and solid solutions, Israel J. math., 147, 1-73, (2005) · Zbl 1133.20020 [31] Sela, Z., Diophantine geometry over groups IV: an iterative procedure for validation of a sentence, Israel J. math., 143, 1-130, (2004) · Zbl 1088.20017 [32] Z. Sela, Diophantine geometry over groups V: Quantifier elimination, Israel J. Math., in press · Zbl 1118.20034 [33] Z. Sela, Diophantine geometry over groups VI: The elementary theory of a free group, GAFA, in press · Zbl 1118.20035 [34] Serre, J.-P., Trees, (1980), Springer-Verlag Berlin, (translated from the French original by John Stillwell) [35] Stallings, J., Surfaces mapping to wedges of spaces, (), 345-353 · Zbl 1015.20023
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.