Corollary 2
Tag 0DC0, permanent. Cite it as [Bourbaki, Tag 0DC0].
Commutative Algebra, chapter X, § 9. Modules dualisants
If a noetherian ring has a dualizing module, every finitely generated -algebra which is a Macaulay ring has a dualizing module.
This results from cor. 1 and the cor. of prop. 5.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.