Spring 2016, lecture notes by Maksym Fedorchuk 51

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

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

Math 418 Algebraic Geometry Notes

Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...

4.4 Noetherian Rings

Commutative Algebra. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...

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

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

NOTES IN COMMUTATIVE ALGEBRA: PART 2

1.5 The Nil and Jacobson Radicals

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

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

Algebraic Geometry: MIDTERM SOLUTIONS

12. Hilbert Polynomials and Bézout s Theorem

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

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.

In Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation.

Assigned homework problems S. L. Kleiman, fall 2008

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

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

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

Algebraic Varieties. Chapter Algebraic Varieties

HARTSHORNE EXERCISES

3. The Sheaf of Regular Functions

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Rings and groups. Ya. Sysak

V (f) :={[x] 2 P n ( ) f(x) =0}. If (x) ( x) thenf( x) =

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

Lecture 6. s S} is a ring.

Injective Modules and Matlis Duality

Written Homework # 2 Solution

Math 145. Codimension

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

10. Smooth Varieties. 82 Andreas Gathmann

ABSTRACT NONSINGULAR CURVES

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

REPRESENTATION THEORY, LECTURE 0. BASICS

10. Noether Normalization and Hilbert s Nullstellensatz

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

WEAK NULLSTELLENSATZ

Formal power series rings, inverse limits, and I-adic completions of rings

Primary Decomposition and Associated Primes

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

CRing Project, Chapter 5

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

Homological Methods in Commutative Algebra

Math 121 Homework 5: Notes on Selected Problems

A Primer on Homological Algebra

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

11. Dimension. 96 Andreas Gathmann

Lecture 7.3: Ring homomorphisms

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

Exercises MAT2200 spring 2014 Ark 5 Rings and fields and factorization of polynomials

Summer Algebraic Geometry Seminar

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

Cohomology and Base Change

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

NOTES ON ALGEBRAIC GEOMETRY MATH 202A. Contents Introduction Affine varieties 22

LECTURES ON ALGEBRAIC GEOMETRY MATH 202A

TROPICAL SCHEME THEORY

2. Prime and Maximal Ideals

NOTES FOR COMMUTATIVE ALGEBRA M5P55

ne varieties (continued)

Exploring the Exotic Setting for Algebraic Geometry

Rings With Topologies Induced by Spaces of Functions

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

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.

Polynomials, Ideals, and Gröbner Bases

CRing Project, Chapter 7

Math 203A - Solution Set 3

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.

Commutative Algebra. Instructor: Graham Leuschke & Typist: Caleb McWhorter. Spring 2016

8. Prime Factorization and Primary Decompositions

REPRESENTATION THEORY WEEK 9

Extension theorems for homomorphisms

Algebraic varieties. Chapter A ne varieties

Math 120 HW 9 Solutions

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Commutative Algebra I

5 Dedekind extensions

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

Tensor Product of modules. MA499 Project II

Homework 2 - Math 603 Fall 05 Solutions

Commutative Algebra. Gabor Wiese. Winter Term 2013/2014. Université du Luxembourg.

Advanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity.

COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA

TWO IDEAS FROM INTERSECTION THEORY

On the vanishing of Tor of the absolute integral closure

Algebraic geometry of the ring of continuous functions

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

MATH 326: RINGS AND MODULES STEFAN GILLE

Formal Groups. Niki Myrto Mavraki

COMMUTATIVE ALGEBRA, LECTURE NOTES

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

Algebraic varieties and schemes over any scheme. Non singular varieties

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

4.1 Primary Decompositions

Transcription:

Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2) The radical of an ideal I is the intersection of all prime ideals of R containing I. Proof. For the quotient homomorphism : R! R/I, we have 1 nilrad(r/i) = {f 2 R (f) n = 0 for some n 2 N} = {f 2 R f n 2 I for some n 2 N} = rad(i). Therefore, the second claim follows from the first one, which we proceed to prove. The inclusion nilrad(r) \ p p2spec R is obvious, for f n = 0 implies that f 2 p for every prime p. Suppose f is not nilpotent. Then S = {f n } 1 n=0 is a multiplicative set not containing 0. Hence by Problem 2.6, there exists a prime ideal p disjoint from S. (See below for details.) In particular, f/2 p. This finishes the proof. Problem. Let k be a field. Describe the contraction of the maximal ideal (x 1,y 1) under the ring homomorphism f : k[z 1,z 2,z 3 ]! k[x, y] given by z 1 7! x 2, z 2 7! xy, z 3 7! y 2. We will do this problem by proving a much more general statement: Proposition 10.2.1. Let R = k[z 1,...,z m ]/I and S = k[x 1,...,x n ]/J be finitely generated algebras over a field k. Suppose f : R! S is a k-algebra homomorphism defined by f(z i )= i (x 1,...,x n ) for some polynomials i 2 k[x 1,...,x n ]. (Note that 1,..., m have to satisfy F ( 1,..., m) 2 J for every F 2 I.) Then for every (a 1,...,a n ) 2 k n such that J (x 1 a 1,...,x n a n ), the contraction of the induced maximal ideal (x 1 a 1,...,x n a n ) S is a maximal ideal z 1 1 (a 1,...,a n ),...,z n n (a 1,...,a n ) R. Lemma 10.2.2. Every k-algebra homomorphism ev a : k[x 1,...,x n ]! k, is defined by ev a (x i )=a i for some a =(a 1,...,a n ) 2 k n and we have ker(ev a )= (x 1 a 1,...,x n a n ). In particular, (x 1 a 1,...,x n a n ) is a maximal ideal for every (a 1,...,a n ) 2 k n.

