Example 3
Tag 0DAV, permanent. Cite it as [Bourbaki, Tag 0DAV].
Commutative Algebra, chapter X, § 8. Dualité des modules de longueur finie
Let be an -module and an integer such that is zero for and has length 1 for . Set for every -module of finite length and for every -linear mapping between -modules of finite length. Then for every -module of finite length and every , and conditions FD 1) to FD 5) are satisfied: it is enough, in fact, to apply the preceding example to the case where is the canonical injective resolution of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.