Lecture 6. s S} is a ring.

Similar documents
Extension theorems for homomorphisms

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

8. Prime Factorization and Primary Decompositions

4.4 Noetherian Rings

Lecture 4. Corollary 1.2. If the set of all nonunits is an ideal in A, then A is local and this ideal is the maximal one.

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Solutions to Homework 1. All rings are commutative with identity!

Lecture 8. Throughout this lecture, A will be a ring and M, N etc will be A-modules.

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Rings and Fields Theorems

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

NOTES FOR COMMUTATIVE ALGEBRA M5P55

Homological Methods in Commutative Algebra

4.1 Primary Decompositions

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009

Math 418 Algebraic Geometry Notes

3.2 Modules of Fractions

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

COMMUTATIVE ALGEBRA, LECTURE NOTES

Spring 2016, lecture notes by Maksym Fedorchuk 51

Rings and groups. Ya. Sysak

10. Noether Normalization and Hilbert s Nullstellensatz

The most important result in this section is undoubtedly the following theorem.

MA 252 notes: Commutative algebra

MA 252 notes: Commutative algebra

1.5 The Nil and Jacobson Radicals

Algebraic function fields

MATH 326: RINGS AND MODULES STEFAN GILLE

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

Congruence Boolean Lifting Property

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Projective Varieties. Chapter Projective Space and Algebraic Sets

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

THROUGH THE FIELDS AND FAR AWAY

2. Prime and Maximal Ideals

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

11. Dimension. 96 Andreas Gathmann

Chapter 5. Modular arithmetic. 5.1 The modular ring

7 Lecture 7: Rational domains, Tate rings and analytic points

Commutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14

Lecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

Dimension Theory. Mathematics 683, Fall 2013

3. The Sheaf of Regular Functions

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

Dedekind Domains. Mathematics 601

38 Irreducibility criteria in rings of polynomials

(dim Z j dim Z j 1 ) 1 j i

Introduction to Algebraic Geometry. Jilong Tong

Solutions Ark3. 1 It is also an exercise in the aikido toho iai of writing diagrams in L A TEX

TWO IDEAS FROM INTERSECTION THEORY

Chapter 1. Affine algebraic geometry. 1.1 The Zariski topology on A n

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

36 Rings of fractions

TROPICAL SCHEME THEORY

Assigned homework problems S. L. Kleiman, fall 2008

Homework 2 - Math 603 Fall 05 Solutions

Math 547, Exam 1 Information.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

(1) is an invertible sheaf on X, which is generated by the global sections

9. Integral Ring Extensions

MATH 221 NOTES BRENT HO. Date: January 3, 2009.

LECTURE Affine Space & the Zariski Topology. It is easy to check that Z(S)=Z((S)) with (S) denoting the ideal generated by elements of S.

14 Lecture 14: Basic generallities on adic spaces

INVERSE LIMITS AND PROFINITE GROUPS

Section Blowing Up

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES

2. Intersection Multiplicities

Clearly C B, for every C Q. Suppose that we may find v 1, v 2,..., v n

Eighth Homework Solutions

Algebraic Geometry I Lectures 14 and 15

Places of Number Fields and Function Fields MATH 681, Spring 2018

32 Divisibility Theory in Integral Domains

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Matsumura: Commutative Algebra Part 2

Associated Primes under Noncommutative Localization (Preliminary Version)

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

Math Introduction to Modern Algebra

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

Primary Decomposition and Associated Primes

11. Finitely-generated modules

RINGS HAVING ZERO-DIVISOR GRAPHS OF SMALL DIAMETER OR LARGE GIRTH. S.B. Mulay

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

214A HOMEWORK KIM, SUNGJIN

Math 145. Codimension

GLUING SCHEMES AND A SCHEME WITHOUT CLOSED POINTS

n P say, then (X A Y ) P

Rings. Chapter Homomorphisms and ideals

NOTES ON FIBER DIMENSION

HARTSHORNE EXERCISES

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2

Transcription:

