Corollary
Tag 04BY, permanent. Cite it as [Bourbaki, Tag 04BY].
Commutative Algebra, chapter II, § 5. Finitely generated projective modules. Invertible fractional ideals
If and are two non-degenerate sub-A-modules of , the A-modules and are non-degenerate.
The assertion is trivial for ; on the other hand if and , then and .
Given two sub-A-modules and of , let us denote by the sub-A-module of consisting of those such that (Chapter I, , no. 10, Remark). If every is mapped to the homomorphism of to , a canonical homomorphism is obtained from to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.