Remark

Tag 04C0, permanent. Cite it as [Bourbaki, Tag 04C0].

Commutative Algebra, chapter II, § 5. Finitely generated projective modules. Invertible fractional ideals

In particular, $A : M$ is canonically identified with the dual $M^*$ of $M$ , the canonical bilinear form on $M \times M^*$ being identified with the restriction to $M \times (A : M)$ of the multiplication $B \times B \to B$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.