# THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

Size: px
Start display at page:

Transcription

1 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]), with a focus on establishing a dictionary between algebra and geometry. In particular this dictionary helps in visualizing certain computations that take place in polynomial rings. Among these are decomposing ideals in a manner analogous to prime factorization, and determining when coordinate rings are integrally closed. Contents 1. Defining the dictionary 1 2. Computing Intersections of Ideals 6 3. Integrally Closed and not Integrally closed things 8 References 9 1. Defining the dictionary This section very closely follows the first two sections of Chapter 15 of Dummit & Foote [1] with some omission and reordering. Some of the ideas also come from [2]. Everything is presented at the level of a student who has had a first course in Abstract Algebra. The first place in which most people encounter a geometric interpretation of an algebraic object is in the Fundamental Theorem of Algebra: Theorem 1.1 (Fundamental Theorem of Algebra). Let k be a field with algebraic closure k. Then if f(x) k[x] is a polynomial, f has exactly n roots in k. This theorem establishes a correspondence between algebra (the polynomial ring k[x]), and geometry (the set of roots in one dimensional affine space over k). The polynomial ring in n variables over a field k is closely associated with n-dimensional affine space A n (k), since a polynomial in the ring can be evaluated at a point in the space. A solution to a polynomial is a point at which it evaluates to zero. Definition 1.2. Let S k[x 1,..., x n ]. Then Z(S) = {(a 1,..., a n ) A n (k) f(a 1,..., a n ) = 0 for all f S} A set of the form Z(S) for some S is called an algebraic set. Date: August

2 2 ALICE MARK The set of roots of a polynomial in one variable is an algebraic set. Z is a surjective map from the power set of k[x 1,..., x n ] to the set of algebraic subsets of A n (k). This map reverses inclusions, since if more polynomials are added to a set of polynomials there can be no new points at which they are all zero, and there could be fewer. Using this fact, we can show the following: Lemma 1.3. Let S k[x 1..., x n ]. If I is the ideal generated by S, then Z(S) = Z(I). Proof. We already have Z(I) Z(S), since S I. Now suppose (a 1,..., a n ) Z(S). Every element f of I is a finite linear combination of elements of S, so f(a 1,..., a n ) = 0, so Z(S) Z(I). Therefore Z(S) = Z(I). This shows that when Z is restricted to the set of ideals of k[x 1,..., x n ], it remains surjective. It is not injective: Z(x) = Z(x 2 ) = {0} in R, but x and x 2 generate different ideals in R[x]. Example 1.4. Not every subset of n-dimensional affine space is an algebraic set. In 1-dimension, the algebraic sets are the finite sets, the empty set, and the whole space. This is because k is a field, so k[x] is a PID, so every ideal is generated by only one polynomial. Therefore every algebraic set Z(S) is equal to Z(f) for some polynomial f k[x]. f can only have finitely many roots. In the special cases where f is a constant polynomial, Z(f) is either k or, depending on whether f is zero or not. Z gives us a way to interpret algebra geometrically. interpret geometry algebraically. We still need a way to Definition 1.5. Let A A n (k). Then I(A) = {f k[x 1,..., x n ] f(a 1,..., a n ) = 0 for all (a 1,..., a n ) A} Proposition 1.6. I(A) is an ideal for all A A n (k) Proof. The zero polynomial is in I(A) for any A, so I(A). Suppose f, g I(A), h k[x 1..., x n ]. Then for any (a 1..., a n ) A, we have (f hg)(a 1..., a n ) = f(a 1..., a n ) h(a 1,..., a n )g(a 1,..., a n ) = 0, so f hg I(A). Therefore I(A) is an ideal. I is not surjective from the power set of A n (k) to the set of ideals of k[x 1,..., x n ]: In R[x], the ideal (x 2 + 1) is not in the image of I. This is because x has no roots in R. Here are some basic, easily verified, and useful facts, each with a one sentence explanation by way of proof: Proposition 1.7. For all of the following, I and J are ideals with I J k[x 1,..., x n ], (we only need to consider ideals, because of Lemma 1.3) and A B A n (k). (1) Z(J) Z(I) and I(B) I(A). (2) Z(I J) = Z(I) Z(J), and I(A B) = I(A) I(B). (3) Z(0) = A n (k) and Z(k[x 1,..., x n ]) =. Also I( ) = k[x 1,..., x n ]. (4) Z(I) Z(J) = Z(IJ) = Z(I J).

