On the separability of subgroups of nilpotent groups by root classes of groups (Q6165649)

Let \(\mathcal{C}\) be a class of groups. A subgroup \(Y\) of a group \(X\) is said to be \(\mathcal{C}\)-separable if, for any element \(x \in X \setminus Y\), there exists a homomorphism \(\sigma\) of \(X\) onto a group from \(\mathcal{C}\) such that \(x^{\sigma} \not \in Y^{\sigma}\) (if the trivial subgroup of \(X\) is \(\mathcal{C}\)-separable, then \(X\) is residually a \(\mathcal{C}\)-group). A class of groups \(\mathcal{C}\) is called a root class if it contains at least one non-trivial group and is 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 each \(y \in Y\). If \(\mathcal{C}\) is a class of groups consisting only of periodic groups and \(\mathfrak{P}(\mathcal{C})'\) is the set of prime numbers that do not divide the order of any element of a \(\mathcal{C}\)-group. A group \(X\) has the property \(\mathcal{C}\)-\(\mathfrak{Sep}\) if all of its \(\mathfrak{P}(\mathcal{C})'\)-isolated subgroups are \(\mathcal{C}\)-separable. In the paper under review, the author finds a condition that is sufficient for a nilpotent group \(N\) to have the property \(\mathcal{C}\)-\(\mathfrak{Sep}\) provided \(\mathcal{C}\) is a root class. He also proves that if \(N\) is torsion-free, then the previous condition is necessary.