Israel Journal of Mathematics

, Volume 147, Issue 1, pp 1–73 | Cite as

Diophantine geometry over groups III: Rigid and solid solutions



This paper is the third in a series on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group. In the third paper we analyze exceptional families of solutions to a parametric system of equations. The structure of the exceptional solutions, and the global bound on the number of families of exceptional solutions we obtain, play an essential role in our approach towards quantifier elimination in the elementary theory of a free group presented in the next papers of this series. The argument used for proving the global bound is a key in proving the termination of the quantifier elimination procedure presented in the sixth paper of the series.


Cayley Graph Limit Group Vertex Group Edge Group Abelian Decomposition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Be-Fe1]
    M. Bestvina and M. Feighn,Bounding the complexity of simplicial group actions, Inventiones Mathematicae103 (1991), 449–469.zbMATHCrossRefMathSciNetGoogle Scholar
  2. [Be-Fe2]
    M. Bestvina and M. Feighn,Stable actions of groups on real trees, Inventiones Mathematicae121 (1995), 287–321.zbMATHCrossRefMathSciNetGoogle Scholar
  3. [Be-Fe3]
    M. Bestvina and M. Feighn,Outer limits, preprint.Google Scholar
  4. [Be-Fe4]
    M. Bestvina and M. Feighn,Counting maps from a surface to a graph, preprint.Google Scholar
  5. [Ma]
    G. S. Makanin,Decidability of the universal and positive theories of a free group, Mathematics of the USSR-Izvestiya25 (1985), 75–80.CrossRefGoogle Scholar
  6. [Mo]
    J. W. Morgan,Ergodic theory and free actions of groups on R-trees, Inventiones Mathematicae94 (1988), 605–622.zbMATHCrossRefMathSciNetGoogle Scholar
  7. [Pa]
    F. Paulin,Outer automorphisms of hyperbolic groups and small actions on R-trees, inArboreal Group Theory (R. C. Alperin, ed.), MSRI publications no. 19, 1991, pp. 331–343.Google Scholar
  8. [Ra]
    A. A. Razborov,On systems of equations in a free group, Ph.D. thesis, Steklov Mathematical Institute, 1987.Google Scholar
  9. [Se1]
    Z. Sela,Diophantine geometry groups I: Makanin-Razborov diagrams, Publications Mathématiques de l’IHES93 (2001), 31–105.zbMATHCrossRefMathSciNetGoogle Scholar
  10. [Se2]
    Z. Sela,Diophantine geometry over groups II: Completions, closures and formal solutions, Israel Journal of Mathematics134 (2003), 173–254.zbMATHMathSciNetGoogle Scholar
  11. [Se3]
    Z. Sela,Acylindrical accessibility for groups, Inventiones Mathematicae129 (1997), 527–565.zbMATHCrossRefMathSciNetGoogle Scholar
  12. [Se4]
    Z. Sela,Diophantine geometry over groups IV: An iterative procedure for validation of a sentence, Israel Journal of Mathematics143 (2004), 1–130.zbMATHMathSciNetGoogle Scholar

Copyright information

© The Hebrew University Magnes Press 2005

Authors and Affiliations

  • Z. Sela
    • 1
  1. 1.Institute of MathematicsThe Hebrew University of JerusalemJerusalemIsrael

Personalised recommendations