Countable mixed Abelian groups with very nice full-rank subgroups
type: Item
instance of: scholarly article
title: Countable mixed Abelian groups with very nice full-rank subgroups
zbMATH Open document ID: 0578.20051
DOI: 10.1007/BF02772953
author: Manfred Dugas
author: Rüdiger Göbel
published in: Israel Journal of Mathematics
publication date: 1985-01-01T00:00:00Z
review text: A group G is a Warfield group if it contains a free valuated subgroup with basis X such that \(<X>\) is nice in G and \(G/<X>\) is a totally projective torsion group. Warfield groups are classified by invariants, and they form a tractable and well-behaved class of groups. The authors consider a ''nearby'' class of groups G: N is allowed to be any countable torsion-free subgroup of G while G/N is required to be a direct sum of cyclic p-groups. In contrast to the class of Warfield groups this new class of groups is shown to be ''wild'' and unclassifiable. This is done by proving a realization theorem of algebras in the endomorphism algebra of such groups: Let A be a p-reduced torsion-free countable Z-algebra. By the well-known theorem of Corner there is a countable torsion-free group N such that \(End(N)=A\). An extension G of N is constructed such that G/N is a countable direct sum of cyclic p-groups, the torsion part tG is a non-zero direct sum of cyclic p-groups and \(End(G)=A\oplus Hom(G,tG)\). In particular, the groups G lie in the new class described above, and the diversity of possible endomorphism rings shows that the class is wild and untractable. Furthermore, given A, there are \(2^{\aleph_ 0}\) groups G with the same subgroup N, the same torsion subgroup T, the same quotient G/T and with \(End(G)=A\oplus Hom(G,T)\). If G and G' are two distinct groups of this set then \(Hom(G,G')=Hom(G,T).\) \(\{\) The authors are rather careless about stating hypotheses and about their notation. The following are indicative. In (2.4) N must contain A as assured by Corner's Theorem on the same page. The latter should also include the statement that \(G_ i\) is S-pure in A. The sequences introduced just before (2.4) are all assumed to be monotone null- sequences (in particular \(\tau \sigma^{-1})\). The element b on p. 5 should be \(b=\sum s_ n\pi_ n\). The elements \(e_ i\) making their unannounced appearance on p. 6 should be interpreted as \(\pi_ i.\}\)
Mathematics Subject Classification ID: 20K21
Mathematics Subject Classification ID: 20K30
Mathematics Subject Classification ID: 20K27
zbMATH DE Number: 3925119
zbMATH Keywords: free valuated subgroup
zbMATH Keywords: totally projective torsion group
zbMATH Keywords: Warfield groups
zbMATH Keywords: direct sum of cyclic p-groups
zbMATH Keywords: endomorphism rings
reviewed by: Adolf Mader
MaRDI profile type: Publication
cites work: Every Countable Reduced Torsion-Free Ring is an Endomorphism Ring
cites work: Prescribing Endomorphism Algebras, a Unified Treatment
cites work: Q3039568
cites work: On endomorphism rings of primary Abelian groups
cites work: Every cotorsion-free algebra is an endomorphism algebra
cites work: Q5609457
cites work: Q3903183
cites work: Q5825274
cites work: Endomorphisms of abelian groups and the theorem of Baer and Kaplansky
cites work: Modules Over an Incomplete Discrete Valuation Ring
cites work: Q3909227
cites work: Q3667080
cites work: Q4145890
cites work: Q3922846
Recommended article: Countable \(\aleph _ 0\)-indecomposable mixed Abelian groups of finite torsion-free rank
Recommended article: Q3681036
Recommended article: Q4270328
Recommended article: Mixed abelian groups of finite rank and their direct decompositions
Recommended article: The Structure of Groups Which are Almost the Direct Sum of Countable Abelian Groups
Recommended article: Q4696953
Recommended article: On groups with countably many maximal subgroups
Recommended article: Q3638659
Recommended article: Q3676346
Recommended article: Counting maximal abelian subgroups of \(p\)-groups
description: scientific article; zbMATH DE number 3925119