Bourbaki

Exercise 3, § 4

Commutative Algebra, VII, 571

Let AA be an integrally closed Noetherian domain, KK its field of fractions, MM a reflexive lattice of a vector space of finite rank over KK and LL a free lattice of VV containing MM. Show that there exists a free lattice L0L_0 of VV such that M=L∩L0M = L \cap L_0. (Consider the finite set II of prime ideals p\mathfrak{p} of AA of height 1 such that L0≠MpL_0 \neq M_\mathfrak{p} and the principal ideal domain S−1AS^{-1}A, where S=⋂p∈I(A−p)S = \bigcap_{\mathfrak{p} \in I} (A - \mathfrak{p}); show that there exist a free lattice L0L_0 of VV such that M0=(L0)pM_0 = (L_0)_\mathfrak{p} for all p∈I\mathfrak{p} \in I and an s∈Ss \in S such that M⊂s−1L0⊂L1M \subset s^{-1}L_0 \subset L_1.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.