Forking and JSJ decompositions in the free group II
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 decompositions relative to those parameters.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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.
In this short note we prove that a definable set X over Fn is superstable only if X(Fn)=X(Fω).
We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups.
We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.
We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We deduce as a corollary that subgroups elementarily embedded in finitely generated free groups are free factors.
We use hyperbolic towers to answer some model theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type p0, but that there is a finitely generated model which omits p0(2). We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic type which have different cardinalities. We also show that a free product of homogeneous groups is not necessarily homogeneous.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.