Corollary
Tag 0DBW, permanent. Cite it as [Bourbaki, Tag 0DBW].
Commutative Algebra, chapter X, § 9. Modules dualisants
Let be a noetherian ring admitting a dualizing module ; let be a polynomial algebra over in a finite number of indeterminates. The -module is dualizing.
Indeed, for every prime ideal of , the ring is identified with , which is regular, hence Gorenstein.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.