Related papers: Forking and JSJ decompositions in the free group
Let $R$ denote a 2-fir. The notions of F-independence and algebraic subsets of R are defined. The decomposition of an algebraic subset into similarity classes gives a simple way of translating the F-independence in terms of dimension of…
We give two examples of a finitely generated subgroup of a free group and a subset, closed in the profinite topology of a free group, such that their product is not closed in the profinite topology of a free group.
We introduce the notion of a `canonical' splitting over Z or ZxZ for a finitely generated group G. We show that when G happens to be the fundamental group of an orientable Haken manifold M with incompressible boundary, then the…
Let $G$ be a group hyperbolic relative to a finite collection of subgroups $\mathcal P$. Let $\mathcal F$ be the family of subgroups consisting of all the conjugates of subgroups in $\mathcal P$, all their subgroups, and all finite…
For every Lie group $G$, we compute the maximal $n$ such that an $n$-fold product of nonabelian free groups embeds into $G$.
We show that in general for a given group the structure of a maximal hyperbolic tower over a free group is not canonical: We construct examples of groups having hyperbolic tower structures over free subgroups which have arbitrarily large…
We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…
An automorphism of a group is said to be normal if it preserves each normal subgroup. In this paper, we determine the normal automorphisms of a free metabelian nilpotent group.
We develop a new method to deal with the Cancellation Conjecture of Zariski in different environments. We prove the conjecture for free associative algebras of rank two. We also produce a new proof of the conjecture for polynomial algebras…
We compute explicitly the automorphism and outer automorphism group of all large-type free-of-infinity Artin groups. Our strategy involves reconstructing the associated Deligne complexes in a purely algebraic manner, i.e. in a way that is…
We discuss the decomposability of torsion-free abelian groups. We show that among computable groups of finite rank this property is $\Sigma^0_3$-complete. However, when we consider groups of infinite rank, it becomes $\Sigma^1_1$-complete,…
We construct the free products of arbitrary digroups, and thus we solve an open problem of Zhuchok.
We give a Dehn-Nielsen type theorem for the homology cobordism group of homology cylinders by considering its action on the acyclic closure, which was defined by Levine, of a free group. Then we construct an additive invariant of those…
We give a characterization of forking in regular ordered Abelian groups. In particular, we prove that the type of C over AB does not fork over A if and only if the type over AB of each C-definable singleton does not fork over A in these…
In this note, we study the problem on the existence of non-cyclic free subgroups of the skew group algebra of a locally finite group over a field.
We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…
We construct pairs of algebras with mixed independence relations by using truncations of reduced free products of algebras. For example, we construct free-Boolean pairs of algebras and free-monotone pairs of algebras. We also introduce…
We study the conjugacy problem in cyclic extensions of free groups. It is shown that the conjugacy problem is solvable in split extensions of finitely generated free groups by virtually inner automorphisms. An algorithm for construction of…
This note aims to introduce a left adjoint functor to the functor which assigns a heap to a group. The adjunction is monadic. It is explained how one can decompose a free group functor through the previously introduced adjoint and employ it…
The authors previously described an algebraic analogue of the JSJ-decomposition of a 3-manifold. This analogue is defined for any finitely presented, one-ended group. We study this analogue in the special case of Poincar\'e duality pairs.