Algebraic & definable closure in free groups

Abstract

We study algebraic closure and its relation with definable closure in free groups and more generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group G and a nonabelian subgroup A of G, we describe G as a constructible group from the algebraic closure of A along cyclic subgroups. In particular, it follows that the algebraic closure of A is finitely generated, quasiconvex and hyperbolic. Suppose that G is free. Then the definable closure of A is a free factor of the algebraic closure of A and the rank of these groups is bounded by that of G. We prove that the algebraic closure of A coincides with the vertex group containing A in the generalized cyclic JSJ-decomposition of G relative to A. If the rank of G is bigger than 4, then G has a subgroup A such that the definable closure of A is a proper subgroup of the algebraic closure of A. This answers a question of Sela.

References in corpus (7)

• Limit groups as limits of free groups: compactifying the set of free groups
• Trees of cylinders and canonical splittings
• Homogeneity in the free group
• Actions of finitely generated groups on R-trees
• Conjugacy classes of solutions to equations and inequations over hyperbolic groups
• Diophantine Geometry over Groups IX: Envelopes and Imaginaries
• Diophantine Geometry over Groups VIII: Stability

Cited by in corpus (2)

• Ampleness in the free group
• A note on ampleness in the theory of non abelian free groups