Krull's separation lemma

Krull's separation lemma is a result in commutative algebra and algebraic geometry that concerns the behavior of prime ideals in a Noetherian ring.