Example 3
Tag 0DCP, permanent. Cite it as [Bourbaki, Tag 0DCP].
Commutative Algebra, chapter X, § 10. Cohomologie locale, dualité de Grothendieck
Let be a dualizing A-module. For , one has for every ideal of definition of A (§ 8, No. 5, example 3), whence ; for , the A-module , which is isomorphic to , is a Matlis module (loc. cit., example 6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.