Lecture 6 1 Localization Definition 1.1. Let A be a ring. A set S A is called multiplicative if x, y S implies xy S. We will assume that 1 S and 0 / S. (If 1 / S, then one can use Ŝ = {1} S instead of S in what follows.) S is called saturated if x S and y x implies y S. We regard S 1 A as the set of equivalence class of A S under the equivalence relation (the reader is invited to check this): (a, s) (b, t), if and only if there exists u S such that u(at bs) = 0. The equivalence class of (a, s) is denoted by a. Define the addition and multplication in S 1 A mimicking the corresponding laws for fractions. One can check s that with these definitions S 1 A = { a s a A, s S} is a ring. Clearly, for s S, we have s 1 s = 1 in S 1 A. Addition and multiplication are well defined, but checking this requires a bit of routine work; we show the addition case here. Let a s = a and b s t = b t, then u, v S such that u(as a s) = 0 = v(bt b at + bs t). We need to see that = a t + b s ; that is, w S such that st s t w[(at + bs)s t st(a t + b s )] = 0. Taking w = uv S, the equation holds. That multiplication is also a well-defined operation can be verified similarly. We can also regard S 1 A as an A-algebra. The structure morphism is φ : A S 1 A, a ring homomorphism, that acts by a a. This is equivalent to defining the 1 A-algebra structure on S 1 A by a b s := ab s. 1

On a more general note: If φ : A B is a ring homomorphism, then B is an A-algebra (via the map φ). Given I A an ideal, we can expand I to B using the following notation: I e = (φ(i)) = φ(i)b, the latter being linear combinations of elements in φ(i) with coefficients in B. By abuse of notation one writes I e = IB. If J B, then we can consider the contraction of J to A, which turns out to be an ideal of A, as J c := φ 1 (J) = J A, the latter being another abuse of notation. Theorem 1.2. Let S be a multiplicative subset of A. Then there is an ideal P that is maximal with respect to inclusion among all the ideals contained in A \ S (i.e., P S = ). Furthermore, P is a prime ideal. Proof. This is another use of Zorn s Lemma. Let M = {I A I S = }. Then M is an (partially) ordered set with respect to inclusion. Let {I i } i Λ be a chain of ideals in A. Set I = i I i. Then I is an upper bound for our chain, and I is an ideal since i, j, we know I i I j or vice-versa, and for set-theoretic reasons, I S =. Now Zorn s Lemma gives us an ideal P that satisfies the first statement of the theorem. For the second, let xy P, and assume, by way of contradiction, that x / P and y / P. This implies that P + Ax P (P + Ax) S, and similarly for y. Then we can choose z 1, z 2 (P + Ax) S, such that z 1 = p 1 + ax and z 2 = p 2 + by, with p 1, p 2 P, a, b A. Now we have z 1, z 2 S which implies z 1 z 2 = p 1 p 2 + p 1 by + p 2 ax + abxy S P, a contradiction to this set being empty. Thus P is prime. Theorem 1.3. Let S be a multiplicative set. Then the following are equivalent: 1. S is saturated; 2. A \ S = i I P i where {P i } is the set of prime ideals of A such that P i S =. 2

Proof. Assume S is saturated, and consider x / S. Then (x) S =. By Zorn s Lemma, we can find a P with (x) P such that P S = and P a prime ideal. This implies x P i as defined above. For the other inclusion, let x P i. Then P prime such that x P. But P S = so x A \ S. Now assume (2). Let x S and y be a divisor of x, so x = ya for some a A. Since x S, we have x A \ P i for all i. Assume y / S. Then y P i for some i which implies x = ay P i which would say x / S, a contradiction. Thus y S, so S is saturated. Example 1.4. The set of all units in A is a saturated multiplicative set. In fact, the complement of this multiplicative set equals the union of all maximal ideals in A. Example 1.5. The set of all non-zero-divisors is a saturated multiplicative set. Example 1.6. If P is a prime ideal then A \ P is a saturated multiplicative set. Corollary 1.7. Let Z(A) be the set of zero divisors in A (i.e., the complement of the set in the second example). Then Z(A) can be wriiten as a union of prime ideals. Corollary 1.8. N(A) = i P i where the intersection runs over all P i prime ideals of A. Proof. Let a N(A). Then n such that a n = 0. But 0 P so a n P a P which gives N(A) P i. Conversely, let a P i, and assume a / N(A). Then i i S a = {1, a, a 2,...} is a multiplicative set so P a prime ideal such that P S =. But a P S, a contradiction. Corollary 1.9. If I A, then I = P i where the intersection runs over all P i prime ideals containing I. In fact, if A is Noetherian, then I is a finite intersection of prime ideals containing I. Proof. To get the first part apply the above Corollary to A/I and the use the correspondence theorem between ideals in A containing I and ideals of A/I. 3