3 THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS 3 Proof. (1) We have already used the first fact, but here is a more precise proof of it: Let (a 1,..., a n ) Z(J), and let f I. Then f J, so f(a 1,..., a n ) = 0, so (a 1,..., a n ) Z(I). For the second, if f I(B), f(a 1,..., a n ) = 0 for (a 1,..., a n ) B A, so f I(A). (2) Z(I J) Z(I) Z(J) and I(A B) I(A) I(B) because of (1). If (a 1,..., a n ) Z(I) Z(J), then for all f I and all g J, f(a 1,..., a n ) = 0 and g(a 1,..., a n ) = 0, so (a 1,..., a n ) Z(I J). If f I(A) I(B), then for all (a 1,..., a n ) A, and all (b 1,..., b n ) B, f(a 1,..., a n ) = 0 and f(b 1,..., b n ) = 0, so f I(A B). (3) The zero polynomial is zero on all of A n (k). 1 k[x 1,..., x n ], and the constant polynomial 1 never evaluates to zero. 1 I( ), and 1 is a unit so it generates the whole ring k[x 1,..., x n ]. (4) IJ I and J so by (1), Z(I) Z(J) Z(IJ). The same argument works with I J substituted for IJ. If (a 1,..., a n ) Z(IJ), then (fg)(a 1,..., a n ) = 0 whenever f I, g J which means (a 1,..., a n ) Z(I) or Z(J). IJ I J so by (1), Z(I J) Z(IJ) Z(I) Z(J). Now it makes sense to return to the question of when Z and I are surjective and injective. Theorem 1.8. I restricted to the set of algebraic sets and Z restricted to the image of I are both bijections, and they are inverses of each other. Proof. To see that I restricted to the image of Z is surjective, pick I(A) in the image of I. Let V = Z(I(A)). If f I(A) then f(a 1,..., a n ) = 0 for all (a 1,..., a n ) V, so f I(V ), so I(A) I(V ). A V, so I(V ) I(A). Therefore I(A) = I(V ). V is an algebraic set, so I restricted to the set of algebraic sets is surjective onto the image of I without the restriction. We already have that I is injective, so I is a bijection between the set of algebraic sets and ideals of the form I(A). Now, let V = Z(I) be an algebraic set, where I k[x 1,..., x n ] is an ideal. If f I, f(a 1,..., a n ) = 0 for (a 1,..., a n ) V, so f I(V ). Then I I(V ), so Z(I(V )) Z(I). If (a 1,..., a n ) V, then f(a 1,..., a n ) = 0 for f I(V ), so (a 1,..., a n ) Z(I(V )). Therefore Z restricted to the image of I is surjective. Furthermore, since Z(I(V )) = V if V is an algebraic set, Z is the inverse of I. Definition 1.9. An algebraic set is called reducible if it can be written as the union of proper algebraic subsets. An algebraic set that is not reducible is called a variety. There is an associated algebraic idea of an irreducible ideal, which is kind of like a prime ideal. Definition An ideal I is called irreducible if it cannot be written as the intersection of two ideals in which it is properly contained. All prime ideals are irreducible, since if P R is a prime ideal with P = Q 1 Q 2, then Q 1 Q 2 P. If P is properly contained in Q 1, pick q 1 Q 1 P. Then q 1 q 2 Q 1 Q 2 P for all q 2 Q 2, but since P is prime this implies q 2 P, so Q 2 = P.

