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!