# Diophantine geometry over groups VI: the elementary theory of a free group

@article{Sela2006DiophantineGO, title={Diophantine geometry over groups VI: the elementary theory of a free group}, author={Zlil Sela}, journal={Geometric \& Functional Analysis GAFA}, year={2006}, volume={16}, pages={707-730} }

Abstract.This paper is the sixth in a sequence 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 sixth paper we use the quantifier elimination procedure presented in the two parts of the fifth paper in the sequence, to answer some of A. Tarski’s problems on the elementary theory of a free group, and to classify finitely generated (f.g.) groups that are elementarily…

## 163 Citations

Diophantine Geometry over Groups X: The Elementary Theory of Free Products of Groups

- Mathematics
- 2010

This paper is the 10th in a sequence on the structure of sets of solutions to systems of equations over groups, projections of such sets (Diophantine sets), and the structure of definable sets over…

Diophantine geometry over groups VIII: Stability

- Mathematics
- 2006

This paper is the eighth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of…

Diophantine Geometry over Groups IX: Envelopes and Imaginaries

- Mathematics
- 2009

This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of…

Subgroups Of Direct Products Of Elementarily Free Groups

- Mathematics
- 2005

Abstract.The structure of groups having the same elementary theory as free groups is now known: they and their finitely generated subgroups form a prescribed subclass
$${\mathcal{E}}$$
of the…

Limit groups for relatively hyperbolic groups. I. The basic tools

- Mathematics
- 2009

We begin the investigation of -limit groups, where is a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. Using the results of (16), we adapt the re- sults…

Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points

- Mathematics
- 2004

In this paper we prove Implicit Function Theorems (IFT) for al- gebraic varieties defined by regular quadratic equations and, more generally, regular NTQ systems over free groups. In the model…

Orderable groups, elementary theory, and the Kaplansky conjecture

- Mathematics, Computer ScienceGroups Complex. Cryptol.
- 2018

It is shown that each of the classes of left-orderable groups and orderable groups is a quasivariety with undecidable theory and an explicit set of universal axioms is found.

Equations and algebraic geometry over profinite groups

- Mathematics
- 2010

The notion of an equation over a profinite group is defined, as well as the concepts of an algebraic set and of a coordinate group. We show how to represent the coordinate group as a projective limit…

On subdirect products of type FP m of limit groups

- Mathematics
- 2009

Abstract We show that limit groups are free-by-(torsion-free nilpotent) and have non-positive Euler characteristic. We prove that for any non-abelian limit group the Bieri–Neumann–Strebel–Renz…

## References

SHOWING 1-6 OF 6 REFERENCES

Diophantine geometry over groups III: Rigid and solid solutions

- Mathematics
- 2005

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…

Diophantine geometry over groups V1: Quantifier elimination I

- Mathematics
- 2005

This paper is the first part (out of two) of the fifth paper in a sequence on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure…

Diophantine geometry over groups I: Makanin-Razborov diagrams

- Mathematics
- 2001

This paper is the first in a sequence 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…

Diophantine geometry over groups IV: An iterative procedure for validation of a sentence

- Mathematics
- 2004

This paper is the fourth 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…

Elementary properties of free groups

- Mathematics
- 1973

In this paper we show that several classes of elementary properties (properties definable by sentences of a first order logic) of groups hold for all nonabelian free groups. These results are…

Cyclic Splittings of Finitely Presented Groups and the Canonical JSJ-Decomposition

- Mathematics
- 1997

The classification of stable actions of finitely presented groups on ℝ-trees has found a number of applications. Perhaps one of the most striking of these applications is the theory of canonical…