On coverings of modules (Q5933591)

Let \(R\) be a ring and \(\tau\) a hereditary torsion theory for \(R\)-mod. After the characterization of projective covers by Bass, Enochs found the existence of torsionfree covers of modules for the usual torsion theory over an integral domain. A concrete method for constructing these covers was obtained by Banaschewski. The concept of a torsionfree cover was extended to modules over associative rings by Teply: given a hereditary torsion theory \(\tau\) and a module \(M\), an epimorphism \(\theta\colon F\to M\) is called a \(\tau\)-torsionfree cover of \(M\) ifNEWLINENEWLINENEWLINE(1) \(F\) is \(\tau\)-torsionfree,NEWLINENEWLINENEWLINE(2) for any homomorphism \(h\colon F'\to M\) with \(F'\) \(\tau\)-torsionfree, there is a homomorphism \(g\colon F'\to F\) such that \(h=\theta\circ g\), andNEWLINENEWLINENEWLINE(3) \(\ker(\theta)\) contains no nonzero \(\tau\)-pure submodule of \(F\).NEWLINENEWLINENEWLINEIn this paper, the authors give a necessary condition for every module to have a \(\tau\)-torsionfree cover; this condition is close to the known sufficient condition. Then the authors present a method for computing \(\tau\)-torsionfree covers of modules that can be embedded in \(Q_\tau\)-modules, where \(Q_\tau\) is the quotient ring for \(\tau\).