Covers, precovers, and purity. (Q733346): Difference between revisions

A class \(\mathbb{F}\) of modules is (pre)covering if each module \(M\) has an \(\mathbb{F}\)-(pre)cover \(F\to M\) (\(F\in\mathbb{F}\)). If a class \(\mathbb{F}\) is closed under pure quotient modules, then the following conditions are equivalent: (i) \(\mathbb{F}\) is closed under set indexed direct sums; (ii) \(\mathbb{F}\) is precovering; (iii) \(\mathbb{F}\) is covering. The pair of classes \((\mathbb{F},\mathbb{G})\) is called cotorsion pair if \(\mathbb{F}^\perp=\mathbb{G}\) and \(\mathbb{F}={^\perp\mathbb{G}}\), where \(\mathbb{F}^\perp=\text{Ker\,Ext}^1(\mathbb{F},-)\), \(^\perp\mathbb{G}=\text{Ker\,Ext}^1(-,\mathbb{G})\). If a class \(\mathbb{F}\) contains the ground ring \(R\) and is closed under extensions, set indexed direct sums, pure submodules and pure quotient modules, then \((\mathbb{F},\mathbb{F}^\perp)\) is a perfect cotorsion pair (in particular, \(\mathbb{F}\) is covering and \(\mathbb{F}^\perp\) is enveloping). As applications some concrete classes of modules are considered: the kernels of homological functors, the torsion free classes for torsion pairs.