Pure subgroups of \(A\)-projective groups
type: Item
instance of: scholarly article
title: Pure subgroups of \(A\)-projective groups
zbMATH Open document ID: 0814.20038
DOI: 10.1007/BF01875149
published in: Acta Mathematica Hungarica
publication date: 1995-05-17T00:00:00Z
review text: The following example will illustrate the topic considered by the authors. Let \(A =\bigoplus \mathbb{Z}_ p\) be the direct sum of the abelian groups \(\mathbb{Z}_ p\), the integers localized at the prime \(p\), where \(p\) runs over all primes. The endomorphism ring \(E(A) \cong \prod_ p \mathbb{Z}_ p\) of \(A\) is strongly non-singular and semi-hereditary. Recall that a ring \(E(A)\) is strongly non-singular if all finitely generated non-singular (right) \(E(A)\)-modules are the finitely generated submodules of free modules. Moreover \(A\) is flat over \(E(A)\) and satisfies the following two conditions. ``\(A\) splits pure \(A\)-socles'', i.e. all pure \(A\)-generated subgroups \(U\) (\(U = \sum\{\varphi(A): \varphi \in \text{Hom}(A,U)\})\) of \(A\)-projective groups \(D\) of finite rank (\(D\) is a summand of \(\bigoplus_ n A\)) are summands. ``\(A\) is not quasi-splitting \(A\)-socles'', i.e. there are subgroups \(U\) as above (but not pure) in \(D\) which are not even quasi-summands of \(D\). The paper gives a detailed analysis of the indicated properties for general torsion-free \(A\) and provides characterizations of them partly in terms of \(E(A)\)-modules (Theorem 2.1) or ring theoretically. Here is one of the results which can be applied to derive the properties of the above example. Corollary 2.3: If \(A\) is torsion-free abelian and faithful as \(E(A)\)-module, then the following are equivalent: (a) \(A\) splits pure \(A\)-socles and is a flat \(E(A)\)-module. (b) \(E(A)\) is (right) semi- hereditary and the quasi-endomorphism ring \(\mathbb{Q} E(A)\) is semi-simple artinian. A special case is Baer's splitting theorem for pure subgroups of homogeneous completely decomposable groups of finite rank.
Mathematics Subject Classification ID: 20K25
Mathematics Subject Classification ID: 20K30
Mathematics Subject Classification ID: 16S50
Mathematics Subject Classification ID: 20K27
Mathematics Subject Classification ID: 16D40
Mathematics Subject Classification ID: 20K20
zbMATH DE Number: 638250
zbMATH Keywords: strongly non-singular ring
zbMATH Keywords: flat modules
zbMATH Keywords: pure socles
zbMATH Keywords: direct sum
zbMATH Keywords: endomorphism ring
zbMATH Keywords: semi-hereditary rings
zbMATH Keywords: \(A\)-projective groups
zbMATH Keywords: summands
zbMATH Keywords: quasi-splitting
zbMATH Keywords: quasi-summands
zbMATH Keywords: torsion-free abelian
zbMATH Keywords: quasi- endomorphism ring
zbMATH Keywords: Baer's splitting theorem
zbMATH Keywords: pure subgroups
zbMATH Keywords: homogeneous completely decomposable groups
zbMATH Keywords: finite rank
author: Ulrich F. Albrecht
author: Pat Goeters
MaRDI profile type: Publication
cites work: Endomorphism rings and a generalization of torsion-freeness and purity
cites work: Endomorphism rings of faithfully flat Abelian groups
cites work: On the quasi-splitting of exact sequences
cites work: A Dual to Baer's Lemma
cites work: Finite rank torsion free Abelian groups and rings
cites work: Endomorphism Rings and Direct Sums of Torsion Free Abelian Groups
cites work: Abelian groups without elements of finite order
cites work: Every Cotorsion-Free Ring is an Endomorphism Ring
cites work: On torision-free ext
cites work: Q3943133
description: scientific article; zbMATH DE number 638250