Bourbaki

Example 1

Tag 0DBG, permanent. Cite it as [Bourbaki, Tag 0DBG].

Commutative Algebra, chapter X, § 9. Modules dualisants

If the ring AA is local and artinian, the dualizing AA-modules are the finitely generated injective AA-modules Ω\Omega such that HomA(κA,Ω)\mathrm{Hom}_A(\kappa_A, \Omega) is of dimension 1 (§\S 3, No. 3, prop. 6), that is to say the Matlis AA-modules (§\S 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.

Translated with machine help, not yet reviewed by a person.