Search

Let $\mathcal{C}$ be a class of groups. A group $X$ is said to be residually a $\mathcal{C}$-group (conjugacy $\mathcal{C}$-separable) if, for any elements $x,y \in X$ that are not equal (not conjugate in $X$), there exists a homomorphism $\sigma$ of $X$ onto a group from $\mathcal{C}$ such that the elements $x\sigma$ and $y\sigma$ are still not equal (respectively, not conjugate in $X\sigma$). A generalized Baumslag-Solitar group or GBS-group is the fundamental group of a finite connected graph of groups whose all vertex and edge groups are infinite cyclic. An ordinary Baumslag-Solitar group is the GBS-group that corresponds to a graph containing only one vertex and one loop. Suppose that the class $\mathcal{C}$ consists of periodic groups and is closed under taking subgroups and unrestricted wreath products. We prove that a non-solvable GBS-group is conjugacy $\mathcal{C}$-separable if and only if it is residually a $\mathcal{C}$-group. We also find a criterion for a solvable GBS-group to be conjugacy $\mathcal{C}$-separable. As a corollary, we prove that an arbitrary GBS-group is conjugacy (finite) separable if and only if it is residually finite., Comment: 13 pages; the English version of the previously published Russian original

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 amalgamated subgroup is a) periodic, b) locally cyclic, c) central in one of the free factors, d) normal in both free factors, or e) is a retract of one of the free factors. In each of these cases, we give certain necessary and sufficient conditions for $G$ to be residually a) a finite nilpotent group, b) a finite metanilpotent group., Comment: 27 pages; the English version of the previously published Russian original

Suppose that $\Gamma$ is a non-empty connected graph, $\mathfrak{G}$ is the fundamental group of a graph of groups over $\Gamma$, and $\mathcal{C}$ is a root class of groups (the last means that $\mathcal{C}$ contains non-trivial groups and is closed under taking subgroups, extensions, and Cartesian powers of a certain type). It is known that $\mathfrak{G}$ is residually a $\mathcal{C}$-group if it has a homomorphism onto a group from $\mathcal{C}$ acting injectively on all vertex groups. We prove that, in this assertion, the words "vertex groups" can be replaced by "edge subgroups" provided all vertex groups are residually $\mathcal{C}$-groups. We also show that the converse doesn't need to hold if $\mathcal{C}$ consists of periodic groups and contains at least one infinite group., Comment: 10 pages; the English version of the previously published Russian original

Suppose that $\mathcal{C}$ is a class of groups consisting only of periodic groups and $\mathfrak{P}(\mathcal{C})^{\prime}$ is the set of prime numbers each of which does not divide the order of any element of a $\mathcal{C}$-group. A subgroup $Y$ of a group $X$ is called a) $\mathcal{C}$-separable in this group if, for each $x \in X \setminus Y$, there exists a homomorphism $\sigma$ of $X$ onto a group from $\mathcal{C}$ such that $x\sigma \notin Y\sigma$; b) $\mathfrak{P}(\mathcal{C})^{\prime}$-isolated in $X$ if, for any $x \in X$, $q \in \mathfrak{P}(\mathcal{C})^{\prime}$, the inclusion $x^{q} \in Y$ implies that $x \in Y$. It is easy to see that if $Y$ is $\mathcal{C}$-separable in $X$, then it is $\mathfrak{P}(\mathcal{C})^{\prime}$-isolated in this group. Let us say that $X$ has the property $\mathcal{C}\mbox{-}\mathfrak{Sep}$ if all its $\mathfrak{P}(\mathcal{C})^{\prime}$-isolated subgroups are $\mathcal{C}$-separable. We find a condition that is sufficient for a nilpotent group $N$ to have the property $\mathcal{C}\mbox{-}\mathfrak{Sep}$ provided $\mathcal{C}$ is a root class (i.e., it contains non-trivial groups and is closed under taking subgroups, extensions, and Cartesian products of the form $\prod_{v \in V}U_{v}$, where $U, V \in \mathcal{C}$ and $U_{v}$ is an isomorphic copy of $U$ for each $v \in V$). We also prove that if $N$ is torsion-free, then the indicated condition is necessary for this group to have $\mathcal{C}\mbox{-}\mathfrak{Sep}$., Comment: 18 pages; the English version of the previously published Russian original

