a characterization of the radical of an ideal
Proposition 1.
Let be an ideal in a ring , and be its radical. Then is the intersection
of all prime ideals
containing .
Proof.
Suppose , and is a prime ideal containing . Then is an -system (http://planetmath.org/MSystem). If , then , contradicting the assumption that . Therefore . In other words, , and we have one of the inclusions.
Conversely, suppose . Then there is an -system containing such that . Enlarge to a prime ideal disjoint from , so that (we can do this; for a proof, see the second remark in this entry (http://planetmath.org/MSystem)). By contrapositivity, we have the other inclusion.∎
Remark. This shows that every prime ideal is a radical ideal: for is the intersection of all prime ideals containing , and if is itself prime, then .