Proposition 6
Tag 0CNE, permanent. Cite it as [Bourbaki, Tag 0CNE].
Commutative Algebra, chapter VIII, § 3. Dimension des anneaux noethériens
Let A be a noetherian ring of dimension , and h an integer such that .
a) A possesses an infinity of prime ideals of height h.
b) If A is finite-dimensional, it possesses an infinity of prime ideals p such that and .
Since the dimension of A is the least upper bound of the heights of the prime ideals of A (, no. 3, prop. 8), since every prime ideal of A is of finite height (no. 1, cor. 1 of prop. 2), and since , there exists an integer and a prime ideal p of height n, hence a chain of prime ideals of length n. One has for , whence for every prime ideal r of A such that is a chain. The set E of these ideals is infinite by prop. 5, whence a).
If is of finite dimension, one may suppose that one has in the foregoing. For every ideal , one has , whence , and since is a chain of length , one has .
There exist non-noetherian integral rings of dimension 2 possessing only one prime ideal of height 1, for example a valuation ring of height 2 (VI, § 4, no. 4, prop. 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.