Abstract
We consider the perfect cotorsion pair (π«1, π) over a commutative ring (often over a domain) R consisting of modules of projective dimension β€1 and of divisible modules, respectively. The kernel modules in this cotorsion pair are well kown (Theorem 2.1), and those domains are identified whose injectives are kernel modules (Theorem 2.3). The kernel modules always generate the cotorsion pair (π«1, π); they also cogenerate it if the global dimension of the domain R is finite (Theorems 3.1, 3.2).
An analogue of the well-known FaithβWalker theorem on injective modules is proved: an integral domain R is noetherian of Krull dimension 1 if there is a cardinal number Ξ» such that every weak-injective (or divisible) R-module is a direct sum of modules of cardinalities β€ Ξ» (Theorem 4.4). The proof relies on our Theorem 4.1 which generalizes the FaithβWalker theorem as well as a theorem by Guil and Herzog in [Citation14]. Theorem 4.2 provides a general sufficient criterion for a complete cotorsion pair to be Ξ£-cotorsion; here Ξ£-cotorsion means that both classes in the cotorsion pair are closed under direct sums.
ACKNOWLEDGMENT
We wish to thank the referee for many useful comments.
Notes
Communicated by S. Bazzoni.