Krull's separation lemma (source code)

= Krull's separation lemma
{wiki=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.