Proposition 2
Tag 0DBL, permanent. Cite it as [Bourbaki, Tag 0DBL].
Commutative Algebra, chapter X, § 9. Modules dualisants
Let A be a noetherian ring, a dualizing A-module. For every prime ideal of A, the -module is dualizing.
Consider a saturated chain of prime ideals of A such that the ideal is maximal. Reasoning by induction on , one may suppose that the -module is dualizing. Replacing A by and by , one is reduced to the case where the ring A is local and where the chain is saturated.
Put then . One has since A is a Macaulay ring (§ 2, No. 2, cor. of prop. 2). For every integer , the -module is isomorphic to (§ 3, No. 2, prop. 2); it is therefore enough to prove that the -module vanishes for and is of rank one for .
Let be an element of , and its class in . Consider the exact sequence of A-modules
The A-module is of finite length since its support is reduced to ; since the A-module is dualizing, one has for (, No. 5, example 3). It then follows from the exact sequence of extension modules associated with the sequence above and with that the homothety of ratio in the A-module is surjective for , which implies that this module is zero (Nakayama lemma). In particular is zero, and one obtains an exact sequence
One has (loc. cit.); the proposition then follows from the following lemma, applied to the ring and the B-module :
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.