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


 Anthony Elliott
 3 years ago
 Views:
Transcription
1 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 rad(j) = I(V J (k)). This fact, which depends on k being algebraically closed, was first proven by D. Hilbert, and is called the strong form of Hilbert s Nullstellensatz. Theorem 1.1. (Hilbert s Nullstellensatz, strong form.) Let k be an algebraically closed field, and let J k[x 1,..., x n ] be an ideal. Then I(V J (k)) = rad(j). Proof. If f k[x 1,..., x n ] is in the radical f rad(j), then f n J for some positive integer n, so f n (a 1,..., a n ) = 0 for all (a 1,..., a n ) V J (k). Since k is a field, f (a 1,..., a n ) = 0 as well. So f I(V J (k)). So rad(j) I(V J (k)). (This part did not depend on k being algebraically closed.) Showing that rad(j) I(V J (k)) requires more work. Suppose f rad(j). Since rad(j) is the intersection of the prime ideals of k[x 1,..., x n ] containing J, there exists some prime ideal p of k[x 1,..., x n ] such that f p and such that p J. Choose a maximal ideal m of the ring k[x 1,..., x n ]/p[ f 1 ]. The kalgebra k[x 1,..., x n ]/p[ f 1 ] is a finitely generated kalgebra (by x 1,..., x n, f 1 ), so k[x 1,..., x n ]/p[ f 1 ]/m is a finitely generated kalgebra and also a field. Hence k[x 1,..., x n ]/p[ f 1 ]/m is a finite field extension. (The observation that a finitely generated kalgebra which is also a field is a finite field extension of k is called Zariski s lemma, and a careful proof of the Nullstellensatz would include a proof of Zariski s lemma.) Since k is assumed algebraically closed, any finite field extension of k is equal to k itself. Let (a 1,..., a n ) A n k denote the image of the elements x 1,..., x n of k[x 1,..., x n ] under the composite k[x 1,..., x n ] k[x 1,..., x n ]/p[ f 1 ]/m k. Since J p, we have (a 1,..., a n ) V J (k), and since f is inverted in k[x 1,..., x n ]/p[ f 1 ]/m, we have f (a 1,..., a n ) 0. Hence f I(V J (k)). Hence I(V J (k)) rad(j). Example 1.2. It is important that the Nullstellensatz depends on k being algebraically closed! For example, let k = R (which is clearly not algebraically closed), let n = 1, and let J = (x 2 + 1). Then V J (R) =, so I(V J (R)) = R[x]. So for J = (x 2 + 1) we have but the inclusion is not an equality! J = rad(j) I(V J (R), Corollary 1.3. If k is an algebraically closed field and n is a nonnegative integer, then the operations V and I establish a onetoone correspondence between radical ideals Date: January
2 2 ANDREW SALCH in k[x 1,..., x n ] and algebraic sets in A n k. This onetoone correspondence reverses the partialordering (given by inclusion) on these two collections. Definition 1.4. To each algebraic set X, we associate the commutative kalgebra k[x 1,..., x n ]/I(X), for which we write A(X). We call A(X) the (affine) coordinate ring of X. Note that A(X) is always a reduced kalgebra, since you showed that R/I is reduced if and only if I is radical, and I(X) is always radical! 2. The Zariski topology. Proposition 2.1. V on products of ideals. Let I, J k[x 1,..., x n ] be ideals. Then: V I (k) V J (k) = V IJ (k). Proof. We have an inclusion of ideals IJ I, so we get an inclusion of algebraic sets in the opposite direction V IJ (k) V I (k). Swap I and J to get a similar inclusion V IJ (k) V J (k). Since both V I (k) and V J (k) are contained in V IJ (k), we have V I (k) V J (k) V IJ (k). Now suppose (a 1,... a n ) V IJ (k), i.e., f (a 1,..., a n ) = 0 for all f IJ. If (a 1,..., a n ) is not contained in V I (k), then there is some element i I such that i(a 1,..., a n ) 0. Then, for all j J, i j IJ, so (i j)(a 1,..., a n ) = i(a 1,..., a n ) j(a 1,..., a n ) = 0 but i(a 1,..., a n ) 0. So j(a 1,..., a n ) = 0, for all j J. So (a 1,..., a n ) V J (k). So every element (a 1,... a n ) V IJ (k) is contained in either V I (k) or V J (k). So V IJ (k) V I (k) V J (k). Theorem 2.2. Let k be an algebraically closed field, and let n be a nonnegative integer. There exists a topology on A n k in which the closed sets are exactly the algebraic sets. Proof. First, the empty set A n k is algebraic, since V k[x 1,...,x n ](k) =. Second, the subset A n k of An k is algebraic, since V (0)(k) = A n k. Third, suppose that X, Y A n k are algebraic sets. Let X = V I(k) and let Y = V J (k). Then X Y = V IJ (k), by Proposition 2.1. So X Y is also an algebraic set. So a union of finitely many algebraic sets is algebraic. Lastly, suppose that {X s } s S is a set of algebraic sets in A n k. For each s S, choose an ideal I s in k[x 1,..., x n ] such that X s = V Is (k). Let J be the ideal of k[x 1,..., x n ] generated by the union s S I s of the ideals I s. Then every element f k[x 1,..., x n ] which vanishes on J also vanishes on s S I s, hence vanishes on each ideal I s, hence f V Is (k) for all s S ; and conversely, if f V Is (k) for all s S, then f vanishes on each I s, hence f vanishes on the union s S I s, hence f vanishes on J and hence f V J (k). We conclude that V J (k) = s S V Is (k) = s S X s. So any intersection of algebraic sets is an algebraic set. Definition 2.3. The topology on A n k in which the closed sets are the algebraic sets is called the Zariski topology. If X A n k is an algebraic set, we give X the subspace topology that it inherits from the Zariski topology on A n k, and we call this subspace topology the Zariski topology on X. 3. Affine varieties. Definition 3.1. Let k be algebraically closed. An affine variety is an algebraic set X A n k such that, if X is equal to the union Y Z of two algebraic sets Y, Z A n k, then either Y = X or Z = X.
3 ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. 3 In other words, algebraic varieties are those algebraic sets that cannot be written nontrivially as a union of two smaller algebraic sets. Geometrically it makes sense to study such things: if you can answer some question about algebraic varieties, in principle you probably ought to be able to answer the same question about algebraic sets, since every algebraic set is a union of finitely many algebraic varieties. (This last fact, that every algebraic set is a union of finitely many algebraic varieties, is true, but it isn t obvious or trivial! We give a proof, below, in Theorem 4.4.) The algebraic varieties are distinguished among the algebraic sets by an appealingly simple algebraic property: Theorem 3.2. Let k be algebraically closed. Suppose X A n k is an algebraic set. Then X is an affine variety if and only if its coordinate ring A(X) is an integral domain. Proof. The algebraic set X failing to be an affine variety is equivalent to X splitting as a union X = Y Z where Y and Z are both algebraic sets which are proper subsets of X. Suppose X fails to be an affine variety. Then I(X) = I(Y) I(Z). Since neither Y nor Z are equal to X, there exists an element y Y such that y Z, and there exists an element z Z such that z Y. So we can choose an element f I(Y) such that f (z) 0, and we can choose an element g I(Z) such that g(y) 0. So both f and g have nonzero image under the map f, g k[x 1,..., x n ] k[x 1,..., x n ]/ (I(Y) I(Z)) = A(X). But now consider the product f g in k[x 1,..., x n ]. If we have an element x Y, then f g(x) = f (x)g(x) = 0 since f vanishes on Y, and if we have an element x Z, then f g(x) = f (x)g(x) = 0 since g vanishes on Z. Hence f g vanishes on Y Z = X. Hence f g is zero in the quotient algebra k[x 1,..., x n ]/I(X) = A(X). So f, g are zero divisors in A(X). For the converse: suppose that X A n k is an affine variety, and suppose that f, g k[x 1,..., x n ] are such that f g I(X). So ( f g) I(X). So: V ( f ) (k) V (g) (k) = V ( f g) (k) V I(X) (k) So X = (X V ( f ) (k)) (X V (g) (k)). As an intersection of two algebraic sets is algebraic, X V ( f ) (k) = V J1 (k) and X V (g) (k) = V J2 (k) for some ideals J 1, J 2 k[x 1,..., x n ]. The assumption that X is an affine variety together with the fact that X = V J1 (k) V J2 (k) tells us that either X = V J1 (k) or X = V J2 (k). Now V ( f ) (k) V J1 (k), so rad(( f )) rad(j 1 ), so ( f ) rad(j 1 ), so some power of f is contained in J 1. So, if X = V J1 (k), then f I(X). By the same argument, in X = V J2 (k), then g I(X). Either X = V J1 (k) or X = V J2 (k) is true, so either f I(X) or g I(X). Hence, if f g I(X), then either f I(X) or g I(X). So I(X) is a prime ideal. So A(X) = k[x 1,..., x n ]/I(X) is an integral domain. We showed in the previous lecture that there is an orderreversing onetoone correspondence between algebraic sets in A n k and ideals in k[x 1,..., x n ], when k is algebraically closed. Now Theorem 3.2 tells us that the affine varieties correspond, under this onetoone correspondence, with the prime ideals: Corollary 3.3. Suppose k is an algebraically closed field. The operations V and I give us a onetoone correspondence between algebraic varieties in A n k and prime ideals in k[x 1,..., x n ]. This correspondence reverses the partialordering given by inclusion. = X.
4 4 ANDREW SALCH 4. Chain conditions and dimension. Definition 4.1. If R is a commutative ring, by the Krull dimension of R we mean the largest integer n such that there exists a chain of proper inclusions of prime ideals of R. p 0 p 1 p n Some examples of Krull dimension: Any field k has Krull dimension 0, since the only prime ideal in k is (0). Suppose R is a commutative ring such that there exists a surjective ring homomorphism f : R k, with k a field, such that the kernel of f is a nilpotent ideal of f. Then the only prime ideal of R is ker f, and the Krull dimension of R is still zero. Principal ideal domains R (such as Z) that are not fields have Krull dimension 1, since you have the chain (0) (r) for every nonunit r R, and no longer chains of inclusions of prime ideals (you can prove this as an easy exercise if you want). The ring k[x 1,..., x n ] has Krull dimension n. Observation 4.2. Suppose k is algebraically closed. Since the prime ideals of k[x 1,..., x n ]/I are in inclusionpreserving onetoone correspondence with the prime ideals of k[x 1,..., x n ] containing I, the Krull dimension of k[x 1,..., x n ]/I is less than or equal to the Krull dimension of k[x 1,..., x n ]. In particular, the Krull dimension of k[x 1,..., x n ]/I is finite. So the Krull dimension of A(X) is finite, for all algebraic sets X A n k. Proposition 4.3. Let k be algebraically closed. Let X A n k be an affine variety. Then the length i of the longest chain of proper inclusions X = X 0 X 1 X i = A n k of affine varieties is equal to the Krull dimension of A(X). Proof. Affine varieties containing X are in orderreversing bijection with prime ideals of k[x 1,..., x n ] contained in I(X), by Corollary 3.3. That s it! We refer to the Krull dimension of A(X) as the dimension of X. Lemma 4.4. Let k be algebraically closed. There are no infinite chains of proper inclusions X 0 X 1 X 2... of algebraic sets in A k n. Proof. Any such chain corresponds to a chain of proper inclusions I 0 I 1 I 2... of ideals of k[x 1,..., x n ]. But k[x 1,..., x n ] is a Noetherian ring, so every ascending chain of inclusions of ideals in k[x 1,..., x n ] eventually stabilizes, so there are no infinite ascending chains of proper inclusions of ideals in k[x 1,..., x n ]. Theorem 4.5. Let k be algebraically closed. Then every algebraic set X A n k is a union of finitely many affine varieties. Proof. Suppose X is an algebraic set but not an affine variety. Then X = X 0 X 1 for some algebraic sets X 0, X 1 with X X 0 and X X 1. Either X 0 and X 1 each are a union of finitely many affine varieties (in which case X is, as well), or at least one of the two algebraic sets X 0, X 1 fails to be a union of finitely many affine varieties. Without loss of generality, we can suppose that X 0 is the one that fails to be a union of finitely many affine varieties. Then X 0 = X 00 X 01 for some algebraic sets X 00, X 01 with neither X 00 nor X 01 equal to all of X 0.
5 ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. 5 Now the process repeats: either each X 00 and X 01 are each a union of finitely many affine varieties (contradicting our assumption about X 0 ), or at least one of the two algebraic sets X 00, X 01 fails to be a union of finitely many affine varieties. Without loss of generality, we can suppose that X 00 is the one that fails to be a union of finitely many affine varieties. Then X 00 = X 000 X 001 for some algebraic sets X 000, X 001 with neither X 000 nor X 001 equal to all of X 00. We iterate this process to get a chain of equalities X = X 0 X 1 = X 00 X 01 X 1 = X 000 X 001 X 01 X 1 =... If X is not a union of finitely many affine varieties, then this chain of equalities never ends, i.e., at no (finite) stage in this process do we get that each X i0...i n is an affine variety. But this means that, stripping off all but the first space in each union, we have an infinite chain of proper inclusions X X 0 X 00 X with each X i an algebraic set in A n k which is impossible by Lemma 4.4. So X must be a union of finitely many affine varieties.
Math 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 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 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 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 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 socalled prime and maximal ideals. Let
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 Alinear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationAlgebraic geometry of the ring of continuous functions
Algebraic geometry of the ring of continuous functions Nicolas Addington October 27 Abstract Maximal ideals of the ring of continuous functions on a compact space correspond to points of the space. For
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 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 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 informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 610, 2010 1 Introduction In this project, we will describe the basic topology
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
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 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 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 informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
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 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 informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
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 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 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 informationSpring 2016, lecture notes by Maksym Fedorchuk 51
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)
More informationNOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22
NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm
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 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 informationCommutative Algebra and Algebraic Geometry. Robert Friedman
Commutative Algebra and Algebraic Geometry Robert Friedman August 1, 2006 2 Disclaimer: These are rough notes for a course on commutative algebra and algebraic geometry. I would appreciate all suggestions
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 informationKrull Dimension and GoingDown in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
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 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 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 informationExtended Index. 89f depth (of a prime ideal) 121f ArtinRees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f  listings ending in f give the page where the term is defined commutative
More informationLECTURE 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.
LECTURE 10 1. Affine Space & the Zariski Topology Definition 1.1. Let k a field. Take S a set of polynomials in k[t 1,..., T n ]. Then Z(S) ={x k n f(x) =0, f S}. It is easy to check that Z(S)=Z((S)) with
More informationThis 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:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
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 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 informationThe most important result in this section is undoubtedly the following theorem.
28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems
More informationDimension Theory. Mathematics 683, Fall 2013
Dimension Theory Mathematics 683, Fall 2013 In this note we prove some of the standard results of commutative ring theory that lead up to proofs of the main theorem of dimension theory and of the Nullstellensatz.
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 informationON STRONGLY PRIME IDEALS AND STRONGLY ZERODIMENSIONAL RINGS. Christian Gottlieb
ON STRONGLY PRIME IDEALS AND STRONGLY ZERODIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal
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 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 informationπ X : X Y X and π Y : X Y Y
Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasiprojective varieties are Hausdorff and that projective varieties are the only compact varieties.
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 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationCommutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...
Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 4 1.1 Rings & homomorphisms.............................. 4 1.2 Modules........................................ 6 1.3 Prime & maximal ideals...............................
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an Amodule. In class we defined the Iadic completion of M to be M = lim M/I n M. We will soon show
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 informationAlgebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003
Algebraic Geometry Andreas Gathmann Notes for a class taught at the University of Kaiserslautern 2002/2003 CONTENTS 0. Introduction 1 0.1. What is algebraic geometry? 1 0.2. Exercises 6 1. Affine varieties
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
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 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 informationAlgebraic Geometry. Instructor: Stephen Diaz & Typist: Caleb McWhorter. Spring 2015
Algebraic Geometry Instructor: Stephen Diaz & Typist: Caleb McWhorter Spring 2015 Contents 1 Varieties 2 1.1 Affine Varieties....................................... 2 1.50 Projective Varieties.....................................
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 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 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 11152012 The Topology and Algebraic Functions on Affine Algebraic Sets
More informationTHE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents
THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS ALICE MARK Abstract. This paper is a simple summary of the first most basic definitions in Algebraic Geometry as they are presented in Dummit and Foote ([1]),
More informationNOTES FOR COMMUTATIVE ALGEBRA M5P55
NOTES FOR COMMUTATIVE ALGEBRA M5P55 AMBRUS PÁL 1. Rings and ideals Definition 1.1. A quintuple (A, +,, 0, 1) is a commutative ring with identity, if A is a set, equipped with two binary operations; addition
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 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 informationFormal power series rings, inverse limits, and Iadic completions of rings
Formal power series rings, inverse limits, and Iadic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationCommutative Algebra. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...
Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 2 1.1 Rings & homomorphisms................... 2 1.2 Modules............................. 4 1.3 Prime & maximal ideals....................
More informationSection 19 Integral domains
Section 19 Integral domains Instructor: Yifan Yang Spring 2007 Observation and motivation There are rings in which ab = 0 implies a = 0 or b = 0 For examples, Z, Q, R, C, and Z[x] are all such rings There
More informationALGEBRA HW 4. M 0 is an exact sequence of Rmodules, then M is Noetherian if and only if M and M are.
ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of Rmodules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into
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 information4.2 Chain Conditions
4.2 Chain Conditions Imposing chain conditions on the or on the poset of submodules of a module, poset of ideals of a ring, makes a module or ring more tractable and facilitates the proofs of deep theorems.
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the RiemannRoch theorem. The main theorem shows that if K/F is a finite
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine nspace the collection A n k of points P = a 1, a,..., a
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
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 nonempty set. Let + and (multiplication)
More informationCRing Project, Chapter 5
Contents 5 Noetherian rings and modules 3 1 Basics........................................... 3 1.1 The noetherian condition............................ 3 1.2 Stability properties................................
More informationLECTURES ON ALGEBRAIC GEOMETRY MATH 202A
LECTURES ON ALGEBRAIC GEOMETRY MATH 202A KIYOSHI IGUSA BRANDEIS UNIVERSITY Contents Introduction 1 Overfield 1 1. A ne varieties 2 1.1. Lecture 1: Weak Nullstellensatz 2 1.2. Lecture 2: Noether s normalization
More informationMAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016
MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton Timothy J. Ford April 4, 2016 FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FLORIDA 33431 Email address: ford@fau.edu
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 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 informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
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 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 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
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 informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
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 informationStructure of rings. Chapter Algebras
Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An Ralgebra is a ring A (unital as always) together
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 information(Rgs) Rings Math 683L (Summer 2003)
(Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationA Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.
A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.
More informationTHE LENGTH OF NOETHERIAN MODULES
THE LENGTH OF NOETHERIAN MODULES GARY BROOKFIELD Abstract. We define an ordinal valued length for Noetherian modules which extends the usual definition of composition series length for finite length modules.
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationAzumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras
Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part
More informationPROBLEMS, MATH 214A. Affine and quasiaffine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasiaffine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationDMATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
DMATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
More information