Krull's separation lemma
In abstract algebra, Krull's separation lemma is a lemma in ring theory. It was proved by Wolfgang Krull in 1928.
Statement of the lemma
Let be an ideal and let be a multiplicative system in a ring, and suppose. Then there exists a prime ideal satisfying and.