For the second part, assume I such that I is not a finite intersection of primes. Take I such that I is maximal with this property (by the Noetherian hypothesis). If I is prime, we are done, so assume not. Let a, b A such that a, b / I but ab I. Consider the ideals (I, a) and (I, b). Then both (I, a) and (I, b) are finite intersection of prime ideals, and I (I, a) (I, b). Let x be in the intersection (I, a) (I, b). Then n, m IN such that x n = i 1 + ar and x m = i 2 + bs for r, s R and i 1, i 2 R. Then x n x m = i 1 bs + i 2 ar + abrs + i 1 i 2 I since ab I. Thus I = (I, a) (I, b), a contradiction since the right hand side is a finite intersection. Thus I must be a finite intersection of primes. 1.1 Universal Property of the Ring of Fractions Recall the canonical ring homomorphism φ : A S 1 A, φ(a) = a/1. This is in fact an A-algebra homomorphism. Proposition 1.10. Ker(φ) = {a A : there exists s S with sa = 0}. So, S consists of nonzerodivisors on A if and only if φ is injective. Proof. a 1 = 0 if and only if there exists sa = 0. Theorem 1.11 (Universal property of the ring of fractions). The map φ has the following properties: 1. φ is a ring homomorphism and φ(s) units in S 1 A. 2. If f : A A is a ring homomorphism with f(s) units of A then there exists a unique homomorphism g : S 1 A A such that g φ = f (this is the universal property of the ring of fractions). 4

Proof. For part (1), φ(s) = s 1 and s 1 1 = 1 imply that φ(s) is a unit. Secondly, let s φ and f be as in (2). Define g( a s ) = f(a)(f(s)) 1. The statement can now be easily verified. This says that S 1 A (together with the structural homomorphism φ) is unique (up to isomorphism) with the properties (1) and (2) (one can say that S 1 A is the smallest ring with property (1)): let (B, φ) have properties (1) and (2). Then f : S 1 A B and g : B S 1 A, where f and g are inverses of each other. Indeed, the existence of these maps follows from applying properties (1) and (2) to both S 1 A and B. 1.2 Properties of S 1 A Proposition 1.12. Let S be a multiplicative set of A. Then, 1. Proper ideals of the ring S 1 A are of the form IS 1 A = S 1 I = ( i s i I, s S) with I ideal in A and I S = ; 2. Prime ideals in S 1 A are of the form S 1 P where P is prime in A and P S =. Proof. 1. Let J be a proper ideal of S 1 A. Let I = J A. Then I is an ideal of A, and assume I S. Take s S I s J J = A, a contradiction, 1 so I S =. To show that J = S 1 I, let i s S 1 I. But i s = i 1 1 s J so one containment is established. Now let a J. Then a = b, so we have s b s s 1 J b 1 J b I. Thus J = S 1 I. 2. Let I = S 1 P where P S =. Note that P = I A. Assume I is prime. Let a, b P so ab 1 I a 1 I or b I which gives either a P or b P. In 1 fact, P prime and P S = implies S 1 P is prime: 5

If a s b t = ab st S 1 P, then we can find u, v S, p P such that u(abv pst) = 0, which further shows that uvab P. Since uv / P (as P S = ), we get ab P so a P or b P which gives that either a/s S 1 P or b/t S 1 P. Corollary 1.13. Let P be prime, S = A \ P, and define A P = (A \ P ) 1 A. Then P A P is prime in A P and in fact, it is maximal. This also implies that A P is local. Example 1.14. Let A = k[x, y, z]. Then P = (x, y) is prime and A/P = k[z] is a domain, not local. The ring A P is local, and x z, x are examples of elements in z + x A P. Example 1.15. Let A be the same as above. Define S = {1, z, z 2,...}. Then S 1 A = A z. In general, A z is not local. The fraction x z is an example of an element of A z. 3 Theorem 1.16 (Localization commutes with taking quotients). If A is a ring, S A a multiplicative subset, I an ideal of A, and S = Im(S) the natural image of S in A/I, then S 1 A/S 1 I = S 1 (A/I) as A-algebras. Proof. Note that the canonical map A A/I S 1 (A/I) induces an A-algebra homomorphism A S 1 (A/I) by a a. Under this map, S is obviously mapped to 1 units of S 1 (A/I) The universal property of the ring of fractions shows then that this map induces an A-algebra homomorphism S 1 A S 1 (A/I) by a s a s. Furthermore, under this map, S 1 I is clearly mapped to 0 so this map induces an A-algebra homomorphism by a s a s. φ : S 1 A/S 1 I S 1 (A/I) 6

