Some remarks on injective envelopes on ring extensions

Let f: S R be a ring extension. We introduce and study the properties of (R, S) _-injective modules and the existences of (R, S) _-injective envelopes. Besides, we show that every R-module has an (R, S) -injective envelope when S is a pure-semisimple ring.