Dominions in finitely generated nilpotent groups

DOI10.1080/00927879908826714MaRDI QIDQ4262392zbMATH OpenOpenAlexFDO

Authors Arturo Magidin

Publication date 12 July 2000

Published in Communications in Algebra (Search for Journal in Brave)

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

zbMATH Keywords

categories of groupsdominionsfinitely generated nilpotent groupshomomorphismssubgroups

Mathematics Subject Classification ID

Products, amalgamated products, and other kinds of limits and colimits (08B25) Subgroup theorems; subgroup growth (20E07) Quasivarieties and varieties of groups (20E10) Automorphisms of infinite groups (20E36) Nilpotent groups (20F18) Category of groups (20J15)

Abstract: In the first part, we prove that the dominion (in the sense of Isbell) of a subgroup of a finitely generated nilpotent group is trivial in the category of all nilpotent groups. In the second part, we show that the dominion of a subgroup of a finitely generated nilpotent group of class two is trivial in the category of all metabelian nilpotent groups.

Review text

Let \(\mathcal C\) be a full subcategory of the category of groups and assume \(G\in{\mathcal C}\). For a subgroup \(H\) of \(G\), the dominion \(\text{dom}^{\mathcal C}_GH\) of \(H\) in \(G\) (in the sense of \textit{J. R. Isbell} [Proc. Conf. Categor. Algebra, La Jolla 1965, 232-246 (1966; Zbl 0194.01601)]) is the subgroup of \(G\) consisting of all elements \(x\in G\) such that, for all \(K\in{\mathcal C}\) and for all \(f,g\in\text{Hom}_{{\mathcal C}}(G,K)\), if \(f|_H=g|_H\), then \(f(x)=g(x)\). If \(H\) is a proper subgroup of \(\text{dom}^{\mathcal C}_GH\), then we say that the dominion of \(H\) in \(G\) is non-trivial and the dominion is called trivial otherwise. In this paper (and in [the author, Commun. Algebra 28, No. 3, 1241-1270 (2000)]), the following question is studied: if \(G\) is a nilpotent group and \(H\) is a subgroup of \(G\), is the dominion of \(H\) in \(G\) in the category \({\mathcal N}il\) of nilpotent groups non-trivial? Or equivalently, are there elements \(x\in G\setminus H\) such that any two group homomorphisms to a nilpotent group which agree on \(H\) also must agree on \(x\)? In the first part of the paper, it is shown that the dominion of a subgroup of a finitely generated nilpotent group is trivial in \({\mathcal N}il\) (Theorem 3.11). In the second part, the author proves that the dominion of a subgroup of a finitely generated nilpotent group of class 2 in the category of metabelian nilpotent groups is trivial (Theorem 4.17).

Recommendations

• Dominions in varieties of nilpotent groups
• On one problem on metabelian groups posed by Bardakov and Neshchadim
• A characterization of categorically compact locally nilpotent groups
• Absolutely closed groups in the class of 2-step nilpotent torsion-free groups.
• On induced morphisms of Mislin genera
• On 2-groups, all of whose finite subgroups are of nilpotency class 2.
• Nil(n)-modules bifibred over groups
• On torsion-by-nilpotent groups
• scientific article; zbMATH DE number 887762
• An isomorphism between rings and groups

Cites work

• Amalgams of p-groups.
• Dominions in varieties of nilpotent groups
• Epimorphisms and Dominions. IV

Cited in

(5)

• Amalgams of nilpotent groups of class two.
• Dominions in quasivarieties of universal algebras
• Dominions in decomposable varieties
• On the closedness of a locally cyclic subgroup in a metabelian group.
• Dominions in varieties of nilpotent groups

This page was built for publication: Dominions in finitely generated nilpotent groups

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