Tests for injectivity of modules over commutative rings

From MaRDI portal




Abstract: It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every ige 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully flat, then a module M such that Hom(F,M) is injective and Ext^i(F,M)=0 for all ige 1 is injective. A limited version of this characterization is also proved for certain non-noetherian rings.









This page was built for publication: Tests for injectivity of modules over commutative rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364374)