6 6 ALICE MARK 2. Computing Intersections of Ideals In this section, I ll describe how to take the intersection of two ideals in a polynomial ring in a few different situations. Intersections come up in computing things to do with algebraic sets because of primary decomposition of ideals in a polynomial ring. In the world of PIDs, the difference between the product of ideals and the intersection of ideals is the same as the difference between the product of two numbers and their least common multiples. A polynomial ring in two or more variables over a field is not a PID, but intuitively what is going on is much the same. Example 2.1. Compute (x, y) (x, z) in the ring R[x, y, z]: The ideal generated by the least-common-multiple of the pairs of generators is (x, xz, xy, yz). Since xy, xz (x, yz) we don t need all the generators: (x, xz, xy, yz) = (x, yz). (x, yz) looks like it should be the intersection, but so far all we know is that (x, yz) (x, y) (x, z). To get the reverse inclusion, we can use a few things from the previous section as well as Gröbner bases. Here I have included the relevant definitions and statements of the relevant theorems. The proofs are long and can be found in section 9.6 of [1]. The numbers from that text are included for easy reference. For the rest of this section, we are working in the ring R[x 1,..., x n ], a polynomial ring in n variables where R is a commutative ring with 1 (usually, R will be a field, k). For all proofs, assume R is Noetherian, so that we have R[x 1,..., x n ] is also Noetherian by the Hilbert Basis Theorem. Definition 2.2. For a monomial M = rx e1 n i=1 e i. 1 xe xen n, the multidegree of M is To order the the monomials in R[x 1,..., x n ], fix an order x 1 >... > x n (renumber for convenience). For monomials M and M, M > M if deg(m) > deg(m ). If deg(m) = deg(m ), then M = x α xαn n > x β xβn n = M when α i = β i for 1 i j and α j > β j, 1 j n. For a polynomial f R[x 1,..., x n ], the leading term LT (f) is the largest term with respect to this ordering. For any ideal I R[x 1... x n ] we can form LT (I), the ideal generated by {LT (f) f I}. Assume we have fixed a monomial ordering with x 1 >... > x n for the rest of this section. Definition 2.3 (Gröbner basis). Let I be an ideal in R[x 1,..., x n ]. A Gröbner Basis for I is a finite generating set {g 1,..., g m } for I such that {LT (g 1 ),..., LT (g m )} generates LT (I). Theorem 2.4 ( in [1]). Every ideal in k[x 1,..., x n ] has a Gröbner basis. There is an algorithm for computing Gröbner bases given a generating set for an ideal. It requires the use of the general polynomial division algorithm. I haven t included it here, and the calculations involving it are omitted. The algorithm can be found on pages 320 and 324 of [1]. Part of the algorithm involves knowing when to stop, that is, knowing when the generating set you have is a Gröbner basis. A simple case is that when every generator is a monomial, the set is a Gröbner basis. (In this case, the ideal of leading terms is the ideal itself.) Lemma 2.5 ( in [1]). If G = {g 1,..., g m } is a Gröbner basis for I in k[x 1,..., x n ], then G k[x 1,..., x i ] is a Gröbner basis for I k[x 1,..., x i ] in k[x 1,..., x i ].

