Math 203A - Solution Set 3

Size: px
Start display at page:

Download "Math 203A - Solution Set 3"

Transcription

1 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) are isomorphic, (ii) and (iii) are isomorphic, and (iv) is not isomorphic to any other algebraic sets We check (i) and (v) are isomorphic Note first that Define the morphisms and Then Z(y x, z x 3 ) = {(t, t, t 3 ) t C} f : A 1 Z(y x, z x 3 ), f(t) = (t, t, t 3 ), g : Z(y x, z x 3 ) A 1, g(x, y, z) = x f g = identity g f = identity Thus f and g are inverse isomorphisms We show (ii) and (iii) are isomorphic Consider the morphisms f : A A, f(x, y) = (x + iy, x iy), ( x + y g : A A, g(x, y) =, x y ) i It is easy to check that Moreover, letting we claim that Indeed, if (x, y) Z, then f g = identity g f = identity Z = Z(x + y ) and W = Z(xy), f(z) W, g(w ) Z f(x, y) = (x iy, x + iy) W since (x iy)(x + iy) = x + y = 0 Similarly, if (x, y) W, then ( x + y g(x, y) =, x y ) ( ) x + y ( ) x y Z, since + = 0 i i Therefore, f and g establish isomorphisms between Z and W We show that (i) and (ii) are not isomorphic Indeed, Z(xy) is the union of two lines, hence it is a reducible affine set On the other hand, A 1 is irreducible, hence it cannot be isomorphic to Z(xy) 1

2 We show (ii) and (iv) cannot be isomorphic This follows by the same argument observing that Z(x y 5 ) is irreducible Indeed, it suffices to prove that the polynomial x y 5 is irreducible Assuming the contrary, write x y 5 = f 1 (x, y)f (x, y) Regarding f 1, f as polynomials in x with coefficients in the integral domain k[y], we conclude that f 1, f can have degree at most with respect to x In fact, it is clear that the combination of degrees (0, ) cannot occur If the degrees are 1, we may assume Then Therefore, f 1 (x, y) = x g(y), f (x, y) = x h(y) x y 5 = x x (g(y) + h(y)) + g(y)h(y) g(y) = h(y), and y 5 = g(y)h(y) = g(y) This is clearly impossible, proving our claim We show that (i) and (iv) cannot be isomorphic Letting t be the coordinate of A 1, we show that there cannot be an ismorphism Indeed, set We must have Φ : k[x, y]/(x y 5 ) k[t] Φ(x) = p, Φ(y) = q p = q 5 This implies that all irreducible factors appearing in q have even exponent, so q = r, p = r 5 for some polynomial r Note that r cannot be constant since otherwise the image of Φ would have to consist in constant polynomials Now since Φ is surjective, there is a polynomial f = i,j a ij x i y j such that Φ(f) = r This means that a ij r 5i+j = r ij In particular, since the left hand side must be divisible by r, we have a 00 = 0 However, since 5i + j for (i, j) (0, 0), the left hand side is in fact divisible by r, so it cannot equal r This contradiction shows that an isomorphism Φ cannot exist Problem Show that X = A \{(0, 0)} cannot be isomorphic to an affine algebraic set: (i) Show that if f : X k is a regular function on X, then f must be a polynomial in k[x, y]

