Injective modules under faithfully flat ring extensions

Étale and flat extensions; Henselization; Artin approximation (13B40) Injective and flat modules and ideals in commutative rings (13C11) Injective modules, self-injective associative rings (16D50)

Abstract: Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its completion, but it is close: It is a special case of our main theorem that in this setting, an R-module N with Ext^i(S,N)=0 for all i>0 is injective if Hom(S,N) is an injective S-module.

Review text

Let \(\mathbf{R}\text{Hom}_R(-, N)\) and \(\text{id}_R(N)\) denote the right derived homomorphism functor and the injective dimension of \(N\), respectively. Also, assume that \(S\) is a flat \(R\)-algebra in which \(R\) is a Noetherian ring. In the paper under review, the authors prove that if every flat module has finite projective dimension, then NEWLINE\[NEWLINE\text{id}_R(N)\geq \text{id}_S \mathbf{R}\text{Hom}_R(S, N)\geq \text{id}_R \mathbf{R}\text{Hom}_R(S, N);NEWLINE\]NEWLINE moreover, equalities hold if \(S\) is a faithfully flat \(R\)-algebra. So, in particular, the injectivity of \(\text{Hom}_R(S, N)\) and the vanishing of the functor \(\text{Ext}_R^n(-,N)\) on \(S\), for every \(n\geq 1\) implies the injectivity of \(N\).

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Injective modules under faithfully flat ring extensions

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