To show the isomorphism, one can define, by a similar sequence of steps, an A- algebra homomorphism by φ( a s ) = a s. ψ : S 1 (A/I) S 1 A/S 1 I The maps φ, ψ are easily seen to be inverses to each other. Proposition 1.17. Let S A be a multiplicative subset of A If B S 1 A with B a subring of S 1 A, then S 1 A is a ring of fractions of B, more precisely T 1 B, where T is the image of S in T under the canonical map A S 1 A. Proof. If b s T 1 B then since b = a t, we can write b s = a t s = a ts and hence T 1 B = S 1 A. Definition 1.18. Let A be a domain, and S = A \ {0}. Then we call S 1 A = Q(A) the field of fractions of A. Corollary 1.19. Every domain can be embedded in a field. Proof. It remains to be shown as an exercise that a s = 1 if and only if a 0. The s a field that we constructed is the smallest field containing A (and the reader should attempt to prove this by using the universal property of the ring of fractions). Remark 1.20. Note that a ring A can be embedded in a field if and only if A is a domain, since a subring of a field is always a domain. Proposition 1.21. Let S T be multiplicative sets in A and T = Im(T ) in S 1 A. Then T is a multiplicative set in S 1 A and (T ) 1 (S 1 A) = T 1 A. Proof. It is straightforward to see that T = { t 1 S 1 A. : t T } is a multplicative set in 7

Let s S, t T, a A then Moreover, a t = a 1 / t 1 (T ) 1 (S 1 A). a/s t/1 = a s 1 t = a st T 1 A. Proposition 1.22. Let S A, P Spec(A) such that P S =. Then (S 1 A) P S 1 A = A P = (A \ P ) 1 A. Proof. Note that S A \ P and then by the preceeding result, where T = { a 1 : a P } S 1 A. Claim: T S 1 A \ P S 1 A. (T ) 1 (S 1 A)) = A P, Indeed, if a 1 = b s with b P, s S, then there exists u S such that usa = ub P which gives b P or us P S, both impossible. Now, consider a not in P s S 1 A, and note that s a = a T, so we have our 1 s 1 statement as a consequence of the Lemma below. Lemma 1.23. If S 1 S 2 multiplicative sets in A such that for all s S 2 there exists t S 2 such that st S 1, then S 1 1 A = S 1 2 A. Proof. One needs to check that S 1 2 A S 1 1 A, so let a s S 1 2 A. There exists t S 2 such that st S 1 and so a s = ta ts S 1 1 A. A consequence of the Proposition is the following result. 8

Corollary 1.24. If P Q, with P, Q Spec(A), then (A Q ) P AP = A P. Proof. Take S = A \ Q in the above proposition, noting that A \ Q P =. 2 More on Primes Proposition 2.1. Let I A. 1. Let I be a primary ideal. Then I is prime. 2. Assume that I Max(A). Then I is primary. (Recall: I primary means that xy I implies x I or y I.) Proof. 1. Say xy I, but x I. Then x n y n I for some n, but x I. So, x n I, and hence y n I. But this means that y I, as well. 2. Let xy I, and assume that y / I = M Max(A). Then M + Ay = A so we can write 1 = ay + z for some z M and a A. Then n N such that z n I. This implies 1 = (ay + z) n x = x(ay + z) n = xyb + xz n, with b A. Since xy I and z n I it follows that x is in I. Remark 2.2. If I is prime, this does not imply that I is primary. Remember that if I is prime and xy I I it follows that x I or y I. This is weaker than I primary and examples confirming this can be found easily: let k be a field, and A = k[x,y,z] (xy z 2 ). Show that I = P 2 is not primary where P = (x, z) A. 9

2.1 Prime Avoidance Lemma Lemma 2.3. Let I A be a set closed under multiplication and addition, and let P = {P 1,..., P n } be a set of ideals in A with all but at most two of them prime. n Then I P i implies k such that I P k. i=1 Proof. We proceed with induction on n. The case n = 1 is clear. Now assume I n is not contained in ( P i ) \ P k = Q k (otherwise, after removing one ideal, one can i=1 apply the induction step). Let x k I \ Q k. Note that this means that x k belongs to P k and does not belong to any P i, i k. Case 1: n = 2. Let y = x 1 + x 2 I = P 1 P 2. If y P 1 then since x 1 P 1 we get that x 2 P 1, a contradiction. Case 2: n > 2. Without loss of generality, let P 1 be prime. Set z = x 1 +x 2 x n I. Then z / P 1 since x 2,..., x n / P 1 implies x 2 x n / P 1. In fact, each x i P i for i 2, so z x 1 P i for i 2. But since x 1 / P i for i 2 we must also have that z / P i for i 2, a contradiction with z I. In conclusion, one cannot choose such elements x k and hence one of the ideals P i appears redundantly in the union. By removing it, we get to the case of n 1 ideals and the induction step can now be applied. 10