Suppose that $G$ is a group, $H$ and $K$ are proper isomorphic central subgroups of $G$, and $\mathfrak{G}$ is an HNN-extension of $G$ with the associated subgroups $H$ and $K$. We prove necessary and sufficient conditions for $\mathfrak{G}$ to be residually a $\mathcal{C}$-group, where $\mathcal{C}$ is a class of groups closed under taking subgroups, extensions, homomorphic images, and Cartesian products of the form $\prod_{y \in Y}X_{y}$, where $X, Y \in \mathcal{C}$ and $X_{y}$ is an isomorphic copy of $X$ for each $y \in Y$., Comment: 25 pages; the English version of the previously published Russian original

Let $G$ be a generalized Baumslag-Solitar group and $\mathcal{C}$ be a class of groups containing at least one non-unit group and closed under taking subgroups, extensions, and Cartesian products of the form $\prod_{y \in Y}X_{y}$, where $X, Y \in \mathcal{C}$ and $X_{y}$ is an isomorphic copy of $X$ for every $y \in Y$. We give a criterion for $G$ to be residually a $\mathcal{C}$-group provided $\mathcal{C}$ consists only of periodic groups. We also prove that $G$ is residually a torsion-free $\mathcal{C}$-group if $\mathcal{C}$ contains at least one non-periodic group and is closed under taking homomorphic images. These statements generalize and strengthen some known results. Using the first of them, we provide criteria for a GBS-group to be a) residually nilpotent; b) residually torsion-free nilpotent; c) residually free., Comment: 19 pages, in English

Free products of two residually finite groups with amalgamated retracts are considered. It is proved that a cyclic subgroup of such a group is not finitely separable if, and only if, it is conjugated with a subgroup of a free factor which is not finitely separable in this factor. A similar result is obtained for the case of separability in the class of finite p-groups.

Let G be the free product of groups A and B with commuting subgroups H \leqslant A and K \leqslant B, and let C be the class of all finite groups or the class of all finite p-groups. We derive the description of all C-separable cyclic subgroups of G provided this group is residually a C-group. We prove, in particular, that if A, B are finitely generated nilpotent groups and H, K are p'-isolated in the free factors, then all p'-isolated cyclic subgroups of G are separable in the class of all finite p-groups. The same statement is true provided A, B are free and H, K are p'-isolated and cyclic.

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 root class of groups closed under taking quotient groups and G = is the generalized free product of two nilpotent C-groups A and B possessing \varphi-compartible central series, then G is residually a solvable C-group., Comment: This is an Author's Original Manuscript of an article submitted for consideration in the "Communications in Algebra" [copyright Taylor & Francis]; "Communications in Algebra" is available online at http://www.tandfonline.com

Let $G$ be a free product of two groups with amalgamated subgroup, $\pi$ be either the set of all prime numbers or the one-element set \{$p$\} for some prime number $p$. Denote by $\Sigma$ the family of all cyclic subgroups of group $G$, which are separable in the class of all finite $\pi$-groups. Obviously, cyclic subgroups of the free factors, which aren't separable in these factors by the family of all normal subgroups of finite $\pi$-index of group $G$, the subgroups conjugated with them and all subgroups, which aren't $\pi^{\prime}$-isolated, don't belong to $\Sigma$. Some sufficient conditions are obtained for $\Sigma$ to coincide with the family of all other $\pi^{\prime}$-isolated cyclic subgroups of group $G$. It is proved, in particular, that the residual $p$-finiteness of a free product with cyclic amalgamation implies the $p$-separability of all $p^{\prime}$-isolated cyclic subgroups if the free factors are free or finitely generated residually $p$-finite nilpotent groups., Comment: 10 pages; for other papers of this author, see http://icu.ivanovo.ac.ru/tg-seminar