Lemma 1
Tag 053F, permanent. Cite it as [Bourbaki, Tag 053F].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
Let and be two prime ideals of such that (0) is the only prime ideal of contained in . Then, for every sub-A-module of ,
Let be the multiplicative subset of ; by Chapter II, , no. 3, Proposition 7, . Further, ; the prime ideals of correspond to the prime ideals of such that (Chapter II, , no. 5, Proposition 11) and by hypothesis (0) is the only prime ideal of not meeting ; hence and
We now return to the proof of (ii). If is distinct from the (), Lemma 1 applied to gives , since the and are of height 1. Then
(Chapter II, , no. 4). On the other hand, if is equal to (), then for by the argument as above and , whence
We have therefore proved that for all . Then
is reflexive and satisfies the relations for all ; the uniqueness property follows immediately from Theorem 2 of no. 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.