Key points are not available for this paper at this time.
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.
Xiaolei Zhang (Mon,) studied this question.