The orthogonal complement relative to the functor extension of the class of all Gorenstein projective modules (Q421898): Difference between revisions

For a ring \(R\), let \(\mathcal{G}P\) be the class of Gorenstein projective left \(R\)-modules, and \(\mathcal{G}P^{\perp}\) be the class of all modules \(M\) such that \(\text{Ext}^1_R(X,M)=0\) for every \(X\in \mathcal{G}P\). The author shows that if the left Gorenstein global dimension of \(R\) is finite, then \((\mathcal{G}P,\mathcal{G}P^{\perp})\) is a complete hereditary cotorsion pair.