Commutative Algebra and Algebraic Geometry. Robert Friedman

Size: px
Start display at page:

Download "Commutative Algebra and Algebraic Geometry. Robert Friedman"

Transcription

1 Commutative Algebra and Algebraic Geometry Robert Friedman August 1, 2006

2 2

3 Disclaimer: These are rough notes for a course on commutative algebra and algebraic geometry. I would appreciate all suggestions concerning typos, errors, unclear exposition or obscure exercises, and any other helpful feedback. i

4 Contents 1 Introduction to Commutative Rings Introduction Prime ideals Local rings Factorization in integral domains Motivating questions The prime and maximal spectrum Graded rings and projective spaces Exercises Modules over Commutative Rings Basic definitions Direct and inverse limits Exact sequences Chain conditions Exactness properties of Hom Modules over a PID Nakayama s lemma The tensor product Products of affine algebraic sets Flatness Exercises Localization Basic definitions Ideals in a localization Localization of modules Local properties of rings and modules ii

5 CONTENTS iii 3.5 Regular functions Introduction to sheaves Schemes and ringed spaces Proj as a scheme Zariski local properties Exercises Integral Ring Homomorphisms Definition of an integral homomorphism The going up theorem and dimension The going down theorem More on dimension Noether normalization, version Noether normalization, version Exercises Ideals in Noetherian Rings Irreducible sets and radical ideals Associated primes Primary decomposition Artinian rings Fractional ideals and invertible modules Dedekind domains Higher dimensions Extensions of Dedekind domains Exercises Quasiprojective varieties Projective and quasiprojective varieties Local rings and tangent spaces Derivations, differentials, and tangent spaces Elementary projective geometry Products Grassmannians Exercises

6 iv CONTENTS 7 Graded Rings Filtrations and the Artin-Rees lemma Hilbert functions The degree of a projective variety The dimension theorem Applications of the dimension theorem Regular local rings Completions Hensel s lemma and the implicit function theorem Exercises

7 Chapter 1 Introduction to Commutative Rings 1.1 Introduction Commutative algebra is primarily the study of those rings which most naturally arise in algebraic geometry and number theory.for example, let k be a field (typically algebraically closed, and often the field C of complex numbers). Then (affine) algebraic geometry is to a large extent the study of the ring R = k[x 1,..., x n ] and associated objects, for example ideals I in R or the corresponding quotients R/I. In number theory, one studies the ring Z as well as related rings, for example Z[i], where i = 1, or Z[ 1+ 3 ]. There 2 are other kinds of associated rings, for example the field of quotients Q of Z or of k[x 1,...,x n ] (which is denoted by k(x 1,..., x n ), and called the field of rational functions in n variables). More complicated rings derived from the standard ones are for example the ring of p-adic integers Z p (defined for every prime number p), as well as its polynomial analogue, the ring of formal power series in n variables, denoted by k[[x 1,..., x n ]]. We will discuss the construction of these and other rings later. Although the rings above are very disparate, they have a great deal of structure in common, and one of the goals of commutative algebra is to elucidate this structure. One obvious property that all of the above rings share is that they are commutative, and as its name suggest, commutative algebra is almost exclusively concerned with such rings. In fact, from now on we shall always make the assumptions: 1

8 2 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS Assumption: Every ring R is commutative, with a unity 1. (Note that the zero ring 0 is allowed.) Every ring homomorphism ϕ: R S is required to satisfy ϕ(1) = 1. In other words, ϕ takes the unique unity in R to the corresponding unity in S. In particular, if R is a subring of R, then we require that 1 R. Thus, for example, if R 1 and R 2 are rings, then the Cartesian product R 1 R 2 is also a ring, with unity (1, 1), and the projections π i : R 1 R 2 R i are ring homomorphisms in the above sense. However, in case R 1 and R 2 are nonzero, the subsets R 1 {0} and {0} R 2 are not subrings in the sense described above. In more technical terms, R 1 R 2 is a product in the category of commutative rings (with unity), but not a coproduct. We shall describe the coproduct later. Quite often, rings come in pairs. Thus, implicit in the definition of k[x 1,...,x n ] is the ring homomorphism k k[x 1,..., x n ]; likewise, there are the obvious homomorphisms Z Z[i] or Z Q or Z Z/nZ. Given a ring homomorphism ϕ: R S, not necessarily injective, we call S an R-algebra, and refer (if there is any ambiguity) to the given homomorphism ϕ as the structural homomorphism. Morphisms, subalgebras, and quotients are required to be compatible with the given structural homomorphism. For example, if I is an ideal in R, then R/I is an R-algebra via the natural projection R R/I. Another standard example of an R-algebra is the ring R[x 1,...,x n ] of polynomials in several variables with coefficients in R, with the obvious inclusion R R[x 1,..., x n ]. Here, R[x 1,...,x n ] is the set of all expressions a 1,...,a n 0 r a1,...,a n x a 1 1 xan n, where r a1,...,a n R and r a1,...,a n 0 for only finitely many indices a 1,...,a n. More formally, we can think of R[x 1,..., x n ] as the set of all multi-sequences in R, indexed by n-tuples of nonnegative integers, and such that only finitely many terms are nonzero. Addition of polynomials is defined componentwise: ra1,...,a n x a 1 1 x an n + s a1,...,a n x a 1 1 x an n = (r a1,...,a n +s a1,...,a n )x a 1 1 x an n. Multiplication is defined so as to insure that (x a 1 1 xan n )(xb 1 1 x bn n ) = xa 1+b 1 1 x an+bn n.

9 1.1. INTRODUCTION 3 This can be written efficiently with vector notation: if a = (a 1,...,a n ) is an n-tuple of nonnegative integers, and we denote x a 1 1 x an n by x a, then ( )( ) r a x a s a x a = r b s c x b+ c. a a b+ c= a a If, in the definition of R[x 1,..., x n ], we omit the requirement that only finitely many coefficients r a1,...,a n are nonzero, we obtain a larger ring containing R and R[x 1,...,x n ], the ring of formal power series R[[x 1,...,x n ]]. The R-algebra R[x 1,...,x n ] has the following universal property with respect to R-algebras: if S is an R-algebra, to give an R-algebra homomorphism ϕ: R[x 1,...,x n ] S is equivalent to specifying n elements α 1,...,α n S. In one direction, the α i are just given by ϕ(x i ), so that ϕ determines n elements α 1,...,α n S. Conversely, given n elements α 1,...,α n S, the evaluation homomorphism ev α1,...,α n : R[x 1,...,x n ] S defined by ev α1,...,α n (f(x 1,...,x n )) = f(α 1,...,α n ) defines a homomorphism ϕ: R[x 1,...,x n ] S, and these constructions are clearly inverse. In general, if an R-algebra S is the quotient of R[x 1,...,x n ] (in the sense of R-algebras), then we say that S is a finitely generated R- algebra. If in addition there exists a surjection R[x 1,...,x n ] S whose kernel is a finitely generated ideal of R[x 1,...,x n ], then we say that S is a finitely presented R-algebra. Both algebraic geometry and algebraic number theory are very much relative theories, often concerned not just with a single ring R but rather with a ring R and an R-algebra S, and we shall try to emphasize this aspect a much as possible. The set of ideals I in a ring R, and in particular the sets of prime and maximal ideals, are among the most important objects of study in algebra. They can be generalized to modules: roughly speaking, a module over a ring R is the formal analogy of a vector space over a field k: Definition An R-module M consists of an abelian group M (with group operation denoted by addition), together with a function R M M, whose value at (r, m) is denoted by r m or rm, and is usually referred to as multiplication, satisfying: (i) For all r, s R and m M, r(sm) = (rs)m;

