Published online by Cambridge University Press: 17 April 2009
If H and M are right R-modules, H is M-injective if every R-homonorphism N → H, N a right R-submodule of M, can be extended to an R-homonorphism from M to H.
H is strongly M-injective if H is injective for inclusions whose cokernels are isomorphic to factor modules of M.
For the case of abelian groups H and M, one settles the questions “when is H M-injective” and “when is H strongly M-injective”. The latter can be characterized in terms of the vanishing of Ext. Results for general module categories are also given.