Proposition 1
Tag 0CMQ, permanent. Cite it as [Bourbaki, Tag 0CMQ].
Commutative Algebra, chapter VIII, § 3. Dimension des anneaux noethériens
Let be a noetherian integral domain, a nonzero element of and an element minimal in the set of prime ideals of containing . Then is of height 1.
Let be a prime ideal distinct from . One has in view of the minimal character of . Since is an integral domain, can be identified with a subring of ; for every integer , let denote the ideal of . The minimal character of means that the local ring is of dimension 0; hence it is of finite length (, no 3, example 1), and there exists an integer such that one has
Fix the integer . Given , there exists such that ; one then has , whence since , and finally one has . Hence one has
Since belongs to the maximal ideal of the noetherian local ring , Nakayama's lemma shows that one has . Since one has , one concludes
Since the ring is local and noetherian, one has (III, § 3, no 2, corollary of the prop. 5) whence and finally the prime ideal of is reduced to 0. Hence , which proves that is of height 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.