7 THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS 7 Gröbner bases behave nicely under sums and products: Lemma 2.6 (page 330 in [1]). For ideals I and J with Gröbner bases {f 1,..., f p } and {g 1,..., g q } respectively, {f 1,..., f p, g 1,..., g q } is a Gröbner basis for I + J, and {f 1 g 1, f 1, g 2,..., f 1 g n, f 2, g 1,..., f n g n } is a Gröbner basis for IJ. Now we have what we need to finish example 2.1. Recall from the previous section that for ideals I and J k[x 1,..., x n, we have Z(I J) = Z(IJ) = Z(I) Z(J), and that I(A B) = I(A) I(B). Suppose I and J are both in the image of I. Then since I and Z are inverses in this situation, I J =I(Z(I)) I(Z(J)) =I(Z(I) Z(J)) =I(Z(IJ)) The two ideals from Example 2.1 are (x, y) = I({(a, b, c) R 3 a = b = 0}) and (x, z) = I({(a, b, c) R 3 a = c = 0}), so the above applies. Both are written in terms of Gröbner bases, since all the generators are monomials. By Lemma 2.6, (x, y)(x, z) = (x 2, xy, xz, yz) is a Gröbner basis for the product, so (x, y) (x, z) = I(Z(x 2, xy, xz, yz)) = I(Z(x 2 ) Z(xy) Z(xz) Z(yz)) = I(yz plane (yz plane xz plane) (yz plane xy plane) (xz plane xy plane)) = I(yz plane (xz plane xy plane)) = (x, yz) In this calculation, what we re really using is that (x, yz) = rad(x 2, xy, xz, yz) which is true because if x 2 is a generator of an ideal, x is in the radical of that ideal. This is a good method, but it only works for ideals in the image of I. We d like to be able to calculate intersections for more than just this special group of ideals. Theorem 2.7 ( in [1]). Let I, J R[x 1,..., x n ]. We can form the ideal ti + (1 t)j in the ring R[t, x 1,..., x n ]. The intersection I J = (ti + (1 t)j) R[x 1,..., x n ]. Proof. Without really showing what is going on, we can show both inclusions. First pick f I J. Let D = ti + (1 t)j k[x 1,..., x n ]. Then f = tf + (1 t)f D. For the other direction, consider an element g = tf 1 + (1 t)f 2 D (D since 0 D), where f 1 I, f 2 J. Then (tricky!) t(f 1 f 2 ) = g f 2 k[x 1,..., x n ] so f 1 = f 2 = g, so all are in I J. Theorem 2.7 is technical and unsatisfactory. The rough geometric picture of what it describes is that there is a copy of Z(I) at t = 1 and copy of Z(J) at t = 0. Taking the intersection ti + (1 t)j k[x 1,..., x n ] sort of super-imposes the two, resulting in the union Z(I) Z(J), which is predicted by Z(I J) = Z(I) Z(J). The proof itself does not use any of the Gröbner basis tools, but we will need them in order to carry out any calculations:

8 8 ALICE MARK Example 2.8. It is easy to see that (x 2 ) (x 3 ) = (x 3 ) in the ring R[x], but this can t be computed using first method, since rad(x 2 ) = rad(x 3 ) = (x). Using the second method, t(x 2 ) + (1 t)(x 3 ) = (tx 2, tx 3 x 3 ). A Gröbner basis for this ideal is (tx 2, tx 3 x 3, x 3 ). By 2.5, (tx 2, tx 3 x 3, x 3 ) R[x] = (x 3 ). 3. Integrally Closed and not Integrally closed things This last section follows two examples of how the algebraic geometry dictionary can work for us. Definition 3.1. Let R be an integral domain, and let F be its field of fractions with algebraic closure F. s F is integral over R if it is the root of a monic polynomial with coefficients in R. R is called integrally closed if whenever s F is integral over R, s R. In an extension E of F, the integral closure of R is {s E s is integral over R}. Example 3.2. By the rational root theorem, Z is integrally closed in Q. Example 3.3. Consider R = C[x, y]/(x 2 y 3 ). Let F be the field of fractions of R. The polynomial t 3 x R[t] is monic, and has 3 x as a root, so 3 x is integral over R. 3 y x x x = x = 2 = = y2 x x x = y3 xy = x2 xy = x y F t 3 x is irreducible over R, so 3 x / R, so R is not integrally closed. Example 3.4. In his (unpublished) paper, Wadsworth [3] gives many proofs that the coordinate ring R[x, y]/(x 2 + y 2 1) is integrally closed. Here is one of them: Lemma 3.5. Let R be a UFD in which 2 is a unit, and let a R be a squarefree nonzero nonunit. Then R[ a] is the integral closure of R in the fraction field of R[ a], so R[ a] is integrally closed. Proof. Let F be the fraction field of R. Since a is squarefree, the minimal polynomial for a over F is t 2 a. The fraction field of R[ a] is a proper extension of F, and is contained in F ( a), so it is equal to F ( a) since [F ( a) : F ] = 2. Let S be the integral closure of R in F ( a). Then a S since t 2 a R[t], so R[ a] S. To get the other inclusion, let α = c + d a S F ( a), and let σ be the nonidentity element of Gal(F ( a)/f ). Then σ : α c d a. If f(t) F [t] has α as a root, it also has σ(α) as a root. In particular, since α is integral over R, so is σ(α). Therefore T r(α) and Norm(α) are both in S, so both are is S F = R. We can compute them both: and T r(α) = α + σ(α) = 2c Norm(α) = ασ(α) = c 2 d 2 a Since 2 is a unit in R, c R. From this we get d 2 a R. By unique factorization, d R. Therefore α R[ a], so S = R[ a]. Lemma 3.5 can be applied to the ring C[x, y]/(x 2 + y 2 1) as follows. R = C[x]. Then y 2 + (x 2 1) is an irreducible polynomial in R[y], and Let C[x, y]/(x 2 + y 2 1) = R[y]/(y 2 + (x 2 1)) R[ x 2 1] = C[x, x 2 1]

9 THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS 9 Since C[x] is a UFD, x 2 1 = (x 1)(x + 1) is a unique factorization. Therefore x 2 1 C[x] is a nonzero squarefree nonunit, and 2 is a unit, so by the lemma, C[x, x 2 1] is integrally closed. The fact that one of these rings is integrally closed and the other is not is reflected in the geometry. Z(x 2 + y 2 1) is smooth, and Z(x 2 y 3 ) has a cusp at (0, 0). In order to establish this connection, we need a bit more machinery. Definition 3.6. Let V be a variety, v V. Then if I(V ) = (f 1,..., f m ), the tangent space of V at v is m n Z df i (v)x j dx j i=1 j=1 V is said to be smooth if for all v V, the dimension of the tangent space at V is equal to the dimension of V. Example 3.7. Continuing with example 3.3 from before, the tangent space to Z(x 2 y 3 ) at a point (a, b) Z(x 2 y 3 ) is Z(2bx 3b 2 y). At the point (0, 0), this becomes Z(0) = A 2 (C) which has dimension 2. Z(x 2 y 3 ) has dimension 1, so Z(x 2 y 3 ) is not smooth at (0, 0). Furthermore, if (a, b) Z(x 2 3) then a = 0 if and only if b = 0, so at any nonzero point in Z(x 2 y 3 ), the coeffecients of x and y in 2ax 3b 2 y are both nonzero, so Z(2ax 3b 2 y) is a curve, which has dimension 1. Therefore Z(x 2 y 3 ) is smooth at all other points. Example 3.8. The same computation shows that the variety in example 3.4 is smooth. The tangent space to Z(x 2 +y 2 1) at (a, b) Z(x 2 +y 2 1) is Z(2ax+2by). For any (a, b) Z(x 2 + y 2 1) this will be a curve in A 2 (C). The real part will just be the line y = a b x when b 0, and the y-axis when b = 0. It is not generally true that all integrally closed coordinate rings correspond to smooth varieties, but it is true for one dimensional varieties. References [1] Dummit, David S., and Foote, Richard M. Abstract Algebra 3rd ed. USA: John Wiley & Sons Inc., [2] Eisenbud, David. Commutative Algebra With a View Toward Algebraic Geometry. New York: Springer-Verlag, [3] Wadsworth, A. A Geometric Dedekind Domain (as yet unpublished), 2005.

### 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

### NOTES 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 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

### Math 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

### ALGEBRAIC 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

### 8. 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

### 4.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)

### 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.

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

### Math 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

### The Geometry-Algebra Dictionary

Chapter 1 The Geometry-Algebra Dictionary This chapter is an introduction to affine algebraic geometry. Working over a field k, we will write A n (k) for the affine n-space over k and k[x 1,..., x n ]

### Institutionen 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...............................

### Math 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

### Factorization in Polynomial Rings

Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18. PIDs Definition 1 A principal ideal domain (PID) is an integral

### Exploring 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

### ALGEBRAIC 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.

### Algebraic 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.....................................

### Course 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...............................

### 10. 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.

### 2. 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

### Example: This theorem is the easiest way to test an ideal (or an element) is prime. Z[x] (x)

Math 4010/5530 Factorization Theory January 2016 Let R be an integral domain. Recall that s, t R are called associates if they differ by a unit (i.e. there is some c R such that s = ct). Let R be a commutative

### A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In

### CHEVALLEY 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

### Summer 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

### MATH 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

### AN INTRODUCTION TO AFFINE SCHEMES

AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,

### Algebra 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.

### Algebraic 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

### Local properties of plane algebraic curves

Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying

### Algebraic 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

### Honors 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

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

PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine 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

### 1. 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

### Algebraic 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 ) :

### Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

### INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References

INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,

### MATH 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

### CHAPTER 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

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

Chapter 3 Valuation Rings The results of this chapter come into play when analyzing the behavior of a rational function defined in the neighborhood of a point on an algebraic curve. 3.1 Extension Theorems

### MATH 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

### Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

### ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been

### 3. 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

### Math 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

### Basic 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,

### Lecture 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

### Assigned homework problems S. L. Kleiman, fall 2008

18.705 Assigned homework problems S. L. Kleiman, fall 2008 Problem Set 1. Due 9/11 Problem R 1.5 Let ϕ: A B be a ring homomorphism. Prove that ϕ 1 takes prime ideals P of B to prime ideals of A. Prove

### CRing Project, Chapter 5

Contents 5 Noetherian rings and modules 3 1 Basics........................................... 3 1.1 The noetherian condition............................ 3 1.2 Stability properties................................

### Part IX. Factorization

IX.45. Unique Factorization Domains 1 Part IX. Factorization Section IX.45. Unique Factorization Domains Note. In this section we return to integral domains and concern ourselves with factoring (with respect

### NOTES ON FIBER DIMENSION

NOTES ON FIBER DIMENSION SAM EVENS Let φ : X Y be a morphism of affine algebraic sets, defined over an algebraically closed field k. For y Y, the set φ 1 (y) is called the fiber over y. In these notes,

### Integral 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

### Rings 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...

### HILBERT FUNCTIONS. 1. Introduction

HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each

### Commutative 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

### ADVANCED 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.

### Polynomials, 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

### Lecture 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 Factorization 0.1.1 Factorization of Integers and Polynomials Now we are going

### Introduction Non-uniqueness of factorization in A[x]... 66

Abstract In this work, we study the factorization in A[x], where A is an Artinian local principal ideal ring (briefly SPIR), whose maximal ideal, (t), has nilpotency h: this is not a Unique Factorization

### MAS 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 E-mail address: ford@fau.edu

### Math 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010

Math 4370 Exam 1 Handed out March 9th 2010 Due March 18th 2010 Problem 1. Recall from problem 1.4.6.e in the book, that a generating set {f 1,..., f s } of I is minimal if I is not the ideal generated

### COMMUNICATIONS 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,

### CRing Project, Chapter 7

Contents 7 Integrality and valuation rings 3 1 Integrality......................................... 3 1.1 Fundamentals................................... 3 1.2 Le sorite for integral extensions.........................

### HARTSHORNE 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

### 4.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

### 1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

### Math 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)

### Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]

Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j

### ABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n

ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington

### 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.

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

### ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

### 32 Divisibility Theory in Integral Domains

3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible

### 6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree

Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S

### MA 252 notes: Commutative algebra

MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University February 11, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 13 Primary ideals Primary decompositions

### be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

### Factorization in Domains

Last Time Chain Conditions and s Uniqueness of s The Division Algorithm Revisited in Domains Ryan C. Trinity University Modern Algebra II Last Time Chain Conditions and s Uniqueness of s The Division Algorithm

### Algebraic Geometry. 1 4 April David Philipson. 1.1 Basic Definitions. 1.2 Noetherian Rings

Algebraic Geometry David Philipson 1 4 April 2008 Notes for this day courtesy of Yakov Shlapentokh-Rothman. 1.1 Basic Definitions Throughout this course, we let k be an algebraically closed field with

### A COURSE ON INTEGRAL DOMAINS

A COURSE ON INTEGRAL DOMAINS ALGEBRA II - SPRING 2004 Updated - March 3, 2004 1. The Fundamental Theorem of Arithmetic My son who is in the 4 th grade is learning about prime numbers and cancelling prime

### Projective 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

### CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

### arxiv: v1 [math.ac] 25 Jul 2017

Primary Decomposition in Boolean Rings David C. Vella, Skidmore College arxiv:1707.07783v1 [math.ac] 25 Jul 2017 1. Introduction Let R be a commutative ring with identity. The Lasker- Noether theorem on

### Chapter 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

### RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

### Commutative 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.....................

### ADVANCED TOPICS IN ALGEBRAIC GEOMETRY

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of

### NOTES 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

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

### MATH32062 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,

### 7 Orders in Dedekind domains, primes in Galois extensions

18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in

### GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

### Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

### ALGEBRAIC 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

### 2. 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.

### 6 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

### ne varieties (continued)

Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

### MINKOWSKI THEORY AND THE CLASS NUMBER

MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the

### Algebraic 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

### 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

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

### RUDIMENTARY GALOIS THEORY

RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the

### INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14 RAVI VAKIL Contents 1. Dimension 1 1.1. Last time 1 1.2. An algebraic definition of dimension. 3 1.3. Other facts that are not hard to prove 4 2. Non-singularity: