On root-class residuality of generalized free products

A class of groups C is root in a sense of K. W. Gruenberg if it is closed under taking subgroups and satisfies the Gruenberg condition: for any group X and for any subnormal sequence Z \leqslant Y \leqslant X with factors in C, there exists a normal subgroup T of X such that T \leqslant Z and X/T \in C. We prove that a class of groups is root if, and only if, it is closed under subgroups and Cartesian wreath products. Using this result we prove also that, if C is a nontrivial...

In this paper, we study the residual solvability of the generalized free product of solvable groups.

In this paper we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these kinds of structures are often residually solvable.

Let $G$ be the generalized free product of two groups with an amalgamated subgroup. We propose an approach that allows one to use results on the residual $p$-finiteness of $G$ for proving that this generalized free product is residually a finite nilpotent group or residually a finite metanilpotent group. This approach can be applied under most of the conditions on the amalgamated subgroup that allow the study of residual $p$-finiteness. Namely, we consider the cases where the...

Let C be a class of groups. We give sufficient conditions ensuring that a free product of residually C groups is again residually C, and analogous conditions are given for locally embeddable into C groups. As a corollary, we obtain that the class of residually amenable groups and the one of LEA groups (or initially subamenable groups in the terminology of Gromov) are closed under taking free products. Moreover, we consider the pro-C topology and we characterize special HNN ex...

We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all $n\in\mathbb{N}$, a residually free group is of type ${\rm{FP}}_n$ if and only if it is of type ${\rm{F}}_n$. New families of subdirect products of free groups are constructed, including the first examples of finitely presented subgroups that are neither ${\rm{FP}}_\infty$ nor of Stallin...

It is proved that generalized free product of two finite p-groups is a conjugacy p-separable group if and only if it is residually finite p-groups. This result is then applied to establish some sufficient conditions for conjugacy p-separability of generalized free product of infinite groups.

Suppose that $\mathcal{C}$ is a root class of groups (i.e., a class of groups that contains non-trivial groups and is closed under taking subgroups and unrestricted wreath products), $G$ is the free product of residually $\mathcal{C}$-groups $A_{i}$ ($i \in \mathcal{I}$), and $H$ is a subgroup of $G$ satisfying a non-trivial identity. We prove a criterion for the $\mathcal{C}$-separability of $H$ in $G$. It follows from this criterion that, if $\{\mathcal{V}_{j} \mid j \in \m...

We establish {\em{virtual surjection to pairs}} (VSP) as a general criterion for the finite presentability of subdirect products of groups: if $\Gamma_1,...,\Gamma_n$ are finitely presented and $S<\Gamma_1\times...\times\Gamma_n$ projects to a subgroup of finite index in each $\Gamma_i\times\Gamma_j$, then $S$ is finitely presentable, indeed there is an algorithm that will construct a finite presentation for $S$. We use the VSP criterion to characterise the finitely present...

In this paper we study residual solvability of the amalgamated product of two finitely generated free groups, in the case of doubles. We find conditions where this kind of structure is residually solvable, and show that in general this is not the case. However this kind of structure is always meta-residually-solvable.