1.2. Prime Ideals. Definition 1.12. a Prime Ideal Is a Proper Ideal Whose Complement Is Closed Under Multiplication. This Is

1.2. Prime Ideals. Definition 1.12. a Prime Ideal Is a Proper Ideal Whose Complement Is Closed Under Multiplication. This Is

4 MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 1.2. prime ideals. Definition 1.12. A prime ideal is a proper ideal whose complement is closed under multiplication. This is equivalent to saying: ab p a p or b p ∈ ⇐⇒ ∈ ∈ Proposition 1.13. An ideal a is prime iff A/a is an integral domain (ring in which D = 0). In particular, maximal ideals are prime. Corollary 1.14. For any ring homomorphism f : A B (which by 1 → definition sends 1 to 1), f − (p) is prime for any prime p B. ⊂ Definition 1.15. The radical of an ideal is defined to be r(a) := x A xn a for some n 1 { ∈ | ∈ ≥ } Thus, r(0) = nilrad A. Exercise 1.16 (A-M 1.13). Prove the following (1) r(r(a)) = r(a) (2) r(ab) = r(a b) = r(a) r(b). Recall that a product of ideals ab is defined∩to be the ideal∩ generated by all products ab where a a, b b. (3) If ∈p is prime∈ then r(pn) = p. Theorem 1.17 (A-M 1.8). The nilradical is the intersection of all prime ideals of A: r(0) = nilrad A = p Corollary 1.18 (A-M 1.14). The radical!of an ideal a is equal to the intersection all primes containing a: r(a) = p p a !⊇ The proof of this well-known theorem uses properties of unions of prime ideals. 1.2.1. unions of prime ideals. The question is: Which sets are unions of prime ideals? Definition 1.19. A multiplicative set in A is a subset S A which contains 1, does not contain 0 and is closed under multiplication⊂ . For example, the complement of a prime ideal is a multiplicative set. Lemma 1.20. Let S be a multiplicative set and let a be an ideal which is disjoint from S and maximal with this property. Then a is prime. MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 5 Theorem 1.21. Let X be a nonempty proper subset of A. Then X is a union of prime ideals if and only if it satisfies the following condition. (1.1) ab X either a X or b X. ∈ ⇐⇒ ∈ ∈ Furthermore, any maximal a X is prime. ⊆ Example 1.22 (A-M exercise 1.14). The set D of zero divisors of A is a union of prime ideals. Let’s prove the theorem first, assuming the lemma. Proof of Theorem 1.21. It is clear that any union of primes satisfies condition (1.1). Conversely, suppose that X satisfies (1.1). Then in particular, the complement of X is a multiplicative set. Take any x X. Then (x) X. Let (x) a X where a is maximal with this prop∈ erty. Then a⊆is prime by the⊆ lemma.⊆ So, X is the union of the prime ideals contained in X. ! The proof of the lemma uses the notation: (a : B) := x A xB a { ∈ | ⊆ } for any ideal a and subset B. This is an ideal which contains a. Exercise 1.23 (I-M 1.12(iii)). Show that ((a : b) : c) = (a : bc) = ((a : c) : b) Proof of Lemma 1.20. Suppose that a A S is maximal among the ideals disjoint from S. Suppose that bc⊆ a−and b / a. Then we want to show that c a. Certainly, c (a : b)∈and a (a∈: b). So, it suffices to prove the follo∈ wing: ∈ ⊆ Claim: (a : b) is disjoint from S. By maximality of a this would imply that c (a : b) = a. To prove ∈ this claim, take any x (a : b). Then (a : x) ! a since it contains b / a. So, by maximality of ∈a, S (a : x) is nonempty. Say s S (a :∈x). Then sx a is disjoint from∩ S. So, x / S as claimed. ∈ ∩ ∈ ∈ ! Proof of Theorem 1.17. It is clear that any nilpotent element of A is contained in every prime ideal. Conversely, suppose that f A is not nilpotent. Then S = 1, f, f 2, is a multiplicative set and∈ 0 is an ideal disjoint from S. T{ake a ideal· · · }a disjoint from S and maximal with this property. Then a is prime by the lemma. So, f is not in p. ! " 6 MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 1.2.2. prime avoidance. This is a very important lemma about finite unions of primes. n Proposition 1.24 (A-M 1.11.i). Suppose that X = i=1 pi is a finite union of primes. Let a X. Then a pi for some i. ⊆ ⊆ # Proof. Suppose that a is not contained in any of the ideals p1, , pn. Then we will show by induction on n that a contains an elemen·t·wh· ich is not in any of the pi. The statement is trivial for n = 1 so suppose n = 2. Then a contains an element a / p and another element b / p . We may assume that ∈ 1 ∈ 2 a p2 and b p1. Then a + b a is not in p1 p2 as claimed. ∈Suppose that∈ n 3 and the∈ statement holds∪ for n 1. Then for each i, we can assume≥ that − a " pj j=i $# (otherwise a pj). So, a contains an element ai which is not in pj for any j = i ⊆and we may assume that a p . Since p is prime, the + i ∈ i n product a1 an 1 is also not an element of pn. But it is an element · · · − of p1p2 pn 1. Therefore a1 an 1 + an is an element of a which is · · · − · · · − not contained in any pi. ! The proof only assumes that p3, p4, are prime and p1, p2 are just assumed to be ideals. · · · The other version of prime avoidance is easy. Proposition 1.25 (A-M 1.11.ii). If a prime ideal p contains a finite n intersection of ideals i=1 ai then it contains one of the ideals ai. Exercise 1.26. (1)"Use Zorn’s lemma to show that any nonzero ring has minimal prime ideals. (2) Show that the prime ideals in a product of rings A A 1 × 2 × An have the form A1 Ai 1 p Ai+1 An where· · · × p is prime. (Recall that× · · ·in×a pro− duc× t×of rings,× ·addition· · × and multiplication are coordinate-wise. For example (a , , a )(b , , b ) = (a b , , a b ) 1 · · · n 1 · · · n 1 1 · · · n n Definition 1.27. The annihilator of an ideal a is defined to be: Ann(a) := (0 : a) Exercise 1.28 (A-M 1.15). D = Ann(x) = r(Ann(x)) x=0 x=0 $# $#.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    3 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us