Corollary
Tag 0DC7, permanent. Cite it as [Bourbaki, Tag 0DC7].
Commutative Algebra, chapter X, § 9. Modules dualisants
If the -module is Macaulay, the homomorphism is bijective.
If is Macaulay, the -module is zero for (No. 1, cor. of prop. 3), so that the canonical injection is a homologism; hence the morphism of complexes is a homologism (A, X, p. 86, prop. 4). Thus is bijective; on the other hand is bijective by th. 1, whence the corollary.
When the -module is of finite length, the -module identifies with the Matlis dual of ( § 8, No. 5, example 3 and th. 3), and one recovers prop. 4 of § 8, No. 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.