Abstract
Let R be a commutative Noetherian ring. We give criteria for flatness of R-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if R has characteristic p, or more generally if it has a locally contracting endomorphism. Dualizing, we give criteria for injectivity of R-modules in terms of coassociated primes and (h-)divisibility of certain Hom-modules. Along the way, we develop tools to achieve such a dual result. These include a careful analysis of the notions of divisibility and h-divisibility (including a localization result), a theorem on coassociated primes across a Hom-module base change, and a local criterion for injectivity.
Similar content being viewed by others
References
Aberbach I.M., Hochster M., Huneke C.: Localization of tight closure and modules of finite phantom projective dimension. J. Reine Angew. Math. 434, 67–114 (1993)
Angeleri Hügel L., Herbera D., Trlifaj J.: Divisible modules and localization. J. Algebra 294(2), 519–551 (2005)
Avramov L.L., Iyengar S., Miller C.: Homology over local homomorphisms. Am. J. Math. 128(1), 23–90 (2006)
Chambless L.: Coprimary decompositions, N-dimension and divisibility: application to artinian modules. Comm. Algebra 9(11), 1131–1146 (1981)
Divaani-Aazar K., Tousi M.: Some remarks on coassociated primes. J. Korean Math. Soc. 36(5), 847–853 (1999)
Epstein, N., Yao, Y.: Some extensions of Hilbert-Kunz multiplicity. arXiv:1103.4730v1 [math.AC] (2011)
Fuchs L., Salce L.: S-divisible modules over domains. Forum Math. 4(4), 383–394 (1992)
Grothendieck, A.: Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I. Inst. Hautes Études Sci. Publ. Math. (11), 5–167 (1961)
Kaplansky I.: The homological dimension of a quotient field. Nagoya Math. J. 27, 139–142 (1966)
Kirby D.: Coprimary decomposition of artinian modules. J. Lond. Math. Soc. 6(2), 571–576 (1973)
Kunz E.: Characterizations of regular local rings for characteristic p. Am. J. Math. 91, 772–784 (1969)
Macdonald, I.G.: Secondary representation of modules over a commutative ring. In: Symposia Mathematica, vol. XI (Convegno di Algebra Commutativa, INDAM, Rome, 1971), pp. 23–43. Academic Press, London (1973)
Matlis E.: Divisible modules. Proc. Am. Math. Soc. 11, 385–391 (1960)
Matlis E.: Cotorsion modules. Mem. Am. Math. Soc. 49, 1–66 (1964)
Matsumura, H.: Commutative ring theory. No. 8 in Cambridge Studies in Advanced Mathematics. Cambridge Univ. Press, Cambridge (1986). (Translated from the Japanese by M. Reid)
Richardson A.S.: Co-localization, co-support and local homology. Rocky Mountain J. Math. 36(5), 1679–1703 (2006)
Sharp R.Y.: Secondary representations for injective modules over commutative Noetherian rings. Proc. Edinb. Math. Soc. 20(2), 143–151 (1976)
Yassemi S.: Coassociated primes. Comm. Algebra 23(4), 1473–1498 (1995)
Yassemi S.: Weakly associated primes under change of rings. Comm. Algebra 26(6), 2007–2018 (1998)
Zöschinger H.: Linear-kompakte Moduln über noetherschen Ringen. Arch. Math. (Basel) 41(2), 121–130 (1983)
Author information
Authors and Affiliations
Corresponding author
Additional information
N. Epstein was partially supported by a grant from the DFG (German Research Foundation). Y. Yao was partially supported by the National Science Foundation DMS-0700554.
Rights and permissions
About this article
Cite this article
Epstein, N., Yao, Y. Criteria for flatness and injectivity. Math. Z. 271, 1193–1210 (2012). https://doi.org/10.1007/s00209-011-0910-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-011-0910-y
Keywords
- Injective module
- Flat module
- Torsion-free module
- Divisible module
- h-divisible module
- Associated prime
- Coassociated prime