10 4 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS (ii) For all r 1, r 2 R and m M, (r 1 + r 2 )m = r 1 m + r 2 m; (iii) For all r R and m 1, m 2 M, r(m 1 + m 2 ) = rm 1 + rm 2 ; (iv) For all m M, 1 m = m. A submodule N of an R-module module M is defined in the obvious way. If N is a submodule of an R-module module M, then there is a natural structure of an R-module on the abelian group M/N, and we will refer to this structure as the quotient R-module. If M and N are R-modules, then a homomorphism f : M N is a homomorphism of abelian groups satisfying f(rm) = rf(m) for all r R and m M. Isomorphisms of R-modules are defined similarly. We write M = N if M and N are isomorphic. Example The following are standard examples of modules: (i) If k is a field, then a k-module V is the same thing as a k-vector space. (ii) A Z-module M is the same thing as an abelian group. Indeed, given a Z-module M, we associate to M its underlying abelian group (also denoted M). Conversely, if A is an abelian group, for all a A and n Z, defining n a in the usual way gives A the structure of a Z- module. (iii) For R an arbitrary ring, an R-submodule of R is the same thing as an ideal I in R, and a quotient module of R is the same as a quotient R/I. (iv) Again with R arbitrary, the n-fold Cartesian product R n of all ordered n-tuples of elements of R is an R-module in the usual way, via componentwise addition and scalar multiplication: (r 1,...,r n ) + (s 1,...,s n ) = (r 1 + s 1,..., r n + s n ); r(r 1,...,r n ) = (rr 1,...,rr n ). The module R n is called the free R-module of rank n. (v) If M 1 and M 2 are two R-modules, we define the direct sum M 1 M 2 to be the set {(m 1, m 2 ) : m i M i } with addition and scalar multiplication defined componentwise. Thus as a set M 1 M 2 is just the Cartesian

11 1.2. PRIME IDEALS 5 product of M 1 and M 2. The direct sum M 1 M n of finitely many R-modules is defined in a similar way. In particular, R n = R R is the direct sum of n copies of R. We shall consider more general kinds of sums and products of modules in the next chapter. However, at the end of this chapter, we shall need the case of an infinite direct sum indexed by N (or by the set Z 0 of nonnegative integers). Given a collection M n, n N of R-modules, we define n N M n to be the set of all sequences (m 1, m 2,...), with m i M i and m n = 0 for all sufficiently large n, or equivalently for all but finitely many n. Addition and scalar multiplication are, as usual, defined pointwise. Just as it is important to understand all ideals in a ring, we will also try to describe all R-modules up to isomorphism. While this is not in general possible, it is feasible for special classes of rings R and R-modules M, and we will frequently return to this question. 1.2 Prime ideals Fix a ring R. The intersection of an arbitrary collection {I α } α A of ideals in R is an ideal α A I α. Given ideals I and J of R, we can also define the ideal product I J = { i r i s i : r i I, s i J}, and it is an ideal in R contained in I J. For example, RI = I. Products of a finite or infinite number of ideals, and powers I N of an ideal I, are defined similarly. Ideal product is associative, i.e. (IJ)K = I(JK). We can also define the ideal sum I + J = {r + s : r I, s J}. It is the smallest ideal of R containing both I and J. Moreover, the distributive laws hold: I(J + K) = IJ + IK. Infinite sums α A I α are defined similarly.

12 6 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS Given r 1,...,r n R, let (r 1,...,r n )R = (r 1,...,r n ), the ideal generated by r 1,..., r n, be the smallest ideal containing r 1,...,r n. Clearly (r 1,...,r n )R = { i t i r i : t i R}. In particular rr = (r) = {tr : t R} is called the principal ideal generated by r. There is a similar notation for ideals generated by infinitely many elements. Definition A zero divisor in R is an element r R, r 0 such that there exists an s R with s 0 and rs = 0. The ring R is an integral domain if R 0 and R has no zero divisors, in other words if given r, s R with rs = 0, then either r or s is zero. For example, Z is an integral domain, and Z/nZ is an integral domain if and only if n is prime. A field is an integral domain; in particular, a field always has at least two distinct elements 0 and 1. An ideal p in a commutative ring R is a prime ideal if p R and, for all r, s R, if rs p then either r p or s p. Clearly, p is a prime ideal if and only if R/p is an integral domain. A subring of an integral domain is again an integral domain. A field is an integral domain, and therefore every subring of a field is also an integral domain. Conversely, every integral domain R is contained in a field. In fact, one constructs the fraction field or field of quotients of an integral domain R by analogy with the construction of the rational numbers from the integers, and this field is in a sense the smallest field containing R. We shall describe this construction later. Note that if R is an integral domain, then so is R[x] (by considering terms of top degree) and therefore also R[x 1,..., x n ] by induction. In particular, if k is a field, then k[x 1,...,x n ] is an integral domain whose quotient field k(x 1,..., x n ) is called the field of rational functions in x 1,...,x n. Lemma Given a ring homomorphism f : R S and a prime ideal q in S, the ideal f 1 (q) is a prime ideal in R. Proof. The ring R/f 1 (q) is a subring of S/q and hence is an integral domain. Definition A nilpotent element of R is an element r such that r n = 0 for some n > 0. The ring R is reduced if the only nilpotent element is 0.