3 (ii) If Φ : Y X is an isomorphism between an affine algebraic set Y and X, consider the composition Ψ = ι Φ, where ι : X A is the inclusion Show that the morphism Ψ induces an isomorphism on coordinate rings Conclude that Ψ must be an isomorphism, hence ι must be an isomorphism, which must be a contradiction Answer: (i) Suppose f = g(x, y)/h(x, y) is a regular function on X and g, h k[x, y], we can assume g(x, y) and h(x, y) has no nonconstant common factors Then h(x, y) must be nonzero at every point in X Therefore the vanishing locus Z(h) {(0, 0)} Taking ideals and using the Nullstellensatz, we obtain (x, y) (h) This implies that x n (h), y m (h) for some n, m, which in turn implies that h divides both x n and y m Therefore, h must be constant and f k[x, y] (ii) Note that g is a regular function on Y g Φ 1 is a regular function on X g Φ 1 k[x, y] by (i) Letting P = g Φ 1, we have g = P Ψ for some polynomial P k[x, y] Thus, Ψ induces an isomorphism between the coordinate ring of Y and k[x, y] proving that Ψ : Y = A is an isomorphism In turn, this means ι : X = A is an isomorphism This is impossible because ι : X A is not bijective Problem 3 Let X A n and Y A m be affine algebraic sets (i) Show that X Y is an affine algebraic set (in such a fashion that its Zariski topology is the subspace topology from A n+m ) (ii) Show that if X and Y are irreducible, then X Y is also irreducible (iii) Show that X Y is a product in the category of affine algebraic sets eg it satisfies the following universal proprety: for every affine algebraic set Z and morphisms f : Z X and g : Z Y, there exists a unique morphism h : Z X Y such that h π X = f and h π Y = g (iv) Conclude that A(X Y ) = A(X) k A(Y ) Answer: (i) Let X A n and Y A m be affine algebraic sets such that X = Z(f 1,, f r ), Y = Z(g 1,, g s ) where f i k[x 1, X,, X n ] and g j k[y 1, Y,, Y m ] We regard f i and g j as polynomials in the variables X 1,, X n, Y 1,, Y m We see that that X Y = Z(f 1,, f r, g 1,, g s ) A n+m 3

