Corollary 2
Tag 0DC5, permanent. Cite it as [Bourbaki, Tag 0DC5].
Commutative Algebra, chapter X, § 9. Modules dualisants
Suppose that the ring is presentable. The set of prime ideals of such that is a Gorenstein ring is open in .
Let be a prime ideal of such that is a Gorenstein ring. Then it is a Macaulay ring; replacing if necessary by , where is a suitable element of , one is reduced to the case where is a Macaulay ring (, No. 4, Proposition 7, c)). Let be a dualizing -module (No. 3, Corollary 3 of Proposition 6). Then is a dualizing module over the Gorenstein ring (No. 1, Proposition 2), hence is free of rank 1 (Corollary 1). It follows that there exists an element of such that the -module is free of rank 1 (II, , No. 1, Corollary of Proposition 2). Thus is a Gorenstein ring (Corollary 1) and the same is true of for every prime ideal of not containing (, No. 7, Example 1), which proves the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.