Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups (Q1383969)

This paper completes the programme started in the first paper (see the preceding review Zbl 0904.20016) by proving the theorem: Theorem. A finitely-generated group is fully residually free if and only if it is isomorphic to a subgroup of \(F^{\mathbb{Z}[x]}\). Theorems are also proved which describe the algebraic structure of finitely generated subgroups of \(F^{\mathbb{Z}[x]}\) in terms of free constructions.