English

On the separability of subgroups of nilpotent groups by root classes of groups

Group Theory 2022-02-07 v2

Abstract

Suppose that C\mathcal{C} is a class of groups consisting only of periodic groups and P(C)\mathfrak{P}(\mathcal{C})^{\prime} is the set of prime numbers each of which does not divide the order of any element of a C\mathcal{C}-group. A subgroup YY of a group XX is called a) C\mathcal{C}-separable in this group if, for each xXYx \in X \setminus Y, there exists a homomorphism σ\sigma of XX onto a group from C\mathcal{C} such that xσYσx\sigma \notin Y\sigma; b) P(C)\mathfrak{P}(\mathcal{C})^{\prime}-isolated in XX if, for any xXx \in X, qP(C)q \in \mathfrak{P}(\mathcal{C})^{\prime}, the inclusion xqYx^{q} \in Y implies that xYx \in Y. It is easy to see that if YY is C\mathcal{C}-separable in XX, then it is P(C)\mathfrak{P}(\mathcal{C})^{\prime}-isolated in this group. Let us say that XX has the property C\mboxSep\mathcal{C}\mbox{-}\mathfrak{Sep} if all its P(C)\mathfrak{P}(\mathcal{C})^{\prime}-isolated subgroups are C\mathcal{C}-separable. We find a condition that is sufficient for a nilpotent group NN to have the property C\mboxSep\mathcal{C}\mbox{-}\mathfrak{Sep} provided C\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 vVUv\prod_{v \in V}U_{v}, where U,VCU, V \in \mathcal{C} and UvU_{v} is an isomorphic copy of UU for each vVv \in V). We also prove that if NN is torsion-free, then the indicated condition is necessary for this group to have C\mboxSep\mathcal{C}\mbox{-}\mathfrak{Sep}.

Keywords

Cite

@article{arxiv.2202.01378,
  title  = {On the separability of subgroups of nilpotent groups by root classes of groups},
  author = {E. V. Sokolov},
  journal= {arXiv preprint arXiv:2202.01378},
  year   = {2022}
}

Comments

18 pages; the English version of the previously published Russian original