Abstract
It is proved that a module M over a commutative noetherian ring R is injective if \(\mathrm {Ext}_{R}^{i}((R/{\mathfrak p})_{\mathfrak p},M)=0\) holds for every \(i\geqslant 1\) and every prime ideal \(\mathfrak {p}\) in R. This leads to the following characterization of injective modules: If F is faithfully flat, then a module M such that \({\text {Hom}}_R(F,M)\) is injective and \({\text {Ext}}^i_R(F,M)=0\) for all \(i\geqslant 1\) is injective. A limited version of this characterization is also proved for certain non-noetherian rings.
Similar content being viewed by others
References
Avramov, L.L., Foxby, H.-B.: Homological dimensions of unbounded complexes. J. Pure Appl. Algebra 71(2–3), 129–155 (1991)
Bass, H.: Finitistic dimension and a homological generalization of semi-primary rings. Trans. Am. Math. Soc. 95, 466–488 (1960)
Benson, D., Iyengar, S.B., Krause, H.: Local cohomology and support for triangulated categories. Ann. Sci. Éc. Norm. Supér 41(4), 573–619 (2008)
Benson, D.J., Iyengar, S.B., Krause, H.: Colocalizing subcategories and cosupport. J. Reine Angew. Math. 673, 161–207 (2012)
Benson, D.J., Iyengar, S.B., Krause, H., Pevtsova, J.: Stratification and \(\pi \)-cosupport: finite groups. arxiv:1505.06628 [math.RT] (preprint)
Christensen, L.W., Frankild, A., Holm, H.: On Gorenstein projective, injective and flat dimensions—a functorial description with applications. J. Algebra 302(1), 231–279 (2006)
Christensen, L.W., Köksal, F.: Injective modules under faithfully flat ring extensions. Proc. Am. Math. Soc. 144(3), 1015–1020 (2016)
Christensen, L.W., Iyengar, S.B., Marley, T.: Rigidity of Ext and Tor with coefficients in residue fields of a commutative noetherian ring (in preparation)
Gruson, L., Jensen, C.U.: Dimensions cohomologiques reliées aux foncteurs \({\mathop {\lim }\limits _{\longleftarrow }}^{{\rm (i)}}\). In: Dubreil, P., Malliavin, M.-P. (eds.) Algebra Seminar, 33rd Year (Paris, 1980), Lecture Notes in Mathematics, vol. 867, pp. 234–294. Springer, Berlin (1981)
Jensen, C.U.: On homological dimensions of rings with countably generated ideals. Math. Scand. 18, 97–105 (1966)
Neeman, A.: The chromatic tower for \(D(R)\). Topology 31(3), 519–532 (1992) (with an appendix by Marcel Bökstedt)
Osofsky, B.L.: Upper bounds on homological dimensions. Nagoya Math. J. 32, 315–322 (1968)
Osofsky, B.L.: Homological dimension and cardinality. Trans. Am. Math. Soc. 151, 641–649 (1970)
Acknowledgments
L. W. C. thanks Fatih Köksal for conversations related to this work; the joint paper [7] provided much inspiration. S. B. I. thanks Dave Benson, Henning Krause, and Julia Pevtsova for discussions related to this work. The statement of Theorem 1.1 emerged out of an on-going collaboration with them. We also thank Tom Marley for pointing out an error in an earlier version of Remark 2.3.
Author information
Authors and Affiliations
Corresponding author
Additional information
We thank the Centre de Recerca Matemàtica, Barcelona, for hospitality during visits in Spring 2015, when part of the work reported in this article was done. L. W. C. was partly supported by NSA Grant H98230-14-0140, and S. B. I. was partly supported by NSF Grant DMS-1503044.
Rights and permissions
About this article
Cite this article
Christensen, L.W., Iyengar, S.B. Tests for injectivity of modules over commutative rings. Collect. Math. 68, 243–250 (2017). https://doi.org/10.1007/s13348-016-0176-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13348-016-0176-0