Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
66 5. LOCALIZATION<br />
(2) For a prime ideal Q ⊂ U −1 R the contracted ideal Q ∩ R is a prime ideal<br />
and the extended (Q ∩ R)U −1 R = Q<br />
Pro<strong>of</strong>. Conclusion by 4.3.6, 4.3.7, 4.3.8.<br />
5.1.6. Corollary. Let R be a ring and U a multiplicative subset.<br />
(1) An ideal maximal among the ideals disjoint from U is a prime ideal.<br />
(2) Any ideal disjoint from U is contained in a prime ideal disjoint form U.<br />
Pro<strong>of</strong>. The prime ideals disjoint from U are the prime ideals in U −1 R.<br />
5.1.7. Proposition. The nilradical <strong>of</strong> a ring R is the intersection <strong>of</strong> all prime ideals<br />
P .<br />
√ <br />
0 = P<br />
Pro<strong>of</strong>. By 1.3.8 the nilradical is contained in any prime ideal. Suppose u ∈ R is<br />
not nilpotent. Then {u n } −1 R is nonzero. Then contraction <strong>of</strong> a maximal ideal,<br />
5.1.1, is a prime ideal in R not containing u.<br />
5.1.8. Corollary. Let R be a ring.<br />
(1) The radical <strong>of</strong> an ideal I is the intersection <strong>of</strong> all prime idealsP containing I<br />
√ <br />
I = P<br />
P<br />
I⊂P<br />
(2) For ideals I, J ⊂ R, √ I ∩ J = √ I ∩ √ J.<br />
(3) If U is a multiplicative subset, then U −1√ 0 = √ 0 in U −1 R.<br />
If R is reduced, then U −1 R is reduced.<br />
Pro<strong>of</strong>. (1) Use 5.1.7 on the factor ring R/I. (2) This follows from (1). (3) Use the<br />
correspondence 5.1.5.<br />
5.1.9. Definition. A prime ideal minimal for inclusion among prime ideals is a<br />
minimal prime ideal.<br />
5.1.10. Proposition. Any prime ideal <strong>of</strong> Q ⊂ R contains a minimal prime ideal<br />
P ⊂ Q.<br />
Pro<strong>of</strong>. The set <strong>of</strong> prime ideals in R is ordered by inclusion. Given a decreasing<br />
chain Pα then ∩Pα is a prime ideal. Conclusion by Zorn’s lemma.<br />
5.1.11. Corollary. Let R ⊂ S be a subring and P ⊂ R a minimal prime ideal.<br />
Then there is a minimal prime ideal Q ⊂ S contracting to P = Q ∩ R.<br />
5.1.12. Exercise. (1) Let K ⊂ R be an infinite subfield and I, P1, . . . , Pn any ideals.<br />
Show that if I ⊂ P1 ∪ · · · ∪ Pn then I ⊂ Pi for some i.<br />
(2) Let P, P1, P2 be proper ideals. Show that if P is a maximal ideal and P n ⊂ P1 ∪ P2<br />
then P = P1 <strong>of</strong> P = P2.