相关论文: JSJ decompositions of doubles of free groups

The JSJ decomposition encodes the automorphisms and the virtually cyclic splittings of a hyperbolic group. For general finitely presented groups, the JSJ decomposition encodes only their splittings. In this sequence of papers we study the…

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.

The JSJ decomposition and the Makanin-Razborov diagram were proved to be essential in studying varieties over free groups, semigroups and associative algebras. In this paper we suggest a unified conceptual approach to the applicability of…

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.

A JSJ-splitting of a group $G$ over a certain class of subgroups is a graph of groups decomposition of $G$ which describes all possible decompositions of $G$ as an amalgamated product or an HNN extension over subgroups lying in the given…

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…

We give a description of $Hom(G,L)$, where $L$ is a limit group (fully residually free group). We construct a finite diagram of groups, Makanin-Razborov diagram, that gives a convinient representation of all such homomorphisms.

Let Gamma be a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. We construct Makanin-Razborov diagrams for Gamma. We also prove that every system of equations over Gamma is equivalent to a finite…

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…

We present an algorithm to construct the JSJ decomposition of one-ended hyperbolic groups which are fundamental groups of graphs of free groups with cyclic edge groups. Our algorithm runs in double exponential time, and is the first…

We prove that an Artin group splits over infinite cyclic subgroups if and only if its defining graph has a separating vertex, and explicitly construct a JSJ decomposition over infinite cyclic subgroups for all Artin groups. We then use…

We develop JSJ decomposition theory of pro-p groups.

We construct a boundary of a finite rank free group relative to a finite list of conjugacy classes of maximal cyclic subgroups. From the cut points and uncrossed cut pairs of this boundary we construct a simplicial tree on which the group…

We provide an explicit construction that allows one to easily decompose a graph braid group as a graph of groups. This allows us to compute the braid groups of a wide range of graphs, as well as providing two general criteria for a graph…

The JSJ decomposition encodes the automorphisms and the virtually cyclic splittings of a hyperbolic group. For general finitely presented groups, the JSJ decomposition encodes only their splittings. In this sequence of papers we study the…

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…

This paper is the first in a sequence on the structure of sets of solutions to systems of equations over a free semigroup. To describe the structure, we present a Makanin-Razborov diagram that encodes the set of solutions to such system of…

This paper is the first in a sequence on the first order theory of free products. In the first paper we generalize the analysis of systems of equations over free and (torsion-free) hyperbolic groups, and analyze system of equations over…

We give necessary and sufficient conditions on the graph of a right-angled Artin group that determine whether the group is subgroup separable or not. Moreover, we investigate the profinite topology of the direct product of two free groups.…

We provide a direct connection between the Z_{max} (or essential) JSJ decomposition and the Friedl--Tillmann polytope of a hyperbolic two-generator one-relator group with abelianisation of rank $2$. We deduce various structural and…