Corollary 2
Tag 0DBO, permanent. Cite it as [Bourbaki, Tag 0DBO].
Commutative Algebra, chapter X, § 9. Modules dualisants
The support of is equal to Spec(A).
Indeed a dualizing module over a local ring is nonzero by definition.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.