4 4 This shows that X Y is an affine algebraic set (ii) We show that I(X Y ) is prime Let us write x for the collection of the x i, and y for the collection of the y i Let f, g k[x, y] be polynomial functions such that fg vanishes on X Y ; we have to show that either f or g vanishes on all of X Y, ie that X Y Z(f) or X Z(g) Let us assume that there is a point (P, Q) X Y \ Z(f), where P X and Q Y Denote by f(, Q) k[x] the polynomial obtained from f k[x, y] by setting y = Q For all P 0 X \ Z(f(, Q)) we must have Y Z(f(P 0, )g(p 0, )) = Z(f(P 0, )) Z(g(P 0, )) As Y is irreducible and Y Z(f(P 0, )) by the choice of P 0, it follows that Y = Z(g(P 0, )) This is true for all P 0 X \ Z(f(, Q)), so we conclude that (X \ Z(f(, Q)) Y Z(g) But as Z(g) is closed, it must in fact contain the closure of (X \ Z(f(, Q)) Y as well This closure equals X Y as X is irreducible and X \ Z(f(, Q)) is a non-empty open subset of X (iii) It is clear that the morphism h is defined set theoretically as h(p) = (f(p), g(p)) To define h algebraically we will proceed somewhat differently First, the morphism f : Z X corresponds to a k-algebra homomorphism f : k[x 1,, x n ]/I(X) A(Z), denoted by the same letter This in turn is determined by giving the images f i = f(x i ) A(Z) of the generators x i, satisfying the relations of I(X) The same is true for g, which is determined by the images g i = g(y i ) A(Z) Now it is obvious that the elements f i and g i determine a k-algebra homomorphism k[x 1, x n, y 1 y m ]/(I(X) + I(Y )) A(Z) which determines a morphism h : Z X Y (iv) The universal property of X Y corresponds on the level of coordinate rings to the universal property of the tensor product Also, one may directly observe that A(X Y ) = k[x, y]/(i(x) + I(Y )) = k[x]/i(x) k[y]/i(y ) = A(X) k A(Y ) Problem 4 Let n, and let S = {a 1,, a n } be a finite set with n elements in A 1 (i) Show that the quasi-affine set A 1 \ S is isomorphic to an affine set For instance, you may take X to be the affine algebraic set given by the equations X 1 (X 0 a 1 ) = = X n (X 0 a n ) = 1 Show that the projection onto the first coordinate is an isomorphism π : X A 1 \ S, (X 0,, X n ) X 0

5 (ii) Show that the ring of regular functions on A 1 \ {0} is isomorphic to k [ t, 1 t ], the ring of polynomials in t and 1 t (iii) Show that A 1 \ S is not isomorphic to A 1 \ {0} by proving that their rings of regular functions are not isomorphic Answer: (i) If (X 0,, X n ) X we have X i (X 0 a i ) = 1 hence X 0 a i for all 1 i n Therefore π : X A 1 \ S is well defined Let φ : A 1 \ S X, t ( 1 t,,, t a 1 1 t a n Both π and φ are rational maps, regular everywhere It is clear that π φ = identity and φ π = identity Therefore, π and φ are inverse isomorphisms (ii) It is clear that t and 1 t are both regular functions on A1 \ {0}, and so is any polynomial in t and 1 t Conversely, let f K(A1 \ {0}) View f as a rational function on A 1 Consider the ideal of denominators I f of the function f on A 1 Clearly Therefore ) Z(I f ) {0} = t I f = t n I f = t n f k[t] f = g(t) t n m = a i t i n i=0 The last expression is a polynomial in t and 1 t (iii) Assume there is an isomorphism Since it follows that Writing Φ : A(X) k[t, t 1 ] X i (X 0 a i ) = 1 in A(X), Φ(X i )Φ(X 0 a i ) = 1 Φ(X i ) = g i(t), Φ(X 0 a i ) = h i(t), t α i for some polynomials g i, h i, we obtain g i (t)h i (t) = t α i+β i This implies that h i is of the form ct m, or equivalently Φ(X 0 a i ) = c i t m i for some m i Z and c i k Subtracting the relations for i and j, it follows that t β i a j a i = Φ(a j a i ) = c j t m j c i t m i 5

6 6 Comparing degrees, we see that this implies m i = m j = 0, as a i a j for i j In turn, we obtain Φ(X 0 a i ) = c i Since Φ(c i ) = c i, we contradicted the injectivity of Φ This shows that Φ cannot be an isomorphism completing the proof Problem 5 Let n Consider the affine algebraic sets in A : Z n = Z(y n x n+1 ) and W n = Z(y n x n (x + 1)) Show that Z n and W n are birational but not isomorphic (i) Show that f : A 1 Z n, f(t) = (t n, t n+1 ) is a morphism of affine algebraic sets which establishes an isomorphism between the open subsets A 1 \ {0} Z n \ {(0, 0)} Similarly, show that g : A 1 W n, g(t) = (t n 1, t n+1 t) is a morphism of affine algebraic sets Find open subsets of A 1 and W n where g becomes an isomorphism (ii) Using (i), explain why Z n and W n are birational Write down a birational isomorphism between Z n W n (iii) Assume that there exists an isomorphism h : Z n W n such that h((0, 0)) = (0, 0) Observe that this induces an isomorphism between the open sets Z n \ {(0, 0)} W n \ {(0, 0)} Use part (i) and the previous problem to conclude this cannot be true if n (iv) Repeat the argument above without the assumption that h sends the origin to itself You may need to prove a stronger version of Problem 4 (v) Show that Z 1 and W 1 are isomorphic Write down an isomorphism between them Answer: (i) It is clear that f : A 1 Z n, t (t n, t n+1 ) is a well defined morphism Consider the morphism given by f 1 : Z n \ {0} A 1 \ {0} (x, y) y x A direct computation shows that f 1 is the inverse morphism of f Similarly, g : A 1 W n, t (t n 1, t n+1 t)

7 7 is a well defined morphism Its inverse morphism is g 1 : W n \ {0} A 1 \ S, (x, y) y x Here, S is the set of all n roots of unity The two morphisms g and g 1 establish an isomorphism between A 1 \ S W n \ {0} (ii) Part (i) shows that both Z n and W n are birational to A 1 so they are birational to each other An explicit birational isomorphism is A direct computation shows ( y g f 1 n (x, y) = g f 1 : Z n W n x n, yn+1 x n+1 y x (iii) If h : Z n W n is an isomorphism sending the origin to itself, then h : Z n \ {0} W n \ {0} is also an isomorphism By part (i), g 1 h f induces an isomorphism between the quasi-affine sets A 1 \ {0} A 1 \ S Such an isomorphism cannot exist by Problem 1 (v) Let F : Z 1 W 1, (x, y) (x, y + x) This is an isomorphism between Z 1 and W 1 with inverse F 1 (x, y) = (x, y x) Problem 6 Let λ k \ {0, 1} Consider the cubic curve E λ A given by the equation y x(x 1)(x λ) = 0 Show that E λ is not birational to A 1 In fact, show that there are no non-constant rational maps F : A 1 E λ (i) Write ( f(t) F (t) = g(t), p(t) ) q(t) where the pairs of polynomials (f, g) and (p, q) have no common factors Conclude that p f(f g)(f λg) = q g 3 is an equality of fractions that cannot be further simplified Conclude that f, g, f g, g λg must be perfect squares (ii) Prove the following: Lemma: If f, g are polynomials in k[t] without common factors and such that there is a constant λ 0, 1 for which f, g, f g, f λg are perfect squares, then f and g must be constant )

8 8 Answer: (i) We have p f(f g)(f λg) = q g 3 Since p, q are relatively prime, the right hand side cannot be further simplified Similarly, f, g, f g, f λg cannot have any common factors Indeed, a common factor for instance of f and f g, will necessarily have to divide f (f g) = g as well But this is impossible since f and g are coprime Therefore the right hand side cannot be further simplied as well Thus, for some constant a k, we must have ap = f(f g)(f λg), aq = g 3 The exponents of the irreducible factors of the left hand sides of the above equations must be even Therefore, the same must be true about the right hand side This immediately implies that g is a square But since f, f g, f λg have no common factors, it follows that the exponents of the irreducible factors of each f, f g and f λg must be even as well Thus f, f g, f λg must be squares (ii) Pick f and g such that max(deg f, deg g) is minimal among all pairs (f, g) which satisfy the requirement that f, g, f g, f λg are squares for some λ 0, 1 We may assume that f, g are coprime since otherwise we can reduce their degree by dividing by their gcd which is also a square Write where u, v are coprime Then f = u, g = v, f g = (u v)(u + v) is a square Note that u v and u + v cannot have common factors since such factors will have to divide both 1 ((u v) + (u + v)) = u and 1 ((u v) (u + v)) = v which is assumed to be false Thus u v and u + v are coprime, and since their product f g is a square, it follows that u v, u + v must be square The same argument applied to f λg = (u λv)(u + λv) shows that u λv, u + λv are squares Let ũ = 1 + λ λ 1 (u + v), ṽ = (u v) Clearly, ũ, ṽ are squares A direct computation shows that ũ ṽ = u + λv, which is also a square Finally, ( 1 + ) λ ũ 1 ṽ = 1 + λ λ 1 λ (u λv)

9 is a square Setting ( 1 + ) λ µ = 1, λ we see that ũ, ṽ, ũ ṽ, ũ µṽ are squares Note that µ 0, 1 for λ 0, 1 Furthermore, max(deg ũ, deg ṽ) = 1 max(deg f, deg g) Unless f and g are irreducible, this contradicts the assumption that f, g are of minimal degree 9

Math Midterm Solutions

Math Midterm Solutions Math 145 - Midterm Solutions Problem 1. (10 points.) Let n 2, and let S = {a 1,..., a n } be a finite set with n elements in A 1. (i) Show that the quasi-affine set A 1 \ S is isomorphic to an affine set.

More information

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

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

More information

Math 203A - Solution Set 1

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

More information

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

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

More information

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

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.

More information

Math 203A - Solution Set 1

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

More information

Projective Varieties. Chapter Projective Space and Algebraic Sets

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

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

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

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

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

More information

Math 203A - Solution Set 1

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

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

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

More information

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

Math 203, Solution Set 4.

Math 203, Solution Set 4. Math 203, Solution Set 4. Problem 1. Let V be a finite dimensional vector space and let ω Λ 2 V be such that ω ω = 0. Show that ω = v w for some vectors v, w V. Answer: It is clear that if ω = v w then

More information

Math 418 Algebraic Geometry Notes

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 information

Pure Math 764, Winter 2014

Pure 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 information

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

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

Math 214A. 1 Affine Varieties. Yuyu Zhu. August 31, Closed Sets. These notes are based on lectures given by Prof. Merkurjev in Winter 2015.

Math 214A. 1 Affine Varieties. Yuyu Zhu. August 31, Closed Sets. These notes are based on lectures given by Prof. Merkurjev in Winter 2015. Math 214A Yuyu Zhu August 31, 2016 These notes are based on lectures given by Prof. Merkurjev in Winter 2015. 1 Affine Varieties 1.1 Closed Sets Let k be an algebraically closed field. Denote A n = A n

More information

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

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

More information

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties D-MATH 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

Introduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013

Introduction 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 information

10. Smooth Varieties. 82 Andreas Gathmann

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

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

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map: 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

DIVISORS ON NONSINGULAR CURVES

DIVISORS ON NONSINGULAR CURVES DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

More information

INTRODUCTION TO ALGEBRAIC GEOMETRY. Throughout these notes all rings will be commutative with identity. k will be an algebraically

INTRODUCTION 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 information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

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

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

ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30

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

More information

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

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

3. The Sheaf of Regular Functions

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

More information

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

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

More information

Algebraic Geometry. Instructor: Stephen Diaz & Typist: Caleb McWhorter. Spring 2015

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

More information

Summer Algebraic Geometry Seminar

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

More information

Dimension Theory. Mathematics 683, Fall 2013

Dimension 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 information

NONSINGULAR CURVES BRIAN OSSERMAN

NONSINGULAR 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 information

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

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

More information

Resolution of Singularities in Algebraic Varieties

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.

More information

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski 14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as

More information

ALGEBRA QUALIFYING EXAM, WINTER SOLUTIONS

ALGEBRA QUALIFYING EXAM, WINTER SOLUTIONS ALGEBRA QUALIFYING EXAM, WINTER 2017. SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

Institutionen för matematik, KTH.

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

More information

Algebraic Varieties. Chapter Algebraic Varieties

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

More information

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

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

More information

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

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

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

214A HOMEWORK KIM, SUNGJIN

214A HOMEWORK KIM, SUNGJIN 214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.

More information

Math 120 HW 9 Solutions

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

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

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

Algebraic Geometry. Contents. Diane Maclagan Notes by Florian Bouyer. Copyright (C) Bouyer 2011.

Algebraic Geometry. Contents. Diane Maclagan Notes by Florian Bouyer. Copyright (C) Bouyer 2011. Algebraic Geometry Diane Maclagan Notes by Florian Bouyer Contents Copyright (C) Bouyer 2011. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation

More information

AN INTRODUCTION TO AFFINE SCHEMES

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,

More information

ALGEBRAIC GEOMETRY CAUCHER BIRKAR

ALGEBRAIC GEOMETRY CAUCHER BIRKAR ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasi-projective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction

More information

HARTSHORNE EXERCISES

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

More information

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show

More information

R 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

R 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 information

Exercise Sheet 3 - Solutions

Exercise Sheet 3 - Solutions Algebraic Geometry D-MATH, FS 2016 Prof. Pandharipande Exercise Sheet 3 - Solutions 1. Prove the following basic facts about algebraic maps. a) For f : X Y and g : Y Z algebraic morphisms of quasi-projective

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Extension theorems for homomorphisms

Extension 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 information

Math 203A - Solution Set 4

Math 203A - Solution Set 4 Math 203A - Solution Set 4 Problem 1. Let X and Y be prevarieties with affine open covers {U i } and {V j }, respectively. (i) Construct the product prevariety X Y by glueing the affine varieties U i V

More information

Math 40510, Algebraic Geometry

Math 40510, Algebraic Geometry Math 40510, Algebraic Geometry Problem Set 1, due February 10, 2016 1. Let k = Z p, the field with p elements, where p is a prime. Find a polynomial f k[x, y] that vanishes at every point of k 2. [Hint:

More information

Math 145. Codimension

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

More information

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

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

More information

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n 12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

More information

PRACTICE PROBLEMS: SET 1

PRACTICE PROBLEMS: SET 1 PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if

More information

A course in. Algebraic Geometry. Taught by Prof. Xinwen Zhu. Fall 2011

A course in. Algebraic Geometry. Taught by Prof. Xinwen Zhu. Fall 2011 A course in Algebraic Geometry Taught by Prof. Xinwen Zhu Fall 2011 1 Contents 1. September 1 3 2. September 6 6 3. September 8 11 4. September 20 16 5. September 22 21 6. September 27 25 7. September

More information

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

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

ALGEBRAIC GEOMETRY HOMEWORK 3

ALGEBRAIC GEOMETRY HOMEWORK 3 ALGEBRAIC GEOMETRY HOMEWORK 3 (1) Consider the curve Y 2 = X 2 (X + 1). (a) Sketch the curve. (b) Determine the singular point P on C. (c) For all lines through P, determine the intersection multiplicity

More information

From now on we assume that K = K.

From now on we assume that K = K. Divisors From now on we assume that K = K. Definition The (additively written) free abelian group generated by P F is denoted by D F and is called the divisor group of F/K. The elements of D F are called

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

Math 121 Homework 3 Solutions

Math 121 Homework 3 Solutions Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting

More information

Rings and groups. Ya. Sysak

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

More information

Algebraic Geometry: MIDTERM SOLUTIONS

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

12. Hilbert Polynomials and Bézout s Theorem

12. 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 information

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

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

More information

2. Intersection Multiplicities

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.

More information

Another way to proceed is to prove that the function field is purely transcendental. Now the coordinate ring is

Another way to proceed is to prove that the function field is purely transcendental. Now the coordinate ring is 3. Rational Varieties Definition 3.1. A rational function is a rational map to A 1. The set of all rational functions, denoted K(X), is called the function field. Lemma 3.2. Let X be an irreducible variety.

More information

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

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

Local properties of plane algebraic curves

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

More information

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

Homework 6 Solution. Math 113 Summer 2016.

Homework 6 Solution. Math 113 Summer 2016. Homework 6 Solution. Math 113 Summer 2016. 1. For each of the following ideals, say whether they are prime, maximal (hence also prime), or neither (a) (x 4 + 2x 2 + 1) C[x] (b) (x 5 + 24x 3 54x 2 + 6x

More information

Elliptic Curves Spring 2017 Lecture #5 02/22/2017

Elliptic Curves Spring 2017 Lecture #5 02/22/2017 18.783 Elliptic Curves Spring 017 Lecture #5 0//017 5 Isogenies In almost every branch of mathematics, when considering a category of mathematical objects with a particular structure, the maps between

More information

Dedekind Domains. Mathematics 601

Dedekind 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 Riemann-Roch theorem. The main theorem shows that if K/F is a finite

More information

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

More information

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism 8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the

More information

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

Definitions. 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 information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

where c R and the content of f is one. 1

where c R and the content of f is one. 1 9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

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

More information

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series. 6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral

More information

The Proj Construction

The Proj Construction The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013 18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and

More information

9. Birational Maps and Blowing Up

9. Birational Maps and Blowing Up 72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense

More information

POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS

POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS Z. REICHSTEIN AND N. VONESSEN Abstract. We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining

More information

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

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

More information

Arithmetic Algebraic Geometry

Arithmetic Algebraic Geometry Arithmetic Algebraic Geometry 2 Arithmetic Algebraic Geometry Travis Dirle December 4, 2016 2 Contents 1 Preliminaries 1 1.1 Affine Varieties.......................... 1 1.2 Projective Varieties........................

More information

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

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b), 16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)

More information

Spring 2016, lecture notes by Maksym Fedorchuk 51

Spring 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 information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

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

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

More information