On coverings of modules
type: Item
instance of: scholarly article
title: On coverings of modules
zbMATH Open document ID: 0985.16017
author: Mark L. Teply
author: Seog-Hoon Rim
published in: Tsukuba Journal of Mathematics
publication date: 2002-05-13T00:00:00Z
reviewed by: Yoshiki Kurata
Mathematics Subject Classification ID: 16S90
Mathematics Subject Classification ID: 16D50
Mathematics Subject Classification ID: 16D40
zbMATH DE Number: 1599496
zbMATH Keywords: pure submodules
zbMATH Keywords: hereditary torsion theories
zbMATH Keywords: projective covers
zbMATH Keywords: torsionfree covers
zbMATH Keywords: quotient rings
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.21099/tkbjm/1496164042
OpenAlex ID: W1485574074
DOI: 10.21099/TKBJM/1496164042
review text: 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\).
description: scientific article; zbMATH DE number 1599496