Math 210C Lecture 2 Notes

Math 210C Lecture 2 Notes

Math 210C Lecture 2 Notes Daniel Raban April 3, 2019 1 Primary Decomposition of Ideals 1.1 Primary decomposition of ideals in noetherian rings Recall that anp ideal I of a commutative ring R is primary if whenever ab 2 I, either a 2 I or b 2 I.A primary decomposition of an ideal I is a collection fq1;:::; qng of Tn T p p primary ideals of R with i=1 qi = I. It is minimal if qi 6⊇ j6=i qj and qi 6= qj for all i 6= j. Definition 1.1. An ideal is decomposible if it has a primary decomposition. Lemma 1.1. If I is decomposable, then it has a minimal primary decomposition. Definition 1.2. A proper ideal I is irreducible if for any two ideals a and b with I = a\b, either I = a or I = b. Proposition 1.1. Let R be noetherian. Then every irreducible ideal is primary. Proof. Let I ⊆ R be irreudicble. Let a; b 2 I with b2 = I. For each n ≥ 1, let Jn = fr 2 n R : a r 2 Ig be an ideal of R. Notice that Jn ⊆ Jn+1 for all n. By the ascending chain condition, there exists N such that Jn = Jn+1 for all n ≥ N. Let a = (aN ) + I, b = (b) + I. We claim that a \ b = I. Let c 2 a \ b. Then c = anr + q with r 2 R and q 2 I since c 2 a, and ac 2 (ab) + U ⊆ (ab) + I, since c 2 b. Since ab 2 I, N+1 N+1 N ac 2 I. Note that ac = a r + aq 2 I, so a r 2 I. So r 2 JN+1 = JN . Then a r 2 I, so c 2 I. So a \ b = I. p Since b2 = I, we gmust have a = I, so aN 2 I. That is, a 2 I. So I is primary. Proposition 1.2. Let R be noetherian. Then every proper ideal of R is a finite intersection of irreducible ideals. Proof. Let X be the collection of proper ideals I ( R such that I is not a finite intersection of irreducible ideals. We want to show that X is empty. Since R is noetherian, every chain in X has a maximal element. By Zorn's lemma, either Z = ? or X has a maximal element 1 m. Since m 2 X, it is not irreducible. So there exist ideals a; b of R properly containing m with a\b = m. By the maximality of m in X, a and b can be written as finite intersections of irreducible ideals, and thus so can m. This is a contradiction, so X = ?. Corollary 1.1 (primary decomposition theorem). In a noetherian ring, every proper ideal is decomposable. 1.2 Uniqueness of associated primes p Recall that if q ( R primary, then q = p is called the associated prime to q. Tn p Definition 1.3. If I = i=1 qi is a minimal primary decomposition, then qi is an asso- ciated prime of I (relative to this decomposition). Definition 1.4. An isolated prime of I is a minimal element under inclusion in the set of associated primes to I. Here are examples of primary decompositions. Example 1.1. Let (xy2) ⊆ F [x; y]. Then (xy2) = (x) \ (y2) is a primary decomposition. The associated primes are (x) and (y) and are isolated. Example 1.2. Let I = (xy; y2) ⊆ F [x; y]. Then (xy; y2) = (x; y)2 \ (y). We have another decomposition (xy; y2) = (x; y2) \ (y). The associated primes are (a; y) and (y). Here, (y) is isolated. Lemma 1.2. Let I ⊆ R be an ideal. Sk 1. Let p1;:::; pk be prime ideals of R. If I ⊆ i=1 pi, then I ⊆ pi for some i. Tk 2. Let a1; : : : ; ak be ideals of R. If p is prime and p ⊇ i=1 pi, then p ⊇ pi for some i. Theorem 1.1. Let I be a decomposable ideal of R. Then the set of associated primes to a minimal primary decomposition of I is independent of the decomposition. Proof. Let fq1; : : : ; qkg be a primary decomposition of I. For a 2 R, let Ia = fr 2 R : ra 2 Sk p Ig be an ideal of R. Then Ia = i=1(qi)a. Let pi − qi for all i. Then (qi)a = R if a 2 qi p p T p Tk and (qi)a = pi if a2 = qi (exercise using qi is pi-primary). So Ia = (qi)a = i=1 pi. a=2qi For any i, we may choose a 2 T q with a2 = q (by the minimality of fq ;:::; q g). So p j6=i pj i p 1 k pIa = pi. For any a 2 R such that I is prime, by the lemma, Ia ⊇ pi for some I. So Ia = pi. Thus, the pi are uniquely determined by I. 2.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    2 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