Remark
Tag 053G, permanent. Cite it as [Bourbaki, Tag 053G].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
Let be a free lattice of with respect to . Since is a principal ideal domain for , is a free -module of the same rank as and there exists such that ; this condition moreover determines to within right multiplication by an element of . The condition for almost all means that necessarily for almost all . The families satisfying the latter property form a multiplicative group containing as subgroup the product . Theorem 3 then shows that the set of reflexive lattices of V is in canonical one-to-one correspondence with the homogeneous space . If a basis of L over A is chosen, (resp. ) is identified with the group of invertible matrices (resp. ) and the group with the group of systems of matrices of order , , such that for all and for almost all . If A is a Dedekind domain, the group is also identified with the group , where A is the ring of restricted adèles (, no. 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.