Prime ideals between a three-prime chain
ID: prime-ideals-between-a-three-prime-chain
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.
New to topics? Read the docs here!