13 1.2. PRIME IDEALS 7 The radical of R (written 0) is the set of r R such that there exists an n > 0 such that r n = 0, i.e. such that r is nilpotent. Thus R is reduced if and only if 0 = 0. More generally, for an ideal I, we define the radical of I to be the set I = {r R : r n I for some n > 0 }. Thus I is the preimage in R of the set of nilpotent elements of R/I. An ideal I is a radical ideal if I = I. The ideal I is a radical ideal if and only if R/I is reduced. Lemma For every ideal I, I is an ideal of R. Proof. First consider the case I = (0). If r n = 0 and s m = 0, then (r + s) n+m = 0, by applying the binomial theorem to (r + s) n+m. Thus 0 is closed under addition, and if r n = 0, then clearly (sr) n = 0 for all s R. So 0 is an ideal. For an arbitrary ideal I, I is the inverse image of the radical of R/I under the natural map R R/I, and so is an ideal in R. Definition A maximal ideal m of R is an ideal m such that m R, and if I is an ideal such that m I, then I = m or I = R. Lemma The ideal m is maximal if and only if R/m is a field. Hence a maximal ideal is prime. Proof. The ideal m is maximal if and only if R/m has no proper ideals. Thus we must show that a nonzero commutative ring k is a field if and only if it has no proper ideals. Clearly if k is a field, then it has no proper ideals. Conversely, if k is a commutative ring without proper ideals, then given a k, a 0, the ideal (a) is a nonzero ideal and so (a) = R. Thus 1 (a), so that there exists x R with ax = 1. Thus k is a field. The following will be used repeatedly: Lemma If R is a commutative ring and I is an ideal of R such that I R, then I is contained in a maximal ideal m. Proof. Consider the set of all ideals containing I and not equal to R, partially ordered by inclusion. We claim that we can apply Zorn s lemma to this set to produce a maximal element, in other words a maximal ideal. It suffices to note that if J α, α A is a totally ordered set of proper ideals containing I, then α J α is an ideal (because every two elements are contained in a J β

14 8 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS for some β, so we can add), containing I, and R (since if 1 α J α, then 1 J α for some α). Thus the hypotheses of Zorn s lemma are satisfied, and a maximal element of this set is a maximal ideal containing I. Corollary If R 0, then there exists a maximal ideal of R. Corollary An element u of R is a unit if and only if u does not lie in any maximal ideal. Proof. If u is a unit, then an ideal containing u contains 1 and so is equal to R, so that u is not contained in a maximal ideal. Conversely, if u is not a unit, then (u) is a proper ideal and thus it is contained in a maximal ideal m. So u m. Another application of Zorn s lemma gives another description of the radical of an ideal: Lemma Let I R be an ideal. Then I is the intersection of the prime ideals containing I. Proof. First consider the case where I = (0) and 0 is the ideal of all nilpotent elements of R. Clearly, if r is nilpotent, then r p for every prime ideal p of R. Conversely, suppose that r is not nilpotent. Consider the set I of all ideals J of R such that, for all n > 0, r n / J (note that such an ideal is automatically not equal to R). Clearly I, since (0) I. A standard application of Zorn s lemma to I, partially ordered by inclusion, shows that I contains a maximal element p. To see that p is prime, we must show that for all a / p, b / p, the product ab / p. Since a / p, the ideal (a) + p strictly contains p and hence does not lie in I. Thus there exist s 1 R, p 1 p, and n 1 > 0 such that r n 1 = as 1 + p 1. Likewise there exist s 2 R, p 2 p, and n 2 > 0 such that r n 2 = bs 2 + p 2. But then r n 1+n 2 = abs 1 s 2 + p for some p p, and so (ab) + p strictly contains p as well. Thus ab / p. The case of a general I now follows by applying the above to the ring R/I and noting that the prime ideals of R containing I are in one-to-one correspondence with the prime ideals of R/I. Corollary An ideal I is an intersection of prime ideals if and only if I is a radical ideal, i.e. I = I.

15 1.3. LOCAL RINGS 9 Proof. Clearly, if I = I, then I = I is the intersection of all of the prime ideals containing I. Conversely, if I is an intersection of prime ideals, then an easy exercise shows that I = I. In fact, if R has stronger finiteness hypotheses, for example if R = k[x 1,...,x n ], then every radical ideal is an intersection of finitely many prime ideals, and the prime ideals which appear are essentially unique if we impose an appropriate minimality condition. This is one analogue of unique factorization into primes. For ideals which are not radical ideals, there is a more subtle kind of factorization, called primary decomposition, which we shall discuss in Chapter Local rings Definition A ring R is local if there is a unique maximal ideal m of R. For example, a field k is a local ring. If R is a local ring with maximal ideal m and S is a local ring with maximal ideal n, then a ring homomorphism ϕ: R S is local if ϕ(m) n. Note that ϕ(m) n if and only if m ϕ 1 (n), if and only if m = ϕ 1 (n) since n and hence ϕ 1 (n) are proper ideals. The following is immediate from Corollary Lemma R is local if and only if the set of all r in R such that R is not a unit is an ideal of R. For example, the ring k[[x 1,...,x n ]] of formal power series with coefficients in a field k is a local ring with maximal ideal m = (x 1,...,x n ). It suffices to see that, if f(x 1,...,x n ) k[[x 1,...,x n ]] has constant term equal to 1, then f is invertible. This follows by formally taking the inverse: g = 1 g + g2, and this infinite series makes sense if g m. Likewise the ring Z p of p-adic integers is a local ring. We shall discuss such rings in more detail later, and give more elementary methods for constructing local rings. Local rings are of fundamental importance in commutative algebra and many questions about rings and modules can be reduced to questions about local rings. More generally, there is the following definition:

16 10 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS Definition The Jacobson radical of R is the intersection of all the maximal ideals of R. For example, if R is local with maximal ideal m, then its Jacobson radical is just m. Lemma The Jacobson radical of R is the set of all r R such that, for every s R, 1 + rs is a unit. Proof. Suppose that r lies in m for every maximal ideal m. Then so does rs for every s R. Thus 1 + rs / m, since otherwise 1 m. It follows that 1 + rs is contained in no maximal ideal, and is thus a unit. Conversely, suppose that r is not contained in some maximal ideal m. Then the ideal (r, m) generated by r and m is an ideal properly containing m and so is R. Hence we can write 1 = t + ry where t m and y R. Thus 1 + r( y) m is not a unit. 1.4 Factorization in integral domains Throughout this section, R denotes an integral domain. Our goal is to collect some elementary results about factorization. Definition The element r R divides r (which we write as r r ) if there exists x R such that r = xr. Two elements r, r are associates if r = ur, where u is a unit. Equivalently, r and r are associates if (r) = (r ). An element r R {0} is irreducible if r is not a unit and if whenever r = st for s, t R, then s or t is a unit. Thus r 0 is irreducible if and only if the only elements of R which divide r are either units or associates of r. Lemma If (r) is a prime ideal and r 0, then r is irreducible. Proof. If r = st, then s or t lies in (r). We may suppose that s (r), say s = ru. Then r = rut, so that ut = 1 and u is a unit. However, the converse to the above need not hold: if r is irreducible, then (r) need not be a prime ideal. For example, in Z[ 5], it is easy to check that 2 is irreducible, but (2) is not prime since 6 = 2 3 = (1+ 5)(1 5), and neither nor 1 5 is in (2). One important case where this does hold is the case where R has unique factorization:

