Example 4
Tag 0DCQ, permanent. Cite it as [Bourbaki, Tag 0DCQ].
Commutative Algebra, chapter X, § 10. Cohomologie locale, dualité de Grothendieck
Let A be a noetherian local integral ring; let K denote its field of fractions, and suppose that . It is an injective A-module (A, X, p. 18, example 1), so that the module is zero (example 1). From the exact sequence , one obtains for every an isomorphism .
More generally, for every torsion-free A-module M and every integer , one deduces from the exact sequence
an isomorphism .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.