Related papers: Forking and JSJ decompositions in the free group
We give a complete characterization of the forking independence relation over any set of parameters in the free groups of finite rank, in terms of the $JSJ$ decompositions relative to those parameters.
We develop JSJ decomposition theory of pro-p groups.
We classify all possible JSJ decompositions of doubles of free groups of rank two and we then compute the Makanin-Razborov diagram of a particular double of a free group and deduce that in general limit groups are not freely subgroup…
A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We construct the JSJ decomposition of a vGBS group over abelian groups. We prove that…
A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We describe the compatibility JSJ decomposition over abelian groups. We prove that in…
In this paper we use JSJ-decompositions to formalise a folk conjecture recorded by Pride on the structure of one-relator groups with torsion. We prove a slightly weaker version of the conjecture, which implies that the structure of…
Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms, for reasons both practical (we…
This is a biased survey for the Johnson homomorphisms of the automorphism groups of free groups. We just exposit some well known facts and recent developments for the Johnson homomorphisms and its related topics.
We study model-theoretic and stability-theoretic properies of the nonabelian free group in the light of Sela's recent result on stability and results announced by Bestvina and Feighn. We point out analogies between the free group and…
We give a complete characterization of torsion-free hyperbolic groups which are homogeneous in the sense of first-order logic, in terms of the JSJ decompositions of their free factors.
An approach to identify the normal subgroups determined by ideals in free group rings with the help of the derived functors of non-additive functors is explored. A similar approach, i.e., via derived functors, for computing limits of…
In this paper we describe an elimination process which is a deterministic rewriting procedure that on each elementary step transforms one system of equations over free groups into a finitely many new ones. Infinite branches of this process…
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…
A description of the derived functors of Lie functors for free abelian groups is given.
Factors $\frac{X}{Y}$ in a free group $F$ with $Y$ normal in $X$ are considered. Precise results on the free structure of ${Y}$ relative to the free structure of ${X}$ when $\frac{X}{Y}$ is abelian are obtained. Some extensions and…
We re-cast in a more combinatorial and computational form the foldings approach of John Stallings and pursue a detailed study of the subgroup structure of free groups. In particular, we introduce the notions of an "algebraic" and a "free"…
We give an example of two JSJ decompositions of a group that are not related by conjugation, conjugation of edge-inclusions, and slide moves. This answers the question of Rips and Sela stated in "Cyclic splittings of finitely presented…
Notions of freedom and independence for hypergraphs of models of a theory are defined. Properties of these notions and their applications to some natural classes of theories are studied.
We show that the theory of the free group -- and more generally the theory of any torsion-free hyperbolic group -- is $n$-ample for any $n\geq 1$. We give also an explicit description of the imaginary algebraic closure in free groups.
We build two non-abelian CSA-groups in which maximal abelian subgroups are conjugate and divisible.