Envelopes and covers by modules of finite injective and projective dimensions (Q5945120)

The existence of various envelopes, precovers and covers of modules of finite injective or projective dimension is studied in this paper. Let \(\mathcal L\) be the class of all modules with injective dimension less than or equal to a fixed (but arbitrary) natural number \(n\). The orthogonal class \({\mathcal L}^\bot\) of \(\mathcal L\) is the class of all modules \(M\) such that \(\text{Ext}^1(L,M)=0\) for all \(L\in{\mathcal L}\). It is proved that any module over a left Noetherian ring admits an \({\mathcal L}^\bot\)-envelope and if also \(\text{inj.dim }R\leq n\), then \((\mathcal{L,L}^\bot)\) is a cotorsion theory with enough injectives and projectives. If \(R\) is left Noetherian, it is shown that every \(R\)-module has an \(\mathcal L\)-preenvelope. The final part of the paper contains results on \(\mathcal D\)-covers and \({\mathcal D}^\bot\)-envelopes, where \(\mathcal D\) denotes the class of all modules with projective dimension less than or equal to a fixed (but arbitrary) natural number \(n\). The pair \((\mathcal{D,D}^\bot)\) is shown to be a cotorsion theory with enough injectives and projectives. For any ring \(R\), it is proved that any module has a special \({\mathcal D}^\bot\)-preenvelope and a special \(\mathcal D\)-precover. Moreover, if \(R\) is left perfect, then any module has a \({\mathcal D}^\bot\)-envelope and a \(\mathcal D\)-cover.