Remark (1)

Tag 0538, permanent. Cite it as [Bourbaki, Tag 0538].

Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains

Let $M$ be a finitely generated $A$ -module; it is immediate that the dual $M^*$ of $M$ , identified with a sub- $A$ -module of $\operatorname{Hom}_A(M, K)$ is a lattice of the vector $K$ -space $\operatorname{Hom}_A(M, K)$ ; in particular, every finitely generated reflexive $A$ -module is isomorphic to a lattice of a suitable vector $K$ -space.

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

Cited by

Proposition 22, § 4

Cites

Nothing.