Remark 1
Tag 0DBI, permanent. Cite it as [Bourbaki, Tag 0DBI].
Commutative Algebra, chapter X, § 9. Modules dualisants
Let be a local noetherian ring and a finitely generated -module. The residue field identifies with , and the -module with (III, 3, No. 4, th. 3). It then follows from A, X, p. 111, prop. 10 that the -vector space is canonically isomorphic to . Consequently, for the -module to be dualizing, it is necessary and sufficient that the -module be dualizing.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.