The existence of relative pure injective envelopes
Let 𝓢 be a class of finitely presented R-modules such that R∈ 𝓢 and 𝓢 has a subset 𝓢* with the property that for any U∈ 𝓢 there is a U*∈ 𝓢* with U* ≅ U. We show that the class of 𝓢-pure injective R-modules is preenveloping. As an application, we deduce that the left global 𝓢-pure projective dimension of R is equal to its left global 𝓢-pure injective dimension. As our main result, we prove that, in fact, the class of 𝓢-pure injective R-modules is enveloping.