TORSION-FREE EXTENSIONS OF PROJECTIVE MODULES BY TORSION MODULES

Abstract

We consider a generalization of a problem raised by P. Griffith [12] on abelian groups to modules over integral domains, and prove an analogue of a theorem of M. Dugas and J. Irwin [2]. Torsion modules T with the following property are characterized: if M is a torsion-free module and F is a projective submodule such that M/F ∼= T , then M is projective (Theorem 4.1). It is shown in Theorem 6.4 that for abelian groups whose cardinality is not cofinal with ω this is equivalent to being totally reduced in the sense of L. Fuchs and K. Rangaswamy [9]. The problem for valuation domains is also discussed, the results are similar to the case of abelian groups.