52 Algebra II Commutative and Homological Algebra Proof. This follows from two observations. The first is that ev a F (x 1,...,x n ) = F (a 1,...,a n ) for every F 2 k[x 1,...,x n ]. The second is that F (x 1,...,x n )=F (a 1,...,a n ) mod (x 1 a 1,...,x n a n ). N.B. The above follows from the existence of the Taylor expansion of F (x 1,...,x n ) around (a 1,...,a n ). N.B. A k-algebra homomorphism from a finitely generated k-algebras to k is called an evaluation homomorphism. Lemma 10.2.2 completely describes such homomorphisms. Proof. By Lemma 10.2.2, we have that (x 1 a 1,...,x n a n ) S is the kernel of some evaluation homomorphism ev a : S! k defined by ev a (x i )=a i. Consider now the composition homomorphism R f! S ev! k. Then ev a f is the evaluation homomorphism from R to k defined by z i 7! i(a 1,...,a n ). In particular, z 1 1 (a 1,...,a n ),...,z n n (a 1,...,a n ) = ker(ev f), again by Lemma 10.2.2. This finishes the proof. Problem. Suppose k is a field (not necessarily algebraically closed; the case of algebraically closed field was done in class). For a homomorphism of finitely generated k-algebras R! S, prove that the contraction of a maximal ideal in S is a maximal ideal in R. Proof. Let n S be a maximal ideal and K = S/n be the corresponding quotient field. Then k K is a finitely generated field extension, hence k K is a finite field extension by Weak Nullstellensatz (Proposition 1.4.1). Let m := n \ R be the contraction of n in R. Then we have a sequence of ring extensions: k R/m K. Since k K is a finite ring extension, we must have that R/m K is a finite ring extension. But both of these rings are domains and K is a field. It follows that R/m is a field by Proposition 3.6.3. Problem. Finish the proof of Proposition 2.0.6 from the lecture notes by showing that for an irreducible a ne variety X k n, the ideal of polynomials vanishing on X is prime. Proof. Suppose that X is an irreducible a ne variety but the ideal I := I(X) is not prime. Then there exist f,g 2 k[x 1,...,x n ] such that f,g /2 I(X), but fg 2 I(X). Let X 1 = Z(I,f) Z(I(X)) = X and X 2 = Z(I,g) Z(I(X)) = X be algebraic sets. But X 1 [ X 2 = Z (I,f)(I,g) Z(I) =X. It follows that X 1 [ X 2 = X. But because X is irreducible, we conclude that either X 1 = X and X 2 = X. Suppose X 1 = X. Then rad(i,f) = rad(i) =I. (Note that I is automatically radical.) But then f 2 I. A contradiction!

Spring 2016, lecture notes by Maksym Fedorchuk 53 Problem. Let k be a field. For integers 1 apple m<n, consider the matrix 0 1 1 x 1 x 2 x m 1 x m (10.2.3) x 1 x 2 x 3 x m x m+1 M m,n := B C @...... A. x n m x n 1 x n Let I n,m be the ideal in k[x 1,...,x n ] generated by the 2 2 minors of M m,n.prove that Z(I n,m )={(t, t 2,t 3,...,t n ) t 2 k} k n. Proof. Note that for i apple m and j apple n m, the polynomial x i+j x i x j belong to I n,m. Suppose (a 1,...,a n ) 2 Z(I n,m ). Then we must have a i+j = a i a j for all i apple m and j apple n m. It follows that a r = a r 1 for every 1 apple r apple n. Problem. For any ideal I R and a multiplicative set S disjoint from I, prove that there exists a prime ideal p I disjoint from S. Proof. Let R := R/I and let S be the image of S in R. ThenS is a multiplicative set in R that does not contain zero. In particular, the ring S 1 R is not a zero ring. Let q be a prime ideal in S 1 R. Then the contraction of q to R is a prime ideal avoiding S and containing I. (Alternatively, one can apply Zorn s lemma to the set of the ideals containing I and disjoint from S.) Problem. Let p be a prime ideal of a ring R. Prove that the residue field of R p is the fraction field of R/p: R p /pr p = Frac(R/p). Proof. Let : R! R/p be the quotient homomorphism. There is an obvious ring homomorphism : R p! Frac(R/p) that sends a/s 2 R p to (a)/ (s). It is easy to see that is well-defined (do this explicitly if you are still shaky with localization.) Clearly, is surjective: Every element of R/p can be written as (a) for a 2 R and every non-zero element of R/p can be written as (s) for s/2 p. Finally, (a/s) = 0 if and only if (a) = 0 if and only if a 2 p if and only if a/s 2 pr p. Hence ker = pr p. We are done. Problem. For an R-module M and a multiplicative set S R, prove that S 1 R R M ' S 1 M. Proof. We have an obvious R-bilinear map S 1 R M! S 1 M given by r s,m 7! rm s. By the universal property of the tensor product, this gives rise to an R-linear homomorphism f : S 1 R R M ' S 1 M,

54 Algebra II Commutative and Homological Algebra r that satisfies f s m = rm s. In fact, it is easy to see that f is also S 1 R-linear. It is a tedious but straightforward exercise to check that m g : S 1! S 1 R R M, g = 1 s s m is a well-defined R-module homomorphism (which is also an S 1 R-module homomorphism). Clearly, f and g are inverses of each other and so define an S 1 R-module isomorphism S 1 R R M ' S 1 M. Problem. For a finitely generated R-module M and a multiplicative set S R, prove that S 1 M = 0 if and only if there exists s 2 S such that sm = 0. Proof. If sm = 0 for some s 2 S, then for every element x = m/t 2 S 1 M,we have x = m t = sm st = 0 st =02 S 1 M. Conversely, suppose S 1 M = 0. Then for every m 2 M, there exists an element s m 2 S such that s m m = 0. (This follows by unwinding what it means for m = m/1 tobezeroins 1 M.) By the assumption, we can choose finitely many generators m 1,...,m n of M. Then it is easy to see that s := s m1 s mn satisfies sm = 0. Problem. Let R be a ring. Suppose that for each prime p, the local ring R p has no non-zero nilpotent elements. Prove that R has no non-zero nilpotent elements. If each R p is an integral domain, is R necessarily an integral domain? Proof. Suppose r 2 R is a nilpotent element. Then r = r remains nilpotent in 1 R p.thuswemusthave r 1 =02 R p, for every prime p. Thus for each primes p, there exists an element in R \ p that kills r. In other words, the annihilator of r Ann(r) :={a 2 R ar =0} is not entirely contained in any of the prime ideals. Since Ann(r) is an ideal itself, we conclude that Ann(r) =R = (1) and so r = 0.

Spring 2016, lecture notes by Maksym Fedorchuk 55 Example: Consider a product of two domains, say R = S T. Then a prime ideal in S T is of the form either S q, whereq T is prime, or p T, where p S is prime. It is easy to see that (S T ) S q ' T q. (Indeed, the complement of S q contains 0 1, which allows to kill all non-zero elements of S.) It follows that the localization of R is a domain for all primes of R, butr is clearly not a domain. Definition 10.2.4. A ring R with no non-zero nilpotent elements (that is, satisfying nilrad(r) = (0)) is called reduced. Problem. Let R be a ring and S R a multiplicative set. For a ring homomorphism : R! S 1 R, prove that ] (Spec S 1 R)= \ Spec R f. Is the above set necessarily open? Proof. By definition, ] (Spec S 1 R) is the set of prime ideals in R that are contractions of prime ideals in S 1 R. The distinguished open Spec R f Spec R is defined to be the complement of V(f), and so consists of those prime ideals in R that do not contain f. A prime ideal p R is a contraction of a prime ideal in S 1 R if and only if S \ p = ; if and only if f /2 p for every f 2 S if and only if p 2 T f2s Spec R f. This finishes the proof. If we take p to be a prime ideal and S = R\p, then T f2s Spec R f is the set of all prime ideals contained in p. Such a set is generally not open in Zariski topology. For example, if R = Z and p =(p) for a prime p, thenspecr p = {(0), (p)}, which is not open in Spec Z because its complement is not closed. Another example would be R = k[x] and p =(x), etc. f2s