Divisible modules over integral domains
type: Item
instance of: scholarly article
title: Divisible modules over integral domains
zbMATH Open document ID: 0654.13002
DOI: 10.1007/BF02386109
author: Alberto Facchini
published in: Arkiv för Matematik
publication date: 1988-01-01T00:00:00Z
review text: The aim of this paper is to describe an equivalence between the full sub- category of Mod-R whose objects are the divisible modules over an integral domain R and a suitable full subcategory of modules over the endomorphism ring E of a fixed divisible module \(\partial.\) This equivalence corresponds to similar equivalences for torsion divisible abelian groups due to \textit{D. K. Harrison} [Ann. Math., II. Ser. 69, 366-391 (1959; Zbl 0100.02901)], and for torsion h-divisible modules over an integral domain due to \textit{E. Matlis} [cf. Mem. Am. Math. Soc. 49 (1964; Zbl 0135.078) and the books: ``Torsionfree modules'', Chicago Lect. Math. (1972; Zbl 0298.13001), and ``1-dimensional Cohen- Macaulay rings'', Lect. Notes Math. 327 (1973; Zbl 0264.13012)]. Let R be a commutative integral domain \((1\in R)\), not a field, and \(\partial_ R\) the divisible right R-module defined by \textit{L. Fuchs} [in: Abelian groups and modules, Proc. Conf., Udine 1984, CISM Courses Lect. 287, 341- 356 (1984; Zbl 0574.13001)]. If \(E=End_ R(\partial_ R)\) and \(\partial\) is viewed as a left \(E\)-module \(_ E\partial\), then \(End(_ E\partial)\simeq R\), and \({}_ E\partial \simeq E/I\) for a suitable projective principal left ideal I of R. Moreover, \(\partial\) has flat and projective dimensions equal to one, both as a right R-module and a left E-module. This implies that the class \({\mathcal F}\) of all right E-modules M such that \(Tor^ E_ 1(M;\partial)=0\) is the torsionfree class for a (non-hereditary) torsion theory (\({\mathcal T};{\mathcal F})\) in Mod-E. A module \(M_ E\) is I-divisible if the canonical homomorphism \(M\otimes_ EI\to M\) is an epimorphism, and that a right E-module \(N_ E\) is I-reduced if it is cogenerated by the right E-module \(\partial^*=\Hom_ R(\partial;C)\), where C is the minimal injective cogenerator in Mod-R. A module \(M_ E\) is I-divisible iff \(\Hom(M;N)=0\) (for all I-reduced \(N_ E)\). A right E-module M is called I-cotorsion if it is I-reduce…
Mathematics Subject Classification ID: 13A05
Mathematics Subject Classification ID: 16S90
Mathematics Subject Classification ID: 13D99
Mathematics Subject Classification ID: 13B99
Mathematics Subject Classification ID: 16S50
Mathematics Subject Classification ID: 13G05
zbMATH DE Number: 4067051
zbMATH Keywords: divisible modules over an integral domain
zbMATH Keywords: modules over the endomorphism ring
MaRDI profile type: Publication
cites work: Irreducible lattices belonging to integral blocks with dihedral defect groups in 2-solvable groups
cites work: Relative injectivity and pure-injective modules over Prüfer rings
cites work: Q3693591
cites work: Q3699812
cites work: Q4740720
cites work: Infinite Abelian groups and homological methods
cites work: Cotorsion modules
cites work: Q4052239
cites work: 1-dimensional Cohen-Macaulay rings
cites work: Q3961610
cites work: Q3215398
cites work: Pure submodules
cites work: Q4049223
cites work: Purity and algebraic compactness for modules
description: scientific article; zbMATH DE number 4067051