17 1.4. FACTORIZATION IN INTEGRAL DOMAINS 11 Definition An integral domain R is a unique factorization domain (UFD) if, given r not a unit in R, r = p 1 p n, where the p i are irreducible elements, and moreover if r = q 1 q m, where the q i are also irreducible, then n = m and possibly after relabeling the q i, p i and q i are associates for all i. In a UFD, two nonzero elements r and s are relatively prime if, whenever t r and t s, then t is a unit. We can define a greatest common divisor (gcd) of two nonzero elements r and s to be an element d such that d r, d s, and whenever e r and e s, then e d. Two gcds of r and s are associates. Greatest common divisors for a finite collection of elements of R are defined similarly. An easy argument shows that gcds exist in a UFD. The gcd of tr 1,...,tr n is t times the gcd of r 1,..., r n. If r is an irreducible element and s, t 0, if r st, then by unique factorization r s or r t. Lemma Let R be a UFD. Then r is irreducible if and only if (r) is a nonzero prime ideal. Moreover, in this case (r) is a minimal nonzero prime ideal, and every minimal nonzero prime ideal p is of the form (r) where r is irreducible. Proof. We have seen that (r) nonzero and prime = r irreducible. Conversely, suppose that r is irreducible, and suppose that st (r). Then st = rx for some x R, and we claim that either s or t lies in R. We may clearly assume that s and t are both nonzero. Then as r st, either r s or r t and so either s or t lies in (r). Now suppose that p is any nonzero prime ideal. Then p contains a nonzero element x which is not a unit. At least one irreducible factor r of x must lie in p. Then (r) p, so that every nonzero prime ideal p contains a nonzero prime ideal of the form (r). Thus if p is a minimal nonzero prime ideal, then p = (r) for some irreducible element r. If now r is irreducible and p is a nonzero prime ideal contained in (r), then there exists an irreducible r such that (r ) p (r). Thus r = ru for some u R. Since r is irreducible and r is not a unit, u is a unit and thus (r) = (r ) = p. Thus (r) is minimal. Basic examples of UFD s come from the following definition: Definition An integral domain R is a principal ideal domain (PID) if every ideal in R is principal.

18 12 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS For example, the ring Z is a PID. Likewise, if k is a field, then k[x] is a PID. In fact, for a field k we always have the following (long division with remainder for polynomials): Proposition Let k be a field and let f(x), g(x) k[x] with g 0. Then there exist unique q, r k[x] such that f = gq + r with r = 0 or deg r < deg g. Proof. Existence: induct on deg f, the cases f = 0 or deg f < deg g = d are clear. Write g = d i=0 a ix i, with a d 0, and suppose that f = n i=0 b ix i with n d and b n 0. Then h = f a 1 d b nx n d g has degree strictly less than n (or is zero). Thus h = gq + r with r = 0 or deg r < deg g, and so f = g(q + a 1 d b nx n d ) + r = gq + r as desired. To see uniqueness, if gq+r = gq +r with r = 0 or deg r < deg g as well, then g (r r ) and deg(r r ) < deg g, which is only possible if r r = 0, so that r = r. In this case gq = gq, and so q = q as well. Remark More generally, if R is any ring (not necessarily an integral domain), and g(x) is monic (i.e. the leading coefficient of g is 1), then the statement and proof of the proposition continue to hold. Corollary If k is a field, then k[x] is a PID. Proof. If I is an ideal of k[x] and I 0, choose a nonzero element g I of minimal degree. If f I, write f = gq+r with deg r < deg g or r = 0. Since r = f gq I, we must have r = 0 by the choice of g. Thus I = (g). As usual, we define a root of f k[x] in a field K k to be an element α K such that f(α) = 0. Corollary If α k, then α is a root of f if and only if (x α) divides f. If f k[x] has degree n, then there are at most n elements α k such that f(α) = 0. Proof. Given α k, we can write f(x) = (x α)q + r, where r k is a constant polynomial. Thus f(α) = r, and so f(α) = 0 if and only if (x α) f. Clearly, if α 1 α 2, the polynomials (x α 1 ) and (x α 2 ) are irreducibles which are not associates. Thus if α 1,...,α k are roots of f, then (x α 1 ) (x α k ) f. It follows that k deg f.

19 1.4. FACTORIZATION IN INTEGRAL DOMAINS 13 Corollary If k is an infinite field and f k[x] induces the zero function from k to itself, then f = 0. We leave the corresponding statement about f k[x 1,...,x n ] as an exercise. We now show that every principal ideal domain is in fact a unique factorization domain. Theorem A PID is a UFD. Proof. The proof will be in several steps. Lemma Let R be an integral domain with the property that, if (a 1 ) (a 2 ) (a n ) (a n+1 ) is an increasing sequence of principal ideals, then the sequence is eventually constant. Then every nonzero r R which is not a unit factors into a product of irreducibles. We can paraphrase the hypothesis of the lemma by saying that R satisfies the ascending chain condition (a.c.c) on principal ideals. Proof of Lemma If not, let r R be an element, not zero or a unit, which does not factor into a product of irreducibles. In particular, r itself is not irreducible, so that r = r 1 s 1 where neither r 1 nor s 1 is a unit. Thus (r) is properly contained in (r 1 ) and in (s 1 ). Clearly, we can assume that at least one of r 1, s 1, say r 1, does not factor into irreducibles (if both so factor, so does the product). By applying the above to r 1, we see that (r 1 ) is strictly contained in a principal ideal (r 2 ), where r 2 does not factor into a product of irreducibles. Continuing in this way, we can produce an infinite chain of principal ideals (r 1 ) (r 2 ), each properly containing the previous one, contradicting the hypothesis on R. Lemma Suppose that R is an integral domain in which every nonzero element which is not a unit factors into a product of irreducibles. Moreover, suppose that r R is irreducible if and only if (r) is prime. Then R is a UFD. Proof. It suffices to show, in the usual way, that if an irreducible element r divides a product s 1 s n, then r divides s i for some i. This is an immediate consequence of the fact that (r) is prime.

