# Irreducible Affine Varieties over a Free Group: II. Systems in Triangular Quasi-quadratic Form and Description of Residually Free Groups

@article{Kharlampovich1998IrreducibleAV, title={Irreducible Affine Varieties over a Free Group: II. Systems in Triangular Quasi-quadratic Form and Description of Residually Free Groups}, author={Olga Kharlampovich and Alexei G. Myasnikov}, journal={Journal of Algebra}, year={1998}, volume={200}, pages={517-570} }

Abstract We shall prove the conjecture of Myasnikov and Remeslennikov [ 4 ] which states that a finitely generated group is fully residually free (every finite set of nontrivial elements has nontrivial images under some homomorphism into a free group) if and only if it is embeddable in the Lyndon's exponential groupFZ[x], which is theZ[x]-completion of the free group. HereZ[x] is the ring of polynomials of one variable with integer coefficients. Historically, Lyndon's attempts to solve Tarski's…

## 203 Citations

### Quadratic properties in group amalgams

- Mathematics
- 2011

Abstract Lyndon in [Combinatorial Group Theory, Springer-Verlag, 1977] proved that in a free group F each solution set {x, y, z} of the quadratic equation x 2 y 2 z 2 = 1 generates a cyclic group.…

### On Fully Residually- Groups

- Mathematics
- 2016

We consider the class ℛ of finitely generated toral relatively hyperbolic groups. We show that groups from ℛ are commutative transitive and generalize a theorem proved by Benjamin Baumslag in [3] to…

### 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…

### Limit groups over partially commutative groups and group actions on real cubings

- Mathematics
- 2015

The study of limit groups, that is, finitely generated fully residually free groups, was a key first step towards the understanding of the elementary theory of a free group. In this paper we conduct…

### Diophantine Geometry over Groups and the Elementary Theory of Free and Hyperbolic Groups

- Mathematics
- 2002

We study sets of solutions to equations over a free group, projections of such sets, and the structure of elementary sets defined over a free group. The structre theory we obtain enable us to answer…

### Lyndon's Group is Conjugately Residually Free

- MathematicsInt. J. Algebra Comput.
- 2003

It is shown that Lyndon's group is conjugately residually free, i.e. it is possible to map FZ[x] to the free group F preserving the nonconjugacy of two elements, which is a further step towards the understanding of the properties of FZ,[x].

### Finitely presented residually free groups

- Mathematics
- 2008

We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all…

### Almost locally free groups and the genus question

- Mathematics
- 1996

Sacerdote [Sa] has shown that the non-Abelian free groups satisfy precisely the same universal-existential sentences Th(F2)⋂∀∃ in a first-order language Lo appropriate for group theory. It is shown…

### 2 N ov 2 01 1 Groups acting freely on Λ-trees

- Mathematics
- 2011

A group is called Λ-free if it has a free Lyndon length function in an ordered abelian group Λ, which is equivalent to having a free isometric action on a Λ-tree. A group has a regular free length…

### Fully Residually Free Groups and Graphs Labeled by Infinite Words

- MathematicsInt. J. Algebra Comput.
- 2006

A theory of (Z[t] ,X )-graphs — a powerful tool in studying finitely generated fully residually free (limit) groups — is developed and the membership problem forfinitely generated subgroups of F Z[t], as well as for finitely generate fully residencyually free groups.

## References

SHOWING 1-10 OF 22 REFERENCES

### CSA-groups and separated free constructions

- MathematicsBulletin of the Australian Mathematical Society
- 1995

A group G is called a CSA-group if all its maximal Abelian subgroups are malnormal; that is, Mx ∩ M = 1 for every maximal Abelian subgroup M and x ∈ G − M. The class of CSA-groups contains all…

### Combinatorial Group Theory

- Mathematics
- 1977

Chapter I. Free Groups and Their Subgroups 1. Introduction 2. Nielsen's Method 3. Subgroups of Free Groups 4. Automorphisms of Free Groups 5. Stabilizers in Aut(F) 6. Equations over Groups 7.…

### Exponential Groups 2: Extensions of Centralizers and Tensor Completion of CSA-Groups

- MathematicsInt. J. Algebra Comput.
- 1996

An explicit construction for the tensor $A$-completion of G$ using free products with amalgamations is given and canonical and reduced forms of elements in A-free groups are introduced, and commuting and conjugate elements are described.

### HYPERBOLIC GROUPS AND FREE CONSTRUCTIONS

- Mathematics
- 1996

We investigate which free constructions (amalgamated products and HNN-extensions) over word hyperbolic groups produce groups that are again word hyperbolic. A complete answer is obtained for the case…

### ∃-Free groups as groups with length function

- Mathematics
- 1992

It is shown that there exists a length function with values in a finitely generated group Λ relative to which G is a Λ-free group in any finitely generated group G.

### ON SYSTEMS OF EQUATIONS IN A FREE GROUP

- Mathematics
- 1985

A description of the general solution of given bounded periodicity exponent is obtained for an arbitrary system of equations in a free group. On the basis of this result an algorithm is constructed…

### The Burnside problem and identities in groups

- Mathematics
- 1979

I. Basic Concepts and Notation.- 1. Words and Occurrences.- 2. Periodic Words.- 3. Aperiodic Words.- 4. Inductive Definitions.- 5. Symmetry and Effectiveness.- II. Periodic and Elementary Words of…

### Combinatorial Group Theory: A Topological Approach

- Mathematics
- 1989

1. Combinational group theory 2. Spaces and their paths 3. Groupoids 4. The fundamental groupoid and the fundamental group 5. Complexes 6. Coverings of spaces and complexes 7. Coverings and group…

### Algebraic Geometry over Groups

- Mathematics
- 2000

Classical commutative algebra provides the underpinnings of classical algebraic geometry. In this paper we will describe, without any proofs, a theory for groups that parallels this commutative…

### EQUATIONS IN A FREE GROUP

- Mathematics
- 1983

An algorithm for recognizing the solvability of arbitrary equations in a free group is constructed. Bibliography: 11 titles.