If is Noetherian and are prime ideals, there are infinitely many primes strictly between and . After quotienting by and localizing at , this reduces to a local Noetherian domain of dimension at least two. If it had only finitely many height-one primes, prime avoidance would give a nonzero element of the maximal ideal outside all of them, contradicting the Krull principal ideal theorem.
If a Noetherian ring has finite Krull dimension , then it has infinitely many prime ideals of each height with . In a prime chain of maximal length, apply prime ideals between a three-prime chain to the terms of heights , , and .
Articles by others on the same topic
There are currently no matching articles.