Math101b Notesb6: Local Rings

Math101b Notesb6: Local Rings

MATH 101B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA 39 6. Local rings Our last topic in commutative algebra is local rings. I first went over the basic definitions, talked about Nakayama’s Lemma and I plan to do discrete valuation rings and then more general valuation rings and then return to places in fields. All rings are commutative with 1. They might not be Noetherian. 6.1. Basic definitions and examples. Definition 6.1. A local ring is a ring R with a unique maximal ideal m. Proposition 6.2. A ring is local iffthe nonunits form an ideal. Proof. Suppose first that R is local with maximal ideal m. Let x be any element not in m. Then x must be a unit. Otherwise, x generates an ideal (x) which is contained in a maximal ideal other than m. Conversely, suppose that R is a ring in which the nonunits form an ideal I. Then every ideal in R must be contained in I since ideals cannot contain units. ! Example 6.3. An example is Z/(p), the integers localized at the prime 1 ideal (p). Recall that Rp = S− R is the set of all equivalence classes of fractions a/b where a R and b S where S is the complement of ∈ ∈ p. When R is an integral domain, Rp is contained in the quotient field QR. So, it is easier to think about: a Z(p) = Q s.t. p ! b b ∈ This is a local ring with unique! maximal ideal" a m = Q s.t. p a, p ! b b ∈ | This is the unique maximal! ideal since all of" the other elements are clearly units. The quotient Z(p)/m is isomorphic to Z/p although this is not completely trivial. More generally we have: 1 Proposition 6.4. If R is a ring and p is a prime ideal then Rp = S− R 1 is a local ring with maximal ideal S− p. 40 MATH 101B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA 6.2. Nakayama’s Lemma. You probably already know this but it is an very useful result which is also very easy to prove. There are two equivalent versions. Lemma 6.5 (Nakayama’s Lemma, version 1). Suppose that R is a local ring and M is a f.g. R-module. If mM =0then M =0. Lemma 6.6 (Nakayama’s Lemma, version 2). Suppose that R is a local ring and E is a f.g. R-module and F E is a submodule. If E = F + mE =0then E = F . ⊆ First I showed that these are equivalent. The first version is obviously a special case of the second version: just let F = 0. To prove the second given the first let M = E/F . Then E = F +mE implies that M = mM which implies M = E/F = 0 which is the same as E = F . Proof of Nakayama, 1st version. This will be by induction on the num- ber of generators. If this number is zero, then M = 0 so the lemma is true. So, suppose that x1, ,xs is a minimal set of generators for M and s 1. Since x M =···mM, there exist a , ,a m so that ≥ s ∈ 1 ··· s ∈ x = a x + + a x s 1 1 ··· s s This gives: (1 as)xs = a1 + + as 1xs 1 − ··· − − But 1 as is invertible since it is not an element of m (if 1 as m then we would− get 1 a + a =1 m which is not possible).− Therefore,∈ − s s ∈ 1 xs = (1 as)− (a1x1 + + as 1xs 1) − ··· − − which implies that x1, ,xs 1 generate M. So, M = 0 by induction ··· − on s. ! Remark 6.7. Note that M/mM is an Rm-module. Since R/m is a field (called the residue field of R), M/mM is a vector space over the residue field. If f : M N is a homomorphism of R-modules then we get an induced linear→ mapping f : M/mM N/mN ∗ → given by f (x + mM)=f(x)+mN (or f (x)=f(x) if x denotes x + mM).∗ This defines a functor from the∗ category of R-modules to the category of vector spaces over R/m. Definition 6.8. One definition of the dimension of a local ring R is the vector space dimension of m/m2: 2 dim R = dimR/m m/m MATH 101B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA 41 Proposition 6.9. x1, ,xn are generators for the R-module M if and only if their images···x , , x span the vector space M/mM. 1 ··· n Proof. ( ) This direction is clear. Every element x M can be written ⇒ ∈ as x = aixi. So, any element x = x + mM of M/mM can be written as x = aixi. # (neht) Let N be the submodule of M generated by x1, ,xn. If x , ,#x span M/mM then N + mM = M. Then N···= M by 1 ··· n Nakayama. ! Corollary 6.10. x1, ,xn is a minimal set of generators for M iff x , , x form a basis··· for the vector space M/mM. 1 ··· n Theorem 6.11. Any finitely generated R-module M is projective if and only if it is free (isomorphic to Rn). Proof. It is clear that every free module is projective. So, suppose that M is projective. Let x1, ,xn be a minimal set of generators for M. Then we get an epimorphism··· φ : Rn M sending the i-th generator n → of R to xi. Since M is projective by assumption, there is a section n s : M R of this homomorphism. I.e., φ s = idM . This gives the following→ diagram: ◦ s φ M - Rn - M ? ? ? s φ M/mM - Rnmn - M/mM Since φ s is the identity on M, φ/s is the identity on M.mM. There- fore, s ◦: M/mM Rn/mn is a monomorphism. But M/mM and Rn/mn have the same→ finite dimension over R/m. Therefore, s is an isomorphism. This implies that s(M)+mn = Rn. By Nakayama this n n shows that s(M)=R . So, M ∼= R as we wanted to show. ! 42 MATH 101B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA 6.3. Complete local rings. If R is a local ring we get a sequence of ring homomorphisms: n+1 n n 1 R/m R/m R/m − R/m ···→ → → →···→ n n The inverse limit lim R/m is the set of all sequences (an R/m ) ← ∈ which are compatible in the sense that an maps to an 1 under the n n 1 n 1− homomorphism R/m R/m − , i.e., an 1 = an + m − . The inverse limit is→ defined by a universal− condition. It is the uni- n versal object L with ring homomorphisms fn : L R/m so that the n n 1 → composition L R/m R/m − is fn 1. In other words, given any → → − n other L$ with homomorphisms f $ : L$ R/m , there exists a unique n → ring homomorphism g : L$ L so that f g = f $ for all n. It is → n ◦ n easy to see that the set of all compatible sequences (an) satisfies this universal property since g(x)=(fn$ (x)) Definition 6.12. R is a complete local ring if R = lim R/mn. ∼ ← Example 6.13. The p-adic integers Zp form a complete local ring by n definition. They are defined to by Zp = lim Z/p Z. I.e., it is the inverse limit of the sequence ← n n 1 Z/p Z/p − Z/p ···→ → →···→ In other words, Zp is the set of all sequences (an) of integers an de- n n 1 fined modulo p so that an + p − Z = an 1. There is a natural ring − monomorphism Z " Zp sending m to the sequence (an = m) for all n. → The unique maximal ideal is given by a1 = 0, i.e., m is the kernel of the epimorphism Zp Z/p given by (an) a1. " )→ A typical element of Z3 has an infinite 3-nary expansion with digits 0, 1, 2 to the left of the decimal place: 2110220112. ··· p-adic integers do not have signs. They are all positive since, e.g., 1= 2222222. − ··· The maximal ideal is the set of all numbers with last digit equal to 0. Problem: Show that there is a monomorphism of rings Z(p) " Zp → which is not an epimorphism (since Zp is a Cantor set and therefore uncountable whereas Z(p) is countable, being a subset of Q). MATH 101B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA 43 6.4. Discrete valuation rings. This is the last topic in commutative algebra. 6.4.1. definition. I gave two of the elementary definitions. Definition 6.14 (1st definition). A discrete valuation ring (DVR) is an integral domain R together with a mapping v : QR∗ " Z called a valuation from the group of nonzero elements QR∗ of the quo- tient field QR of R onto Z so that (1) v(ab)=v(a)+v(b) for all a, b QR∗ ∈ (2) v(a + b) min(v(a),v(b)) for all a, b QR∗ ≥ ∈ (3) R∗ = a QR∗ v(a) 0 { ∈ | ≥ } I pointed out that the first conditions implies v(1) = 0 (since v(1) = v(1) + v(1)) and v(a/b)=v(a) v(b) (since a =(a/b)b v(a)= v(a/b)+v(b)). − ⇒ Example 6.15. Take R = Z(p). Then QZ(p) = Q and we can define vp : Q∗ " Z a by vp b = n where n is the number of times that p divides a/b.

View Full Text

Details

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