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

DOI10.1515/JGTH-2022-0021MaRDI QIDQ6165649zbMATH OpenOpenAlexFDO

Authors E. V. Sokolov

Publication date 6 July 2023

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2202.01378

zbMATH Keywords

nilpotent groupperiodic grouproot class of groupsseparable subgroup

Mathematics Subject Classification ID

Residual properties and generalizations; residually finite groups (20E26) Nilpotent groups (20F18)

Abstract: Suppose that $mathcalC$ is a class of groups consisting only of periodic groups and $mathfrakP(mathcalC{)}^{prime}$ is the set of prime numbers each of which does not divide the order of any element of a $mathcalC$-group. A subgroup $Y$ of a group $X$ is called a) $mathcalC$-separable in this group if, for each $xinXsetminusY$, there exists a homomorphism $sigma$ of $X$ onto a group from $mathcalC$ such that $xsigmaotinYsigma$; b) $mathfrakP(mathcalC{)}^{prime}$-isolated in $X$ if, for any $xinX$, $qinmathfrakP(mathcalC{)}^{prime}$, the inclusion $x^{q}inY$ implies that $xinY$. It is easy to see that if $Y$ is $mathcalC$-separable in $X$, then it is $mathfrakP(mathcalC{)}^{prime}$-isolated in this group. Let us say that $X$ has the property $mathcalCmbox-mathfrakSep$ if all its $mathfrakP(mathcalC{)}^{prime}$-isolated subgroups are $mathcalC$-separable. We find a condition that is sufficient for a nilpotent group $N$ to have the property $mathcalCmbox-mathfrakSep$ provided $mathcalC$ is a root class (i.e., it contains non-trivial groups and is closed under taking subgroups, extensions, and Cartesian products of the form $pro{d}_{vinV}{U}_v$, where $U,VinmathcalC$ and $U_v$ is an isomorphic copy of $U$ for each $vinV$). We also prove that if $N$ is torsion-free, then the indicated condition is necessary for this group to have $mathcalCmbox-mathfrakSep$.

Review text

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.

Recommendations

• Separability of subgroups of nilpotent groups in the class of finite \(\pi\)-groups.
• Separability of the subgroups of residually nilpotent groups in the class of finite \(\pi\)-groups
• A remark on the separability of subgroups in the class of finite -groups.
• Conjugate separability in finitely generated nilpotent groups.
• On p-Separability of Subgroups of Free Metabelian Groups

Cites work

• A Basis for Free Lie Rings and Higher Commutators in Free Groups
• A characterization of root classes of groups.
• A criterion for the \(\mathcal F_\pi\)-residuality of free products with amalgamated cyclic subgroup of nilpotent groups of finite ranks.
• Certain residual properties of HNN-extensions with central associated subgroups
• Generalized direct products of groups and their application to the study of residuality of free constructions of groups
• scientific article; zbMATH DE number 3873585 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 2123463 (Why is no real title available?)
• On homomorphisms onto finite groups
• On p-Separability of Subgroups of Free Metabelian Groups
• On the cyclic subgroup separability of the free product of two groups with commuting subgroups.
• On the residual finiteness of free products of solvable minimax groups with cyclic amalgamated subgroups.
• On the residual finiteness of generalized free products of finite rank groups.
• On the root-class residuality of certain free products of groups with normal amalgamated subgroups
• Residual finiteness of the free product of two groups with commuting subgroups
• Residual properties of free products
• Residual Properties of Infinite Soluble Groups
• Root class residuality of HNN-extensions with central cyclic associated subgroups
• Separability of the subgroups of residually nilpotent groups in the class of finite \(\pi\)-groups
• Separating cyclic subgroups in graph products of groups
• Sufficient conditions for the root-class residuality of certain generalized free products.
• The cyclic subgroup separability of certain generalized free products of two groups.
• The residual finiteness of (hyperbolic) automorphism-induced HNN-extensions
• The root class residuality of Baumslag-Solitar groups
• The root class residuality of the tree product of groups with amalgamated retracts
• The root-class residuality of the fundamental groups of certain graphs of groups with central edge subgroups
• The Subgroups of a Free Product of Two Groups with an Amalgamated Subgroup
• The theory of nilpotent groups

Cited in

(13)

• Effective separability of finitely generated nilpotent groups
• Separability of subgroups of nilpotent groups in the class of finite \(\pi\)-groups.
• Separability of the subgroups of residually nilpotent groups in the class of finite \(\pi\)-groups
• The root-class residuality of some generalized free products and HNN-extensions
• scientific article; zbMATH DE number 3998073 (Why is no real title available?)
• On the separability of abelian subgroups of the fundamental groups of graphs of groups. II
• On the residual nilpotence of generalized free products of groups
• On conjugate separability of nilpotent subgroups
• Separability properties of nilpotent \(\mathbb{Q}[\mathrm{x}]\)-powered groups. II
• On the root-class residuality of tree products of groups with normal edge subgroups
• Certain residual properties of HNN-extensions with normal associated subgroups
• On the conjugacy separability of ordinary and generalized Baumslag-Solitar groups
• On the separability of abelian subgroups of the generalized free product of two groups with normal amalgamated subgroup

This page was built for publication: On the separability of subgroups of nilpotent groups by root classes of groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165649)