20 14 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS To complete the proof of Theorem , it suffices to show that a PID R satisfies the hypotheses of Lemma and Lemma First suppose that (r 1 ) (r 2 ) is an increasing sequence of ideals of R. It is easy to check that I = i (r i) is again an ideal. Since R is a PID, I = (r) for some r R. Necessarily r (r N ) for some N. But then (r) (r N ) (r N+1 ) i (r i) = (r). Thus all inclusions are equalities, and (r n ) = (r N ) for all n N. Thus the sequence is eventually constant. Finally we must show that, if r R is irreducible, then (r) is a prime ideal. We begin by showing that gcds exist in R and are of a very special form: Lemma Let R be a PID, and let a, b R. Let d be a generator of the ideal (a, b), so that d = ar + bs for some r, s R. Then d r, d s, and if e R is such that e r and e s, then e d. Proof. Since a (a, b) = (d), d a, and by symmetry d b. Moreover, if e r and e s, then e ar + bs for all r, s R, and hence e d. For a, b R, let gcd(a, b) = d where d is any generator of (a, b). Clearly, d is uniquely specified up to a unit. Moreover, d is uniquely specified by the property that d r, d s, and if e R is such that e r and e s, then e d. Corollary Let R be a PID, and let r R be an irreducible. Suppose that r st for some s, t R. Then either r s or r t. Proof. Since gcd(r, s) r, either gcd(r, s) is an associate of r or gcd(r, s) is a unit. In the first case, r s. In the second case, write 1 = rx + sy for some x, y R. Then t = rxt + sty. Since r st, r t. Now suppose that r is irreducible, and that st (r), i.e. that r st. Since r is irreducible, it must divide one of s, t, and thus either t or s lies in (r). Thus (r) is a prime ideal. This then finishes the proof of Theorem In a PID, the gcd d of two elements r and s exists and is of the form ar + bs. This result fails for most UFD s. For example, in k[x, y], the gcd of x and y is 1, but 1 cannot be written as ax + by. Related to the above is the following special property of a PID: Lemma If R is a PID, every nonzero prime ideal of R is maximal.

21 1.4. FACTORIZATION IN INTEGRAL DOMAINS 15 Proof. A nonzero prime ideal p in R is of the form (r) where r is irreducible. If p I, where I is an ideal and I R, then I = (r ) for some r. Since r r and r is irreducible, r and r must be associates. Thus I = p and so p is maximal. The ascending chain condition and the arguments of Theorem are so fundamental that we generalize them as follows: Proposition For a ring R, the following two conditions are equivalent: (i) Every ideal I of R is finitely generated: if I is an ideal of R, then I = (r 1,...,r n ) for some r i R. (ii) Every increasing sequence of ideals is eventually constant, in other words if I 1 I 2 I n I n+1, where the I n are ideals of R, then there exists an N N such that for all k N, I k = I N. If the ring R satisfies either of the equivalent conditions above, then R is called a Noetherian ring. Proof. (i) = (ii): given an increasing sequence of ideals I 1 I 2, let I = n I n. Then as in the proof of Theorem , I is an ideal, and hence I = (r 1,..., r n ) for some r i R. Thus r i I ni for some n i. If N = max i n i, then r i I N for every i. Hence, for all k N, I = (r 1,...,r n ) I N I k I. It follows that I k = I N = I for all k N. (ii) = (i): Let I be an ideal of R and choose r 1 I. Set I 1 = (r 1 ). If I = I 1, stop. Otherwise there exists an r 2 I I 1. Set I 2 = (r 1, r 2 ). If I = I 2, stop, otherwise there exists an r 3 I I 2. Inductively suppose that we have found I k = (r 1,...,r k ) with I k I. If I = I k we are done, otherwise there exists r k+1 I I k and we set I k+1 = (r 1,..., r k+1 ). So if I is not finitely generated, we have constructed a strictly increasing sequence I 1 I 2, contradicting the assumption on R. Thus I is finitely generated. Clearly, the proof of Lemmas and together with Lemma imply the following:

22 16 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS Theorem Suppose that R is a Noetherian integral domain. Then R is a UFD if and only if, for every nonzero r R, the element r is irreducible if and only if (r) is prime. Next we turn to the study of polynomials over a UFD. The main result here is: Theorem If R is a UFD, then so is R[x]. By induction, we have the obvious corollary: Corollary The rings Z[x 1,...,x n ] and k[x 1,...,x n ] for k a field are UFD s. We note that Z[x 1,..., x n ] is not a PID if n 1 and that, if k is a field, then k[x 1,...,x n ] is not a PID if n 2. Proof of Theorem We begin with a preliminary definition. Given a nonzero polynomial f(x) = i a ix i R[x], define the content c(f) to be the gcd of the coefficients a i. Here c(f) is well-defined up to a unit, or as an element of the multiplicative set R/R. In general f(x) = c(f)f 0 (x), where the gcd of the coefficients of f 0 is 1. Define f to be primitive if c(f) = 1, in other words if the gcd of the coefficients of f is 1. If f = rf 0 where f 0 is primitive, then c(f) = r. More generally, if r R, r 0, then c(rf) = rc(f). We will show: Claim Let R be a UFD with quotient field K. (i) If r R is irreducible, then r is an irreducible element of R[x]. (ii) If f 0 (x) R[x] is a primitive polynomial which is irreducible in K[x], then f 0 (x) is an irreducible element of R[x]. (iii) Every element of R[x] factors into a product of elements which are either irreducible elements in R or primitive polynomials which are irreducible in K[x]. Moreover such a factorization is unique up to order and associates. Clearly the claim implies Theorem , indeed somewhat more as it describes all of the irreducibles in R[x]. Proof of Claim It is easy to check that all of the elements described in (i) and (ii) of the claim are indeed irreducible. Next we prove:

23 1.4. FACTORIZATION IN INTEGRAL DOMAINS 17 Lemma (Gauss lemma). If f and g are primitive, then fg is primitive. Proof. Let r be an irreducible element of R such that r divides all coefficients of fg. Given a polynomial in R[x], we use a bar to denote its reduction in R/rR, which is an integral domain since r is irreducible and R is a UFD. By hypothesis fg = 0, and so fḡ = 0. Since (R/rR)[x] is an integral domain, either f = 0 or ḡ = 0. In particular either f or g is not primitive, a contradiction. Corollary For all f, g R[x], c(f g) = c(f)c(g). Proof. If f = c(f)f 0 and g = c(g)g 0 where f 0 and g 0 are primitive, then fg = c(f)c(g)f 0 g 0, where, by the lemma, f 0 g 0 is primitive. Hence c(fg) = c(f)c(g). Returning to the proof of Claim , given f R[x], let g 1,...,g n be the irreducible factors of f in K[x]. After clearing denominators, we can write g i = λ i h i with h i R[x], and by factoring out c(h i ) we can assume that h i is primitive. So f = (λ 1 λ k )h 1 h k, where the λ i K and the h i R[x] are primitive. Thus h 1 h k is primitive as well, by the Gauss lemma and induction. Now there is r R such that r(λ 1 λ k ) R. Thus c(rf) = rc(f) = c(r(λ 1 λ k )h 1 h k ) = r(λ 1 λ k ). It follows that c(f) = λ 1 λ k and in particular that λ 1 λ k R. We have now written f as ch 1 h k where the h i are primitive polynomials in R[x] which are irreducible in K[x]. If we further factor c into irreducibles in R, we have a factorization as claimed. We must finally show that this factorization is unique. Suppose that f = r 1 r n h 1 h k = r 1 r mh 1 h l, where the r i are irreducible in R and the h i are primitive polynomials in R[x] which are irreducible in K[x]. Up to a unit r 1 r n = r 1 r m since they are both equal to c(f), and so we can reorder until n = m and r i = r i up to associates by unique factorization in R. We also know by unique factorization

