Right orthogonal class of pure projective modules over pure hereditary rings

Abstract: We denote by $\mathcal{W}$ the class of all pure projective modules. Present article we investigate $\mathcal{W}$-injective modules and these modules are defined via the vanishing of cohomology of pure projective modules. First we prove that every module has a $\mathcal{W}$-injective preenvelope and then every module has a $\mathcal{W}$-injective coresolution over an arbitrary ring. Further, we show that the class of all $\mathcal{W}$-injective modules is coresolving (injectively resolving) over a pure-hereditary ring. Moreover, we analyze the dimension of $\mathcal{W}$-injective coresolution over a pure-hereditary ring. It is shown that $\sup{ \cores_{\mathcal{W}^{\bot}}(M) \colon M \mbox{is an }R\mbox{-module }} = \Fcor_{\mathcal{W}^{\bot}}(R) = \sup{\pd(G) \colon G \mbox{ is a pure projective } R\mbox{-module}}$ and we give some equivalent conditions of $\mathcal{W}$-injective envelope with the unique mapping property. In the last section, we proved the desirable properties of the dimension when the ring is semisimple artinian.