Bourbaki

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 A≠KA \neq K. It is an injective A-module (A, X, p. 18, example 1), so that the module HA(K)H_A(K) is zero (example 1). From the exact sequence 0→A→K→K/A→00 \to A \to K \to K/A \to 0, one obtains for every ii an isomorphism HAi(K/A)→HAi+1(A)H_A^i(K/A) \to H_A^{i+1}(A).

More generally, for every torsion-free A-module M and every integer ii, one deduces from the exact sequence

0→M→K⊗AM→(K/A)⊗AM→0 0 \to M \to K \otimes_A M \to (K/A) \otimes_A M \to 0

an isomorphism HAi((K/A)⊗AM)→HAi+1(M)H_A^i((K/A) \otimes_A M) \to H_A^{i+1}(M).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.