pith. sign in

arxiv: 1508.04639 · v3 · pith:2VV46YFYnew · submitted 2015-08-19 · 🧮 math.AC

Tests for injectivity of modules over commutative rings

classification 🧮 math.AC
keywords injectivecharacterizationcommutativeeverymodulemodulesprovedrings
0
0 comments X
read the original 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 i\ge 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 i\ge 1 is injective. A limited version of this characterization is also proved for certain non-noetherian rings.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.