Hilbert s Nullstellensatz
|
|
- Roderick Shaw
- 5 years ago
- Views:
Transcription
1 Hilbert s Nullstellensatz An Introduction to Algebraic Geometry Scott Sanderson Department of Mathematics Williams College April 6, 2013
2 Introduction My talk today is on Hilbert s Nullstellensatz, a foundational result in the field of algebraic geometry.
3 Introduction My talk today is on Hilbert s Nullstellensatz, a foundational result in the field of algebraic geometry. First proved by David Hilbert in 1900.
4 Introduction My talk today is on Hilbert s Nullstellensatz, a foundational result in the field of algebraic geometry. First proved by David Hilbert in Pronounced nool-shtell-en-zatss.
5 Introduction My talk today is on Hilbert s Nullstellensatz, a foundational result in the field of algebraic geometry. First proved by David Hilbert in Pronounced nool-shtell-en-zatss. The Nullstellensatz derives its name, like many other German words, from a combination of smaller words: null (zero), stellen (to put/place), satz (theorem). It is generally translated as theorem of zeros, or more literally as zero places theorem.
6 Polynomial Rings Given a ring R, we can define an associated ring, R[x], called the polynomial ring over R in the indeterminate x. Elements of R[x] are of the form: c n x n + c n 1 x n c 1 x 1 + c 0 where each c i is an element of R. Multiplication and addition are defined for polynomial rings to correspond with the usual rules for polynomials from high school algebra.
7 Evaluating Polynomials For any r R, we can define a natural homomorphism φ r : R[x] R that corresponds to evaluating each polynomial in R[x] at r in the usual way.
8 Evaluating Polynomials For any r R, we can define a natural homomorphism φ r : R[x] R that corresponds to evaluating each polynomial in R[x] at r in the usual way. These notions generalize naturally to polynomials defined over any number of indeterminates, which we denote by R[x 1, x 2,..., x n ]. They also generalize to fields of rational functions, which we denote R(x 1, x 2,..., x n ). Note: When no confusion will arise, we often denote φ x (p) simply by p(x).
9 Affine Varieties Definition (Affine Variety) Let S = {p 1, p 2,..., p n } be a subset of K[x 1, x 2,..., x n ], with K an algebraically closed field. We say that the intersection of the zero sets of the p i is the affine variety associated with S, and we denote this set by V(S).
10 Ideals Definition (Ideal) An ideal of a ring R is a subset of R satisfying the following conditions: For any a, b I, a + b I. For any a I and r R, ar I.
11 Examples - Ideals {0} is an ideal of every ring. It is called the trivial ideal. nz, the subset of Z containing all multiples of n is an ideal of Z.
12 Generating Ideals For any set S R, we can associate an ideal with S as follows:
13 Generating Ideals For any set S R, we can associate an ideal with S as follows: Definition ( S ) For any subset S R, we define the ideal generated by S, denoted S, to be the intersection of all ideals containing S. It is not too hard to verify that S is given by: where s i S and r i R. S = {r r = r 1 s 1 + r 2 s r k s k }
14 Generating Ideals cont d Given a set of points V K n, we can construct an ideal of K[x 1, x 2,..., x n ] whose variety is precisely V. Definition (I(V )) Let V K n. I(V ) K[x 1, x 2,..., x n ] is the set of all polynomials in K[x 1, x 2,..., x n ] that vanish on every point in V.
15 Generating Ideals cont d Given a set of points V K n, we can construct an ideal of K[x 1, x 2,..., x n ] whose variety is precisely V. Definition (I(V )) Let V K n. I(V ) K[x 1, x 2,..., x n ] is the set of all polynomials in K[x 1, x 2,..., x n ] that vanish on every point in V. We ll leave it as an exercise to show that I(V ) is, in fact, an ideal.
16 Radical Ideals Given an ideal I R, we can construct a new ideal I, called the radical ideal of I, which is given by: I = {r r n I }, r R, n N
17 More Special Rings Definition (Noetherian Ring) A ring R is said to be Noetherian if every ideal of R is of the form S, where S is a finite subset of R. (Such ideals are said to be finitely generated.
18 Hilbert s Basis Theorem Theorem (Hilbert s Basis Theorem) For any ring R, if R is Noetherian, then so is R[x 1, x 2,..., x n ].
19 Hilbert s Basis Theorem Theorem (Hilbert s Basis Theorem) For any ring R, if R is Noetherian, then so is R[x 1, x 2,..., x n ]. Corollary K[x 1, x 2,..., x n ] is Noetherian for any field K. We will use this fact in our proof in a moment.
20 Hilbert s Nullstellensatz We now have all the vocabulary we need to state Hilbert s Nullstellensatz in both its strong and weak forms.
21 Hilbert s Nullstellensatz We now have all the vocabulary we need to state Hilbert s Nullstellensatz in both its strong and weak forms. Theorem (Hilbert Nullstellensatz (Weak Form)) Let K be an algebraically closed field, and let I K[x 1, x 2,..., x n ] be an ideal such that V(I ) =. Then I = K[x 1, x 2,..., x n ].
22 Hilbert s Nullstellensatz We now have all the vocabulary we need to state Hilbert s Nullstellensatz in both its strong and weak forms. Theorem (Hilbert Nullstellensatz (Weak Form)) Let K be an algebraically closed field, and let I K[x 1, x 2,..., x n ] be an ideal such that V(I ) =. Then I = K[x 1, x 2,..., x n ]. Theorem (Hilbert Nullstellensatz (Strong Form)) Let K be an algebraically closed field, and let I k[x 1, x 2,..., x n ]. Then I(V(I )) = I.
23 Hilbert s Nullstellensatz Despite the unusual nomenclature, the strong and weak Nullstellensatze are actually equivalent!
24 Hilbert s Nullstellensatz Despite the unusual nomenclature, the strong and weak Nullstellensatze are actually equivalent! We won t have time to prove the full Nullstellensatz today. The usual way of doing so is to first prove the weak Nullstellensatz, then prove that the strong is equivalent to the weak.
25 Proof: Strong Weak Let K be an algebraically closed field and I an ideal in K[x 1, x 2,..., x n ] with V(I ) =.
26 Proof: Strong Weak Let K be an algebraically closed field and I an ideal in K[x 1, x 2,..., x n ] with V(I ) =. Since V(I ) =, I(V(I )) is the set of polynomials that vanish on every point in the empty set.
27 Proof: Strong Weak Let K be an algebraically closed field and I an ideal in K[x 1, x 2,..., x n ] with V(I ) =. Since V(I ) =, I(V(I )) is the set of polynomials that vanish on every point in the empty set. But this statement is (vacuously) true for all polynomials in K[x 1, x 2,..., x n ], so I(V(I )) = K[x 1, x 2,..., x n ].
28 Proof: Strong Weak Assuming now the strong Nullstellensatz, we have I = I(V(I ))
29 Proof: Strong Weak Assuming now the strong Nullstellensatz, we have I = I(V(I )) and we just showed that I(V(I )) = K[x 1, x 2,..., x n ]
30 Proof: Strong Weak Assuming now the strong Nullstellensatz, we have I = I(V(I )) and we just showed that I(V(I )) = K[x 1, x 2,..., x n ] so it follows that I = K[x1, x 2,..., x n ] which implies that 1 I. By the definition of a I there exists an n N such that 1 n I so 1 I, which implies that I = K[x 1, x 2,..., x n ].
31 Proof: Weak Strong We now move on to the proof that the weak Nullstellensatz is actually equivalent to the strong.
32 Proof: Weak Strong We now move on to the proof that the weak Nullstellensatz is actually equivalent to the strong. The proof we looking at today is due to J.L. Rabinowitsch. Though remarkably short, it is, as mentioned earlier, a bit tricky.
33 Proof: Weak Strong We now move on to the proof that the weak Nullstellensatz is actually equivalent to the strong. The proof we looking at today is due to J.L. Rabinowitsch. Though remarkably short, it is, as mentioned earlier, a bit tricky. Tricky enough, in fact, that the technique used in this proof has become known as the Trick of Rabinowitsch
34 Weak Strong Let K be an algebraically closed field, and let I be an ideal in K[x 1, x 2,..., x n ]. Assuming the weak Nullstellensatz, we want to show that I(V(I )) = I.
35 Weak Strong: I(V(I )) I We first show that I(V(I )) I. This direction is easy.
36 Weak Strong: I(V(I )) I We first show that I(V(I )) I. This direction is easy. Let p I. To show that p I(V(I )) we must show that p vanishes on every point in the variety of I. Let x be in V(I ). We know that there exists a natural number d such that p d I, which means that: 0 = φ x (p d ) = p d (x) = d p(x) i=1
37 Weak Strong: I(V(I )) I We first show that I(V(I )) I. This direction is easy. Let p I. To show that p I(V(I )) we must show that p vanishes on every point in the variety of I. Let x be in V(I ). We know that there exists a natural number d such that p d I, which means that: 0 = φ x (p d ) = p d (x) = d p(x) Since p d I, p d (x) = 0, and since K is a field, it has no zero divisors, so it immediately follows that p(x) = 0. Thus p vanishes on every point in V(I ), so it is in I(V(I )). i=1
38 Weak Strong: I(V(I )) I Proof Idea Given an ideal I in K[x 1, x 2,..., x n ] and a polynomial f that vanishes everywhere in V(I ), we want to show that there exists some natural number d such that f d I. Our general strategy for doing so is a common one in mathematics: we consider a related object in a higher dimensional space and project back down to the space we actually care about. Specifically, we construct a related ideal, I in a larger polynomial ring by adding another indeterminate, which we call y. We do so in a way that guarantees that V(I ) =, which lets us use the weak Nullstellensatz to conclude that I = K[x 1, x 2,..., x n, y]. This allows us to construct an expression for f d in terms of products of the generators of I, which is sufficient to show that f d I.
39 Weak Strong: I(V(I )) I Proof. Let K be an algebraically closed field, let I be an ideal in K[x 1, x 2,..., x n ], and let f be a polynomial in I(V(I )), i.e. a polynomial that vanishes everywhere on V(I ).
40 Weak Strong: I(V(I )) I Proof. Let K be an algebraically closed field, let I be an ideal in K[x 1, x 2,..., x n ], and let f be a polynomial in I(V(I )), i.e. a polynomial that vanishes everywhere on V(I ). Since K is a field, it is Noetherian, so Hilbert s Basis Theorem tells us that K[x 1, x 2,..., x n ] is also Noetherian, which means that I can be written as p 1,..., p k, where each p i I.
41 Weak Strong: I(V(I )) I Proof. Let K be an algebraically closed field, let I be an ideal in K[x 1, x 2,..., x n ], and let f be a polynomial in I(V(I )), i.e. a polynomial that vanishes everywhere on V(I ). Since K is a field, it is Noetherian, so Hilbert s Basis Theorem tells us that K[x 1, x 2,..., x n ] is also Noetherian, which means that I can be written as p 1,..., p k, where each p i I. Thus we need to show that there exists a d N and q 1,..., q k K[x 1, x 2,..., x n ] such that f d = k p i q i i=1.
42 Weak Strong: I(V(I )) I Consider the ideal I K[x 1, x 2,..., x n, y] given by p 1,..., p k, 1 yf, where f and the p i are now considered as elements of K[x 1, x 2,..., x n, y] that happen not to contain the indeterminate y.
43 Weak Strong: I(V(I )) I Consider the ideal I K[x 1, x 2,..., x n, y] given by p 1,..., p k, 1 yf, where f and the p i are now considered as elements of K[x 1, x 2,..., x n, y] that happen not to contain the indeterminate y. Suppose x V(I ). x must be a zero of each p i, which means that it must also be a zero of f. But this implies that x cannot be a zero of 1 yf, a contradiction, since 1 yf I. Thus V(I ) =, which by the weak Nullstellensatz implies that I = K[x 1, x 2,..., x n, y].
44 Weak Strong: I(V(I )) I In particular, we now have that 1 I, so there exist q 1,... q k+1 K[x 1, x 2,..., x n, y] such that 1 = p 1 q 1 + p n q n + (1 yf )q n+1
45 Weak Strong: I(V(I )) I In particular, we now have that 1 I, so there exist q 1,... q k+1 K[x 1, x 2,..., x n, y] such that 1 = p 1 q 1 + p n q n + (1 yf )q n+1 Consider now the homomorphism ψ : K[x 1, x 2,..., x n, y] K(x 1, x 2,..., x n ) which takes y i (1/f ) i We have: ψ(1) = ψ(p 1 q 1 + p n q n + (1 yf )q n+1 ) 1 = ψ(p 1 )ψ(q 1 ) + + ψ(p n )ψ(q n ) + ψ(1 yf )ψ(q n+1 )
46 Weak Strong: I(V(I )) I Since y does not appear in the p 1, they remain unchanged (except that we now interpret them as rational functions with denominator 1). The expression 1 yf gets taken to 1 1 = 0, and each q i becomes a sum of rational functions which contain only powers of f in their denominators. Thus we have: 1 = p 1 ψ(q 1 ) + + p n ψ(q n ) + (1 1)ψ(q n+1 ) 1 = p 1 ψ(q 1 ) + + p n ψ(q n )
47 Weak Strong: I(V(I )) I Let d be the maximum degree of f that appears in the denominator of any of the ψ(q i ). Multiplying on both sides by f d, we have: f d = p 1 q p k q k where the q i are now all rational functions with denominator 1.
48 Weak Strong: I(V(I )) I Let d be the maximum degree of f that appears in the denominator of any of the ψ(q i ). Multiplying on both sides by f d, we have: f d = p 1 q p k q k where the q i are now all rational functions with denominator 1. The subring of K(x 1, x 2,..., x n ) containing entries of denominator 1 is trivially isomorphic to K[x 1, x 2,..., x n ], so we can map back to our original ring to obtain the same equality: f d = p 1 q p k q k where now all the terms are understood as elements of K[x 1, x 2,..., x n ].
49 Weak Strong: I(V(I )) I Let d be the maximum degree of f that appears in the denominator of any of the ψ(q i ). Multiplying on both sides by f d, we have: f d = p 1 q p k q k where the q i are now all rational functions with denominator 1. The subring of K(x 1, x 2,..., x n ) containing entries of denominator 1 is trivially isomorphic to K[x 1, x 2,..., x n ], so we can map back to our original ring to obtain the same equality: f d = p 1 q p k q k where now all the terms are understood as elements of K[x 1, x 2,..., x n ]. But this shows that for some d N, f d can be written as a sum of products of the p i, which implies that f I, which is what we wanted to show.
50 Conclusion/Questions HOORAY! Questions?
Lesson 23 Three Nullstellensatz Theorems
Lesson 23 Three Nullstellensatz Theorems Disclaimer: In these notes, I am trying to convey a general understanding of the Nullstellensatz Theorems. In an attempt to convey ideas without getting too bogged
More informationWEAK NULLSTELLENSATZ
WEAK NULLSTELLENSATZ YIFAN WU, wuyifan@umich.edu Abstract. We prove weak Nullstellensatz which states if a finitely generated k algebra is a field, then it is a finite algebraic field extension of k. We
More informationAlgebraic Varieties. Chapter Algebraic Varieties
Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :
More informationAlgebraic Geometry: MIDTERM SOLUTIONS
Algebraic Geometry: MIDTERM SOLUTIONS C.P. Anil Kumar Abstract. Algebraic Geometry: MIDTERM 6 th March 2013. We give terse solutions to this Midterm Exam. 1. Problem 1: Problem 1 (Geometry 1). When is
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationR S. with the property that for every s S, φ(s) is a unit in R S, which is universal amongst all such rings. That is given any morphism
8. Nullstellensatz We will need the notion of localisation, which is a straightforward generalisation of the notion of the field of fractions. Definition 8.1. Let R be a ring. We say that a subset S of
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationMIT Algebraic techniques and semidefinite optimization February 16, Lecture 4
MIT 6.972 Algebraic techniques and semidefinite optimization February 16, 2006 Lecture 4 Lecturer: Pablo A. Parrilo Scribe: Pablo A. Parrilo In this lecture we will review some basic elements of abstract
More information4.5 Hilbert s Nullstellensatz (Zeros Theorem)
4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology
More informationExtension theorems for homomorphisms
Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More information1 Commutative Rings with Identity
1 Commutative Rings with Identity The first-year courses in (Abstract) Algebra concentrated on Groups: algebraic structures where there is basically one algebraic operation multiplication with the associated
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 1. Contents 1. Commutative algebra 2 2. Algebraic sets 2 3. Nullstellensatz (theorem of zeroes) 4
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 1 RAVI VAKIL Contents 1. Commutative algebra 2 2. Algebraic sets 2 3. Nullstellensatz (theorem of zeroes) 4 I m going to start by telling you about this course,
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationReid 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.
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. Answer: Note that the first generator factors as (y
More informationAlgebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014
Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................
More informationChapter 1 Hilbert s Nullstellensatz
Chapter 1 Hilbert s Nullstellensatz Hilbert s Nullstellensatz may be seen as the starting point of algebraic geometry. It provides a bijective correspondence between affine varieties, which are geometric
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 41
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 41 RAVI VAKIL CONTENTS 1. Normalization 1 2. Extending maps to projective schemes over smooth codimension one points: the clear denominators theorem 5 Welcome back!
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationMath 115 Spring 11 Written Homework 10 Solutions
Math 5 Spring Written Homework 0 Solutions. For following its, state what indeterminate form the its are in and evaluate the its. (a) 3x 4x 4 x x 8 Solution: This is in indeterminate form 0. Algebraically,
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationHilbert Nullstellensatz & Quantifier Elimination
6.S897 Algebra and Computation April 11, 2012 Hilbert Nullstellensatz & Quantifier Elimination Instructor: Madhu Sudan Scribe: Alessandro Chiesa Throughout, K will denote an algebraically closed field.
More informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.
More informationCOMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.
COMMUNICATIONS IN ALGEBRA, 15(3), 471 478 (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY John A. Beachy and William D. Weakley Department of Mathematical Sciences Northern Illinois University DeKalb,
More informationALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30
ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More information4. 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
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 Z X. Replacing X by Z we might as well assume that Z
More informationThe Topology and Algebraic Functions on Affine Algebraic Sets Over an Arbitrary Field
Georgia State University ScholarWorks @ Georgia State University Mathematics Theses Department of Mathematics and Statistics Fall 11-15-2012 The Topology and Algebraic Functions on Affine Algebraic Sets
More informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationYuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99
Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationRings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.
Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary
More informationSection 18 Rings and fields
Section 18 Rings and fields Instructor: Yifan Yang Spring 2007 Motivation Many sets in mathematics have two binary operations (and thus two algebraic structures) For example, the sets Z, Q, R, M n (R)
More informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.
ALGERAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE AOUT VARIETIES AND REGULAR FUNCTIONS. ANDREW SALCH. More about some claims from the last lecture. Perhaps you have noticed by now that the Zariski topology
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationAbstract Vector Spaces and Concrete Examples
LECTURE 18 Abstract Vector Spaces and Concrete Examples Our discussion of linear algebra so far has been devoted to discussing the relations between systems of linear equations, matrices, and vectors.
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Motivation and game plan 1 2. The affine case: three definitions 2 Welcome back to the third quarter! The theme for this quarter, insofar
More informationLecture 6. s S} is a ring.
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
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013 As usual, k is a perfect field and k is a fixed algebraic closure of k. Recall that an affine (resp. projective) variety is an
More informationProjective Varieties. Chapter Projective Space and Algebraic Sets
Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the
More informationSkew Polynomial Rings
Skew Polynomial Rings NIU November 14, 2018 Bibliography Beachy, Introductory Lectures on Rings and Modules, Cambridge Univ. Press, 1999 Goodearl and Warfield, An Introduction to Noncommutative Noetherian
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationLECTURE 7, WEDNESDAY
LECTURE 7, WEDNESDAY 25.02.04 FRANZ LEMMERMEYER 1. Singular Weierstrass Curves Consider cubic curves in Weierstraß form (1) E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6, the coefficients a i
More informationMath 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )
Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a K-vector space, : V V K. Recall that
More informationLecture 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 4 1. General facts Proposition 1.1. Let A be a commutative ring, and m a maximal ideal. Then TFAE: (1) A has only one maximal ideal (i.e., A is local); (2) A \ m consists of units in A; (3) For
More informationCommutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14
Commutative Algebra Andreas Gathmann Class Notes TU Kaiserslautern 2013/14 Contents 0. Introduction......................... 3 1. Ideals........................... 9 2. Prime and Maximal Ideals.....................
More informationMATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties
MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationEigenvalues & Eigenvectors
Eigenvalues & Eigenvectors Page 1 Eigenvalues are a very important concept in linear algebra, and one that comes up in other mathematics courses as well. The word eigen is German for inherent or characteristic,
More informationABSOLUTE VALUES AND VALUATIONS
ABSOLUTE VALUES AND VALUATIONS YIFAN WU, wuyifan@umich.edu Abstract. We introduce the basis notions, properties and results of absolute values, valuations, discrete valuation rings and higher unit groups.
More informationWritten Homework # 4 Solution
Math 516 Fall 2006 Radford Written Homework # 4 Solution 12/10/06 You may use results form the book in Chapters 1 6 of the text, from notes found on our course web page, and results of the previous homework.
More informationPure Math 764, Winter 2014
Compact course notes Pure Math 764, Winter 2014 Introduction to Algebraic Geometry Lecturer: R. Moraru transcribed by: J. Lazovskis University of Waterloo April 20, 2014 Contents 1 Basic geometric objects
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Scheme-theoretic closure, and scheme-theoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationCommutative Algebra MAS439 Lecture 3: Subrings
Commutative Algebra MAS439 Lecture 3: Subrings Paul Johnson paul.johnson@sheffield.ac.uk Hicks J06b October 4th Plan: slow down a little Last week - Didn t finish Course policies + philosophy Sections
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationChapter 1. Affine algebraic geometry. 1.1 The Zariski topology on A n
Chapter 1 Affine algebraic geometry We shall restrict our attention to affine algebraic geometry, meaning that the algebraic varieties we consider are precisely the closed subvarieties of affine n- space
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More information12. Perturbed Matrices
MAT334 : Applied Linear Algebra Mike Newman, winter 208 2. Perturbed Matrices motivation We want to solve a system Ax = b in a context where A and b are not known exactly. There might be experimental errors,
More informationMATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS
MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and
More informationMATH 221 NOTES BRENT HO. Date: January 3, 2009.
MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................
More informationClass VIII Chapter 1 Rational Numbers Maths. Exercise 1.1
Question 1: Using appropriate properties find: Exercise 1.1 (By commutativity) Page 1 of 11 Question 2: Write the additive inverse of each of the following: (iii) (iv) (v) Additive inverse = Additive inverse
More informationBasic facts and definitions
Synopsis Thursday, September 27 Basic facts and definitions We have one one hand ideals I in the polynomial ring k[x 1,... x n ] and subsets V of k n. There is a natural correspondence. I V (I) = {(k 1,
More information(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
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationAlgebraic varieties. Chapter A ne varieties
Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY. Throughout these notes all rings will be commutative with identity. k will be an algebraically
INTRODUCTION TO ALGEBRAIC GEOMETRY STEVEN DALE CUTKOSKY Throughout these notes all rings will be commutative with identity. k will be an algebraically closed field. 1. Preliminaries on Ring Homomorphisms
More informationCHAPTER 14. Ideals and Factor Rings
CHAPTER 14 Ideals and Factor Rings Ideals Definition (Ideal). A subring A of a ring R is called a (two-sided) ideal of R if for every r 2 R and every a 2 A, ra 2 A and ar 2 A. Note. (1) A absorbs elements
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More information1 Introduction. 2 Categories. Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties
Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties 1 Introduction Recall from last time that every affine algebraic variety V A n determines a unique finitely generated, reduced
More informationAbelian Varieties and Complex Tori: A Tale of Correspondence
Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results
More informationALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.
ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add
More informationCRing Project, Chapter 7
Contents 7 Integrality and valuation rings 3 1 Integrality......................................... 3 1.1 Fundamentals................................... 3 1.2 Le sorite for integral extensions.........................
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationMATH 115, SUMMER 2012 LECTURE 12
MATH 115, SUMMER 2012 LECTURE 12 JAMES MCIVOR - last time - we used hensel s lemma to go from roots of polynomial equations mod p to roots mod p 2, mod p 3, etc. - from there we can use CRT to construct
More informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationCommutative Rings and Fields
Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two
More informationFollow links for Class Use and other Permissions. For more information send to:
COPYRIGHT NOTICE: John J. Watkins: Topics in Commutative Ring Theory is published by Princeton University Press and copyrighted, 2007, by Princeton University Press. All rights reserved. No part of this
More informationNotes on Polynomials from Barry Monson, UNB
Notes on Polynomials from Barry Monson, UNB 1. Here are some polynomials and their degrees: polynomial degree note 6x 4 8x 3 +21x 2 +7x 2 4 quartic 2x 3 +0x 2 + 3x + 2 3 cubic 2 2x 3 + 3x + 2 3 the same
More informationOn the Prime Ideals of C[0,1]
On the Prime Ideals of C[0,1] Vaibhav Pandey It is well known that the set C[0, 1] of real-valued continuous functions on the closed interval [0, 1] has a natural ring structure. Its maximal ideals are
More informationO.K. But what if the chicken didn t have access to a teleporter.
The intermediate value theorem, and performing algebra on its. This is a dual topic lecture. : The Intermediate value theorem First we should remember what it means to be a continuous function: A function
More informationFall 2014 Commutative Algebra Final Exam (Solution)
18.705 Fall 2014 Commutative Algebra Final Exam (Solution) 9:00 12:00 December 16, 2014 E17 122 Your Name Problem Points 1 /40 2 /20 3 /10 4 /10 5 /10 6 /10 7 / + 10 Total /100 + 10 1 Instructions: 1.
More information