Duality and self-reflexive torsion-free Abelian groups
type: Item
instance of: scholarly article
title: Duality and self-reflexive torsion-free Abelian groups
zbMATH Open document ID: 0937.20028
DOI: 10.1016/S0022-4049(97)00200-4
author: H. Pat Goeters
published in: Journal of Pure and Applied Algebra
publication date: 2000-06-04T00:00:00Z
review text: Given an abelian group \(A\), let \(M_A\) denote the category of those abelian groups that are isomorphic to \(\text{End}(A)\)-submodules of finite direct sums of copies of \(A\). For \(A\) a rank-one torsion-free abelian group, R. B. Warfield jun. showed that the functor \(\text{Hom}(-,A)\) defines a rank-preserving duality on \(M_A\) (all unadorned Hom's are over the integers, \(\mathbb{Z}\)). In this paper the results of Warfield are extended by determining the torsion-free abelian groups \(G\) of finite rank for which \(\text{Hom}(-,G)\) defines a rank-preserving duality on \(M_G\). In particular, the author investigates those \(G\) for which \(G\cong\text{Hom}(\text{Hom}(G,G),G)\), that is, for which \(G\) is self-reflexive. Assume \(G\) is self-reflexive. Then \(\text{End}(G)\) is an \(E\)-ring: \(R=\text{End}(G)\) satisfies \(R\cong\text{End}(R,+)\). Moreover, \(G\) is an \(E\)-module over \(R\); \(\text{Hom}(R,G)=\text{Hom}_R(R,G)\). The structure of \(E\)-rings is well-known and can be used to obtain a decomposition theorem for self-reflexive groups. Corollary 1. Let \(G\) be torsion-free with endomorphism ring \(R\) that is of finite rank. Then \(G\) is self-reflexive if and only if \(G\) quasi-decomposes as \(G_1\oplus G_2\oplus\cdots\oplus G_n\), with each \(G_j\) strongly indecomposable and an \(E\)-module over \(R\), and \(\text{Hom(End}(G_i),G_j)=0\) for \(i\neq j\). A number of methods for constructing examples of self-reflexive groups are presented in Section 2 of the paper. Section 3 is an investigation of the \(G\)-reflexive groups, where \(G\) is a fixed self-reflexive group with finite rank endomorphism ring \(R\). A group \(M\) is \(G\)-reflexive if \(M\) is naturally isomorphic to \(\text{Hom(Hom}(M,G),G)\). Since \(R \) is an \(E\)-ring, \(R\) is quasi-equal to a product of subrings of algebraic number fields and we can form the integral closure \(S\) of \(R\) in \(QR\). It is well-known that \(S/R\) is finite. Let \(P_G\) be the category of …
Mathematics Subject Classification ID: 20K15
Mathematics Subject Classification ID: 20K30
Mathematics Subject Classification ID: 20K20
Mathematics Subject Classification ID: 16S50
Mathematics Subject Classification ID: 20K40
zbMATH DE Number: 1308352
zbMATH Keywords: categories of Abelian groups
zbMATH Keywords: torsion-free Abelian groups of finite rank
zbMATH Keywords: \(E\)-rings
zbMATH Keywords: direct sums
zbMATH Keywords: rank-preserving dualities
zbMATH Keywords: decomposition theorems
zbMATH Keywords: self-reflexive groups
zbMATH Keywords: endomorphism rings
reviewed by: Charles Vinsonhaler
MaRDI profile type: Publication
cites work: Strongly Homogeneous Torsion Free Abelian Groups of Finite Rank
cites work: Endomorphism Rings and Direct Sums of Torsion Free Abelian Groups
cites work: Quasi-Pure Injective and Projective Torsion-Free Abelian Groups of Finite Rank
cites work: Duality and invariants for Butler groups
cites work: Unital rings whose additive endomorphisms commute
cites work: \(E\)-rings as localizations of orders
cites work: Torsion-free duality is Warfield
cites work: Notes on abelian groups. II
cites work: Cobalanced torsion-free abelian groups
cites work: Q4865872
cites work: Homogeneous groups
cites work: An extension of Warfield duality for abelian groups
cites work: Q5690127
cites work: Reflexive rings and subrings of a product of Dedekind domains
cites work: Warfield duality and rank-one quasi-summands of tensor products of finite rank locally free modules over Dedekind domains
cites work: Torsion-free E-modules
cites work: Number fields
cites work: Q4052239
cites work: Abelian groups projective over their endomorphism rings
cites work: On Quasi-Decompositions of Torsion Free Abelian Groups
cites work: Q4025962
cites work: Q3882615
cites work: The endomorphism ring of the additive group of a ring
cites work: Dualities for torsion-free abelian groups of finite rank
cites work: Homomorphisms and duality for torsion-free groups
cites work: Q4315608
description: scientific article; zbMATH DE number 1308352