24 18 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS in K[x] that k = l and that after reordering we can assume that h i and h i are associates in K[x]. Thus h i = th i for some t K, t 0. Choosing an s such that st R, we have sh i = sth i, and taking contents we find that s and st are associates. Thus t is a unit in R, and so h i and h i are associates in R[x]. As an easy corollary of Theorem , we can prove the famous Eisenstein criterion for a polynomial to be irreducible: Theorem (Eisenstein criterion). Let R be a UFD with quotient field K, let r R be an irreducible and let f = n i=0 a ix i R[x] satisfy: (i) For all i < n, r a i ; (ii) r a n, so that a n 0 and hence n = deg f; (iii) r 2 a 0. Then f is irreducible in K[x]. Proof. Since r a n, the gcd of r and c(f) is a unit. Thus, if we write f = c(f)f 0, then f 0 is a primitive polynomial satisfying the same hypotheses as f. So we may as well assume that f is primitive in R[x]. In this case, f is irreducible in K[x] if and only if it is irreducible in R[x]. As usual, we shall let a bar stand for the image of a polynomial in (R/rR)[x]. If f = gh where g, h R[x] and both g and h have positive degree, then f = gh = ḡ h. On the other hand, f = cx n, where c 0. Thus ḡ = c 1 x d and h = c 2 x n d, and both have constant term equal to zero. It follows that r divides the constant terms of both g and h, so that r 2 a 0. This contradicts (iii). Thus f is irreducible. 1.5 Motivating questions in algebraic geometry and number theory Now that we have some preliminary results concerning commutative rings, we describe some of the questions which arise naturally in the two main applications of commutative algebra. We begin with the case of algebraic geometry. Fix an algebraically closed field k (the classical case is k = C). In its crudest form, algebraic geometry

25 1.5. MOTIVATING QUESTIONS 19 seeks to study the common zeroes of polynomials in n variables. Traditionally, the vector space k n is denoted by A n k in algebraic geometry, and is called affine n-space (over k). The allowable functions on this space are the functions which can be defined algebraically via the field operations, namely the polynomial functions, and these form the ring k[x 1,...,x n ]. (It is easy to see, using the fact that k is algebraically closed, that a rational function f/g is well-defined on all of A n k if and only if it is a polynomial.) Given a polynomial f(x 1,..., x n ) k[x 1,...,x n ], its set of zeroes is V (f) = {(x 1,...,x n ) A n k : f(x 1,...,x n ) = 0}. More generally, given a finite collection f 1,...f k k[x 1,..., x n ], their set of common zeroes is defined in a similar way: V (f 1,...,f k ) = {(x 1,...,x n ) A n k : f i (x 1,...,x n ) = 0 for all i }. Thus V (f 1,...,f k ) = k i=1 V (f i). Clearly, V (f 1,...,f k ) only depends on the ideal I = (f 1,...,f k ) generated by the f i, and we shall also use the notation V (I) for V (f 1,...,f k ). A priori, it might seem that we could also consider infinite collections of polynomials. However, a famous theorem of Hilbert says that it is always enough to look at the common zeroes of finitely many. In the language of ideals, the theorem is as follows: Theorem (Hilbert s Basis Theorem). Every ideal in k[x 1,...,x n ] is finitely generated. In fact, we shall prove the following: Theorem (Hilbert s Basis Theorem II). If R is a Noetherian ring, then R[x] is Noetherian. Corollary If R is a Noetherian ring, then R[x 1,...,x n ] is Noetherian. In particular, the rings k[x 1,...,x n ] (k a field) and Z[x 1,...,x n ] are Noetherian. Proof of the basis theorem. Let I be an ideal in R[x]. Set I k = {r R : there exists f(x) I with f(x) = k a i x i and a k = r}. i=0

26 20 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS Clearly I k is an ideal in R, and I k I k+1 since if f(x) = k i=0 a ix i with a k = r, then xf(x) = k+1 i=1 a i 1x i, so that the coefficient of x k+1 is r as well. Thus, since R is Noetherian, there exists an n 0 such that I k = I n0 for all k n 0, and I n0 = (r 1,...,r A ) for r i R. By construction, for each i, 1 i A, there exists an f i (x) I of degree n 0 and leading coefficient r i. For k n 0, the ideal I k is finitely generated. Thus, after enlarging the collection {f i (x)} we can further assume that the ideals I k, k n 0, are generated by leading coefficients of suitable polynomials f i (x) I of degree k. We claim that I = (f 1 (x),...,f A (x)). Clearly (f 1 (x),...,f A (x)) I. Conversely, let f(x) I, and suppose that deg f(x) = k. By induction, starting with k = 0 n 0, we can assume that all polynomials in I of degree less than k lie in (f 1 (x),...,f A (x)). If k n 0, then the leading coefficient of f is in the ideal generated by the leading coefficients of the f i, and since each f i has degree n 0, it follows that f i xa i s i f i has degree < k for suitable integers a i and elements s i R. If k n 0, then by the construction of the f i there exists a subcollection of the f i of degree k such that f i s if i has degree < k for appropriate s i R. In all cases, there exists a g (f 1 (x),..., f A (x)) such that f g has degree < k and lies in I, and so by induction lies in (f 1 (x),...,f A (x)). Thus f (f 1 (x),...,f A (x)) as well. While the proof we have given of Hilbert s theorem is nonconstructive, a great deal of interest has centered on finding explicit generators for any given ideal, which might be the best in some sense. For example, what is the minimal number of generators of a given ideal? What are the minimal degrees needed? A subset X of A n k of the form V (I) will be called a (closed) algebraic set in A n k. We have the following: Lemma (i) If I 1 I 2, then V (I 2 ) V (I 1 ). (ii) V (0) = A n k and V (1) =. (iii) V (I 1 +I 2 ) = V (I 1 ) V (I 2 ). More generally, V ( α A I α) = α A V (I α). (iv) V (I 1 I 2 ) = V (I 1 I 2 ) = V (I 1 ) V (I 2 ). Proof. The proofs of (i) (iii) are easy and left to the reader. To see (iv), note that I 1 I 2 I 1 I 2 I 1. Thus V (I 1 ) V (I 1 I 2 ) V (I 1 I 2 ). Since the same holds for V (I 2 ), we have V (I 1 ) V (I 2 ) V (I 1 I 2 ) V (I 1 I 2 ).

