Some notes on Gorenstein projective modules

Jian Wang

Let $R$ be a ring. It is proved that $(\mathcal{G}\mathcal{P}(R),\mathcal{G}\mathcal{P}(R{)}^{\perp })$ is a complete hereditary cotorsion pair, where $\mathcal{G}\mathcal{P}(R)$ denotes the class of the Gorenstein…