{"id":50,"date":"2017-04-01T03:11:46","date_gmt":"2017-03-31T19:11:46","guid":{"rendered":"http:\/\/colliot.me\/?p=50"},"modified":"2017-11-20T07:13:29","modified_gmt":"2017-11-19T23:13:29","slug":"discussion-on-exercises-of-commutative-algebra-i","status":"publish","type":"post","link":"https:\/\/colliot.org\/en\/2017\/04\/discussion-on-exercises-of-commutative-algebra-i\/","title":{"rendered":"Discussion on Exercises of Commutative Algebra (I)"},"content":{"rendered":"

<\/p>\n

    \n

  1. \nUnits<\/b><\/span>, nilpotents<\/b><\/span>, and idempotents <\/b><\/span>lift from A\/\\mathfrak{N}<\/span> to A<\/span>.Proof:<\/span>\u00a0<\/span>Units<\/span><\/b> and nilpotents<\/b><\/span> are obvious. In fact they lift to any of their representatives.
    \nFor idempotents<\/b><\/span>, if x^2=x\\in A\/\\mathfrak{N}<\/span>, then (1-x)x=0 \\in A\/\\mathfrak{N}<\/span>, so (1-x)^kx^k=0\\in A<\/span> for sufficiently large k<\/span>. And (1-x)^k+x^k=1-x+x=1\\in A\/\\mathfrak{N}<\/span>, so lifts to a unit (1-x)^k+x^k<\/span>. Moreover, its inverse u=1\\in A\/\\mathfrak{N}<\/span>. So (ux)^k(u(1-x))^k=0,ux^k+u(1-x)^k=1\\in A<\/span> and ux=x,u(1-x)=1-x\\in A\/\\mathfrak{N}<\/span>.
    \nThis can be interpreted by sheaf theory, which is to be discussed in later posts.\u00a0<\/span><\/li>\n
  2. Prime ideals of A_1\\times...\\times A_n<\/span> is of the form A_1\\times...\\times p_i\\times ... \\times A_n<\/span>, where p_i<\/span> is a prime ideal of A_i<\/span>. What about countable products<\/b>? (Profinite exists. Boolean Ring)
    \n
    \nProof:<\/b>\u00a0Multiplying by (0,...,1,...,0)<\/span> we see I=I_1\\times...\\times I_n<\/span>. Then (A_1\\times...\\times A_n)\/I=A_1\/I_1\\times...\\times A_n\/I_n<\/span>. It is a domain iff n-1<\/span> factors are 0<\/span> and the other is a domain. Actually the index set does not matter, as this is a product. Direct sums<\/span><\/b> are of interest, and we will discuss it later.
    \nThe projection onto each factor corresponds geometrically to inclusion into the disjoint union. Multiplication by (0,...,1,...,0)<\/span> means restrict the function to i<\/span>-th component. The above demonstrates that ideals of a product works independently<\/span><\/b> on factors, and so the subset is irreducible, iff it is restricted in one part, and irreducible there.<\/li>\n
  3. \n
      \n
    1. Let f:A\\rightarrow B<\/span> be surjective. Then f(\\mathfrak{R}(A))\\subseteq\u00a0\\mathfrak{R}(B)<\/span>. The inclusion may be strict. What about \\mathfrak{N}<\/span>?<\/li>\n
    2. If A<\/span> is semilocal then the above is an equality.<\/li>\n<\/ol>\n

      Proof:<\/b><\/p>\n

        \n
      1. Since 1+f^{-1}(b) a<\/span> is invertible, so is 1+b f(a)<\/span> for all b\\in B<\/span>. Let f<\/span> be the quotient map from a domain<\/span><\/b> A<\/span> by some principle ideal generated by a power<\/span><\/b>. Then \\mathfrak{R}\\supseteq\u00a0\\mathfrak{N}\\supsetneq (0)=f(\\mathfrak{R}(A))<\/span>.
        \nFor non-surjective<\/span><\/b> morphisms, the two thing may have no relation at all. For example, let A<\/span> be a local domain<\/span><\/b> and f<\/span> the embedding into B<\/span>, its field of fractions. Then f(\\mathfrak{R}(A))=\\mathfrak{R}(A)<\/span> is very large but \\mathfrak{R}(B)=0<\/span>.
        \nSince prime ideals always pull back, we always have\u00a0f(\\mathfrak{N}(A))\\subseteq\u00a0\\mathfrak{N}(B)<\/span>. For Jacobson radicals, the reason actually is the same since when f<\/span> is surjective, maximal ideals pull back. This is like saying, if a function vanishes on every closed point, then it vanishes on every closed point of a closed subset. If it vanishes on every point, then its pullback vanishes on every point. In the polynomial case, since \\mathfrak{N}=\\mathfrak{R}<\/span>, this reduces to trivial intuition.<\/li>\n
      2. Denote the kernel by I<\/span> and the collection of maximal ideals \\mathcal{M}<\/span>. It is equivalent to \\cap_{\\mathfrak{m} \\in\\mathcal{M}}\\mathfrak{m}\u00a0+ I=\\cap_{\\mathfrak{m}\\supseteq I}\\mathfrak{m}<\/span><\/span>. Passing to A\/\\cap_{\\mathfrak{m}\u00a0\\in\\mathcal{M}} \\mathfrak{m}\\cong \\prod_{\\mathfrak{m}\u00a0\\in\\mathcal{M}}\u00a0 A\/\\mathfrak{m}<\/span>, it is equivalent to I=\\cap_{\\mathfrak{m}\\supseteq I}\\mathfrak{m}<\/span>. This is a product of fields, so by 2.<\/i><\/b> above, all ideals are products of the whole field or 0<\/span>. I<\/span> has 0<\/span> in the components of \\mathfrak{m}\\supseteq I<\/span> while k_i<\/span> otherwise, which is exactly equal to \\cap_{\\mathfrak{m}\\supseteq I}\\mathfrak{m}<\/span>. This does not work when |\\mathcal{M}|<\/span> is infinite, because then Chinese remainder theorem does not hold.
        \nContinuing the discussion of a.<\/i><\/b>, this is saying if in addition closed points are finite, then a function vanishing on a subset of them must be induced by some function vanishing on all of them. Taking the example of \\mathbb{Z}<\/span>, p<\/span> vanishes on the single point \\mathrm{Spec}(\\mathbb{Z}\/p^2\\mathbb{Z})<\/span>, but cannot be induced by some elements vanishing on all of \\mathrm{Spec}\\mathbb{Z}<\/span>: such elements must be 0<\/span>. This happens because we fail to let it vanish at all other primes simultaneously: infinite product does not make sense. However in \\mathrm{Spec}(\\prod_{p=2,3,5,...}\\mathbb{Z}\/p^2\\mathbb{Z})<\/span>, this holds, as we can always pull back to (2,3,5,...)<\/span>.<\/li>\n<\/ol>\n<\/li>\n
      3. An integral domain A<\/span> is a UFD iff both<\/b> of the following are satisfied:\n
          \n
        1. Every irreducible element is prime.<\/li>\n
        2. Principle ideals satisfy A.C.C.<\/li>\n<\/ol>\n


          \nProof:<\/b>\u00a0For UFDs, it is crystal clear that these are satisfied. Conversely, we can easily split a<\/span> into a finite product of irreducible elements, by A.C.C.. The product is unique because irreducibles are prime.\u00a0We should care about the cases when irreducible element is not prime.<\/b><\/li>\n

        3. Let \\{P_{\\lambda}\\}_{\\lambda\\in\\Lambda}<\/span> be a non-empty totally ordered (by inclusion) family of prime ideals. Then \\cap P_{\\lambda}<\/span> is prime. Thus for any ideal I<\/span>, there is some minimal<\/span><\/b> prime ideal containing I<\/span>.
          \nProof:<\/b>\u00a0If ab\\in\\cap P_{\\lambda}<\/span>, then for all \\lambda<\/span>, either a,b<\/span> is in P_{\\lambda}<\/span>. So the one of the collections of primes containing a<\/span> and b<\/span> respectively is not bounded below<\/b><\/span>. Thus either of a,b<\/span> is in the intersection. The corollary then follows from Zorn’s lemma<\/i><\/b>.<\/li>\n
        4. Let A<\/span> be a ring, P_1,...,P_r<\/span> ideals. Suppose r-2<\/span> of them are prime. Then if I\\subseteq \\cup_i P_i<\/span>, then \\exists i:I\\subseteq P_i<\/span>.
          \nProof:<\/b>\u00a0This is mysterious. Proof is not hard, but I do not know why. I will write when I know its meaning or usage.<\/li>\n
        5. In a ring A<\/span>, if every ideal I\\subsetneq \\mathfrak{N}<\/span> contains a nonzero idempotent, then \\mathfrak{N}=\\mathfrak{R}<\/span>.
          \nProof:<\/b>\u00a0Notice when A<\/span> is reduced<\/b><\/span>, this amounts to say if every ideal contains a nonzero idempotent, then \\mathfrak{R}=0<\/span>: If a\\ne 0<\/span>, then (a)<\/span> contains a nonzero idempotent e=ka<\/span>, with e(1-e)=0<\/span>, so 1-ka<\/span> is not a unit, and a\\notin R<\/span>. The general case follows by passing to A\/\\mathfrak{N}<\/span><\/span><\/b>. But this is more like an awkward exercise.<\/li>\n
        6. A local ring contains no idempotents \\ne 0,1<\/span>.
          \nProof: Otherwise it would split<\/span><\/b> as a direct product. By 2.<\/i><\/b> above, it has at least two maximal ideals. Geometrically, a local picture cannot be a disjoint union.<\/li>\n
        7. The ideal \\mathfrak{Z}<\/span> of zero-divisors is a union of prime ideals.
          \nProof: Non-zero-divisors form a multiplicative set<\/span>: If a,b<\/span> are not zero-divisors, and a b x=0<\/span>, we have b x=0<\/span> and x =0<\/span>. The primes in the localization with respect to this set corresponds exactly to primes consisting of zero-divisors. Everything is clear. This is similar to the case of non-nilpotent elements is out of some prime ideals, or that localization with respect to a prime ideal is local.<\/li>\n<\/ol>\n

          The topics are from\u00a0Matsumura, H. (June 30, 1989). “Chapter 1: Commutative Rings and Modules”. Commutative Ring Theory. Cambridge University Press. p. 6. ISBN 978-0-521-36764-6. and\u00a0Atiyah, M. F.; MacDonald, I. G. (February 21, 1994). “Chapter 1: Rings and Ideals”. Introduction to Commutative Algebra. Westview Press. p. 11. ISBN 978-0-201-40751-8.<\/u><\/p>\n

          Friday, August 2, 2013<\/p>\n

          <\/p>","protected":false},"excerpt":{"rendered":"

          Sorry, this entry is only available in \u4e2d\u6587. For the sake of viewer convenience, the content is shown below in the alternative language. You may click the link to switch the active language. Units, nilpotents, and idempotents lift from to .Proof:\u00a0Units and nilpotents are obvious. In fact they lift to any of their representatives. For … Continue reading “Discussion on Exercises of Commutative Algebra (I)”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[8],"tags":[],"_links":{"self":[{"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/posts\/50"}],"collection":[{"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/comments?post=50"}],"version-history":[{"count":3,"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/posts\/50\/revisions"}],"predecessor-version":[{"id":420,"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/posts\/50\/revisions\/420"}],"wp:attachment":[{"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/media?parent=50"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/categories?post=50"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/colliot.org\/en\/wp-json\/wp\/v2\/tags?post=50"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}