27 1.5. MOTIVATING QUESTIONS 21 On the other hand, if p / V (I 1 ) V (I 2 ), then p / V (I 2 ) and p / V (I 2 ). So there exist g 1 I 1 such that g 1 (p) 0, and likewise g 2 I 2 such that g 2 (p) 0. Thus g 1 g 2 (p) 0, so that p / V (I 1 I 2 ). It follows that V (I 1 I 2 ) V (I 1 ) V (I 2 ), so that equality holds throughout. This proves (iv). Given a subset X of A n k, we can consider the ideal I(X) of all functions f k[x 1,..., x n ] such that f(p) = 0 for all p X. Clearly, we have: Lemma (i) If X 1 X 2, then I(X 2 ) I(X 1 ). (ii) I(X 1 X 2 ) = I(X 1 ) I(X 2 ). (iii) X V (I(X)). (iv) I I(V (I)). The ideal I(X) is interesting for the following reason. Just as with A n k, we want to describe those functions on X which can be defined algebraically. It is natural to look at restrictions of polynomials in k[x 1,...,x n ] to the subset X. (We will see later that it makes no difference if we try to enlarge this to the set of rational functions which are everywhere defined on X.) Two polynomials have the same restriction to functions on X if and only if their difference lies in I(X). Thus the natural ring of algebraically defined functions on X is the quotient ring k[x 1,...,x n ]/I(X). Definition Let X be a closed algebraic subset of A n k. We call X an affine algebraic set. The affine coordinate ring A(X) is the ring k[x 1,..., x n ]/I(X). Given a closed algebraic set X = V (I), what is the relation between I and I(X)? On the one hand, we have the following easy result: Proposition V (I(X)) is the smallest algebraic subset of A n k containing X. In particular, if X is an algebraic subset of A n k, then V (I(X)) = X. Proof. Clearly, V (I(X)) is an algebraic subset of A n k containing X. If Y = V (J) contains X, then J I(Y ) I(X), and hence V (I(X)) V (J) = Y. Thus V (I(X)) is the smallest algebraic subset of A n k containing X. The last statement is then clear. In this context, Hilbert proved another fundamental result, which we shall prove later:

28 22 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS Theorem (Hilbert s Nullstellensatz). In the above notation, I(V (I)) = I, where I is the ideal of k[x 1,...,x n ] defined by I = {f k[x1,...,x n ] : f N I for some positive integer N }. Since I I(V (I)), I I(V (I)), because if a power of a function f is zero at all points of a set, then the same must be true for the function f. So the point of the theorem is the opposite inclusion I(V (I)) I. Corollary The function I V (I) is an order reversing bijection from the set of radical ideals of k[x 1,...,x n ] to the set of closed algebraic subsets of A n k, with inverse X I(X). The proof we shall give for the Nullstellensatz will also be nonconstructive. However, a great deal of interest has centered on finding effective versions of the Nullstellensatz. For example, if f vanishes on V (g 1,...,g k ), then one wants to find an effective bound for an integer m such that f m = i h ig i as well as bound the degrees of the h i. One very important special case of the Nullstellensatz, from which the full theorem can be derived by a formal trick, is the following: Theorem Let m be a maximal ideal of k[x 1,...,x n ]. Then there exists a point p = (c 1,...,c n ) A n k such that m = (x 1 c 1,...,x n c n ) = {f k[x 1,...,x n ] : f(p) = 0} = I({p}). In particular, maximal ideals in k[x 1,...,x n ] are in one-to-one correspondence with points of A n k. Note that the correspondence is as follows: the maximal ideal m corresponds to the point p = V (m), and the point p corresponds to the maximal ideal I({p}). Corollary If X is an algebraic subset of A n k, then the maximal ideals of A(X) are in one-to-one correspondence with the points of X. Proof. A maximal ideal of A(X) is the same thing as a maximal ideal m of k[x 1,...,x n ] containing I(X). But I(X) m if and only if V (m) V (I(X)) = X.

29 1.5. MOTIVATING QUESTIONS 23 The above corollary explains the significance of the maximal ideals in k[x 1,...,x n ]. It is natural to characterize those algebraic sets corresponding more generally to prime ideals. This is the goal of the following definition: Definition A nonempty closed algebraic subset X of A n k is irreducible if, whenever X = X 1 X 2, where the X i are closed algebraic subsets of A n k, then either X = X 1 or X = X 2. For example, a point is an irreducible closed subset of A n k. Proposition An algebraic subset X of A n k if I(X) is a prime ideal. is irreducible if and only Proof. First suppose that X = X 1 X 2 with neither X 1 nor X 2 equal to X. In particular X i X and so I(X) I(X i ). We cannot have I(X) = I(X i ), for then X = V (I(X)) = V (I(X i )) = X i. So there must exist f i I(X i ) I(X), i = 1, 2. But then f 1 f 2 I(X 1 X 2 ) = I(X), and so I(X) is not prime. Conversely, suppose that I(X) is not prime, and choose f i / I(X), i = 1, 2, such that f 1 f 2 I(X). (Note that I(X) is a proper ideal since X. Set X i = V (f i ) X. Note that X i X, for otherwise X V (f i ) and so f i I(X). Moreover, since f 1 f 2 I(X), X V (f 1 f 2 ) = V (f 1 ) V (f 2 ) and thus X = (V (f 1 ) X) (V (f 2 ) X) = X 1 X 2. Thus X is not irreducible. Definition An irreducible closed algebraic subset X of A n k is called an (affine) algebraic variety. Equivalently, X is an affine algebraic variety if and only if A(X) is an integral domain. In this case, the quotient field K(X) of A(X) is called the function field or field of rational functions on X. We shall see that every affine algebraic set X is a union of finitely many irreducible algebraic sets X i, and the X i are unique up to order if there are no containment relations among them, i.e. X i is not contained in X j if i j. The ideals which are of the form I(X) are not necessarily prime, but have the weaker property that they are radical ideals, in other words ideals I such that I = I. The Nullstellensatz sets up a correspondence between algebraic sets in A n k and radical ideals I in k[x 1,...,x n ]. Of course, we might wish to study all ideals in k[x 1,...,x n ]. For example, in case n = 1, every ideal is principal, and the study of ideals in k[x] is the study of monic polynomials in k[x]. But for n = 2, the study of ideals in k[x, y] is already considerably more complicated. We can say a little bit about prime ideals as follows:

30 24 CHAPTER 1. INTRODUCTION TO COMMUTATIVE RINGS Proposition In k[x 1,...,x n ], every nonzero minimal prime ideal is principal. Proof. This is a consequence of Lemma and Corollary Thus, in k[x 1, x 2 ], there are three kinds of prime ideals: maximal ideals (x 1 a 1, x 2 a 2 ), principal ideals (f(x 1, x 2 )) which are prime (equivalently, f(x 1, x 2 ) is irreducible), and the zero ideal (0). In fact, it is not hard to show (Exercise 1.15) that these are the only prime ideals. Note that, in this case, the maximal ideals are generated by two elements (and no fewer), and the minimal nonzero primes are generated by one element. We shall show later that every proper closed subset of A 2 k is a union of finitely many points and closed subsets of the form V (f), where f is irreducble. However, for n > 2, the picture is much more complicated. While every maximal ideal in k[x 1, x 2, x 3 ] is generated by three elements, and every minimal nonzero prime ideal is generated by one element, there exist intermediate prime ideals p. Given such a prime ideal p, i.e. a prime ideal which is neither maximal nor minimal, we shall show in Chapter 4 that every prime ideal which properly contains it is maximal, and every nonzero prime ideal properly contained in it is a minimal nonzero prime ideal. We say that the ring k[x 1, x 2, x 3 ] has dimension three. However, while some of intermediate prime ideals can be generated by two elements, some can only be generated by three elements, and it is not easy to characterize those which can be generated by only two. Let us make some (much briefer) comments about some motivating questions in number theory. A great deal of elementary number theory is concerned with factorization in the PID Z: in particular, every natural number factors into a product of primes, in an essentially unique way. A similar statement holds in the ring Z[i] of Gaussian integers; this result is at the heart of the description of which natural numbers are sums of two squares, i.e. for which natural numbers n the Diophantine equation x 2 + y 2 = n has a solution. On the other hand, the ring Z[ 5] is not a PID, and so the Diophantine equation x 2 + 5y 2 = n is harder to study. Of course, the most famous ring of this sort is the ring Z[ζ k ], where ζ k = e 2πi/k is a primitive k th root of unity, connected to the Fermat equation x k + y k = n. However, the ring Z[ 5], as well as many of the rings of algebraic numbers encountered in number theory, does have a very remarkable property which is a weaker substitute for unique factorization: Every ideal in Z[ 5] (and in much more general rings of algebraic numbers) has a unique factorization (in the

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

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

Math 547, Exam 2 Information.

Math 547, Exam 2 Information. Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

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

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

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

4.4 Noetherian 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)

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

Exploring the Exotic Setting for Algebraic Geometry

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

More information

RINGS: SUMMARY OF MATERIAL

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

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

More information

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

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative

More 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

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

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

More information

Review of Linear Algebra

Review of Linear Algebra Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

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

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

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.

More information

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

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)

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

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

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

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

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

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

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

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

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

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

