Corollary
Tag 052Z, permanent. Cite it as [Bourbaki, Tag 052Z].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
Suppose that A is Noetherian; for a sub-A-module M of V to be a lattice of V, it is necessary and sufficient that KM = V and M be finitely generated.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.