Example 2
Tag 0DBH, permanent. Cite it as [Bourbaki, Tag 0DBH].
Commutative Algebra, chapter X, § 9. Modules dualisants
For a noetherian ring to be Gorenstein, it is necessary and sufficient that the -module be dualizing ( 3, No. 7, prop. 11). In particular, the -module is dualizing when is regular.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.