More information

Modules Over Principal Ideal Domains

Modules Over Principal Ideal Domains Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this

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

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

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

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More 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

2. Prime and Maximal Ideals

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

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

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

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

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

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

More information

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS ALICE MARK Abstract. This paper is a simple summary of the first most basic definitions in Algebraic Geometry as they are presented in Dummit and Foote ([1]),

More information

Structure of rings. Chapter Algebras

Structure of rings. Chapter Algebras Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together

More information

Rings. Chapter Homomorphisms and ideals

Rings. Chapter Homomorphisms and ideals Chapter 2 Rings This chapter should be at least in part a review of stuff you ve seen before. Roughly it is covered in Rotman chapter 3 and sections 6.1 and 6.2. You should *know* well all the material

More information

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

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

More information

NOTES FOR COMMUTATIVE ALGEBRA M5P55

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

More information

10. Noether Normalization and Hilbert s Nullstellensatz

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.

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

11. Dimension. 96 Andreas Gathmann

11. Dimension. 96 Andreas Gathmann 96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

32 Divisibility Theory in Integral Domains

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

More information

8. Prime Factorization and Primary Decompositions

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

More information

Injective Modules and Matlis Duality

Injective Modules and Matlis Duality Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following

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

IRREDUCIBILITY TESTS IN Q[T ]

IRREDUCIBILITY TESTS IN Q[T ] IRREDUCIBILITY TESTS IN Q[T ] KEITH CONRAD 1. Introduction For a general field F there is no simple way to determine if an arbitrary polynomial in F [T ] is irreducible. Here we will focus on the case

More information

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99 Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

More 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

Ring Theory Problems. A σ

Ring Theory Problems. A σ Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

More information

11. Finitely-generated modules

11. Finitely-generated modules 11. Finitely-generated modules 11.1 Free modules 11.2 Finitely-generated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules

More information

A COURSE ON INTEGRAL DOMAINS

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

More information

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

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into

More information

Polynomials, Ideals, and Gröbner Bases

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

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

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

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

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

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

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

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

More information

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

Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals... Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 4 1.1 Rings & homomorphisms.............................. 4 1.2 Modules........................................ 6 1.3 Prime & maximal ideals...............................

More information

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free

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

CRing Project, Chapter 7

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

More information

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that:

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: Discrete valuation rings Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: 1. v is surjective. 2. v(ab) = v(a) + v(b). 3. v(a + b) min(v(a), v(b)) if a + b 0. Proposition:

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

More information

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence

More information

Algebra Homework, Edition 2 9 September 2010

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.

More information

1. Factorization Divisibility in Z.

1. Factorization Divisibility in Z. 8 J. E. CREMONA 1.1. Divisibility in Z. 1. Factorization Definition 1.1.1. Let a, b Z. Then we say that a divides b and write a b if b = ac for some c Z: a b c Z : b = ac. Alternatively, we may say that

More information

4. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

More information

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to

More information

Assigned homework problems S. L. Kleiman, fall 2008

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

More information

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.

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References

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,

More information

Total 100

Total 100 Math 542 Midterm Exam, Spring 2016 Prof: Paul Terwilliger Your Name (please print) SOLUTIONS NO CALCULATORS/ELECTRONIC DEVICES ALLOWED. MAKE SURE YOUR CELL PHONE IS OFF. Problem Value 1 10 2 10 3 10 4

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

CRing Project, Chapter 5

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

More information

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ

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

More information

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

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

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

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

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

Commutative Algebra. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals... Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 2 1.1 Rings & homomorphisms................... 2 1.2 Modules............................. 4 1.3 Prime & maximal ideals....................

More information

Introduction to modules

Introduction to modules Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available

More information

1. Group Theory Permutations.

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

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

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

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

4.2 Chain Conditions

4.2 Chain Conditions 4.2 Chain Conditions Imposing chain conditions on the or on the poset of submodules of a module, poset of ideals of a ring, makes a module or ring more tractable and facilitates the proofs of deep theorems.

More 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

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

Part IX. Factorization

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

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

Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1.

Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1. Math 611 Homework 6 Paul Hacking November 19, 2015 All rings are assumed to be commutative with 1. (1) Let R be a integral domain. We say an element 0 a R is irreducible if a is not a unit and there does

More information