Example 1
Tag 0DBG, permanent. Cite it as [Bourbaki, Tag 0DBG].
Commutative Algebra, chapter X, § 9. Modules dualisants
If the ring is local and artinian, the dualizing -modules are the finitely generated injective -modules such that is of dimension 1 ( 3, No. 3, prop. 6), that is to say the Matlis -modules ( 8, No. 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.