Let f:S→R be a ring extension. We introduce and study the properties of (R,S)⋆-injective modules and the existence of (R,S)⋆-injective envelopes. Moreover, we show that every R-module has an (R,S)-injective envelope when S is a pure-semisimple ring, partly resolving a conjecture proposed by Guo Comm. Algebra 52 (2024), 2868–2883.
Xiaolei Zhang (Thu,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: