Covers and envelopes over Gorenstein rings (Q1375808)

Let \(R\) be a ring and \(\mathcal F\) a category of left \(R\)-modules. An \(\mathcal F\)-cover of a left \(R\)-module \(M\) is defined to be a linear map \(\phi\colon F\to M\) with \(F\in{\mathcal F}\) such that (a) for any linear map \(\psi\colon G\to M\) with \(G\in{\mathcal F}\), there is a linear map \(g\colon G\to F\) such that \(\psi=\phi g\), (b) every endomorphism \(f\) of \(F\) such that \(\phi f=\phi\) is an automorphism. An \(\mathcal F\)-envelope of \(M\) is defined dually. It is said that \(R\) is a Gorenstein ring if it is left and right noetherian, \(\text{inj.dim} _RR<\infty\) and \(\text{inj.dim} R_R<\infty\). Assume \(R\) is a Gorenstein ring, and let \(\mathcal L\) be the class of left \(R\)-modules of finite projective dimension. A left \(R\)-module \(K\) is called Gorenstein injective if \(\text{Ext}^1_R(L,K)=0\) for any \(L\in \mathcal L\), and we denote by \(\mathcal G\) the class of Gorenstein injective left \(R\)-modules. It is shown that if \(R\) is a Gorenstein ring, then every left \(R\)-module has a \(\mathcal G\)-envelope and an \(\mathcal L\)-cover. The authors also consider the Gorenstein ring \(DG\) with \(D\) a discrete valuation ring and \(G\) a finite group and remark that their results give a canonical way of lifting representations of G over \(\mathbb{Z}/(p)\) to modular representations of \(G\) over \(\widehat\mathbb{Z}_p\) (the ring of \(p\)-adic integers).