|
This article is cited in 2 scientific papers (total in 2 papers)
Dominions in solvable groups
A. I. Budkin Altai State University, pr. Lenina 61, Barnaul, 656049, Russia
Abstract:
The dominion of a subgroup $H$ of a group $G$ in a class $M$ is the set of all elements $a\in G$ whose images are equal for all pairs of homomorphisms from $G$ to each group in $M$ that coincide on $H$. A group $H$ is absolutely closed in a class $M$ if, for any group $G$ in $M$ and any inclusion $H\le G$, the dominion of $H$ in $G$ (with respect to $M$) coincides with $H$ (i.e., $H$ is closed in $G$).
We prove that every torsion-free nontrivial Abelian group is not absolutely closed in $\mathcal{AN}_c$. It is shown that if a subgroup $H$ of $G$ in $\mathcal N_c\mathcal A$ has trivial intersection with the commutator subgroup $G'$, then the dominion of $H$ in $G$ (with respect to $\mathcal N_c\mathcal A$) coincides with $H$. It is stated that the study of closed subgroups reduces to treating dominions of finitely generated subgroups of finitely generated groups.
Keywords:
quasivariety, nilpotent group, extension of Abelian group by nilpotent group, dominion, closed subgroup.
Received: 17.11.2014 Revised: 29.03.2015
Citation:
A. I. Budkin, “Dominions in solvable groups”, Algebra Logika, 54:5 (2015), 575–588; Algebra and Logic, 54:5 (2015), 370–379
Linking options:
https://www.mathnet.ru/eng/al713 https://www.mathnet.ru/eng/al/v54/i5/p575
|
|