Bourbaki

Corollary

Tag 0DBW, permanent. Cite it as [Bourbaki, Tag 0DBW].

Commutative Algebra, chapter X, § 9. Modules dualisants

Let AA be a noetherian ring admitting a dualizing module Ω\Omega; let BB be a polynomial algebra over AA in a finite number of indeterminates. The BB-module Ω(B)\Omega_{(B)} is dualizing.

Indeed, for every prime ideal p\mathfrak{p} of AA, the ring κ(p)⊗AA[X]\kappa(\mathfrak{p}) \otimes_A A[X] is identified with κ(p)[X]\kappa(\mathfrak{p})[X], 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.

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