ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS


 Josephine Weaver
 5 years ago
 Views:
Transcription
1 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. (1) Modules (a) Prove the Five Lemma: Let R be a ring and consider the following commutative diagram of Rmodules: g 1 g A 1 2 g A 2 3 g A 3 4 A 4 A 5 f 1 f 2 B 1 h 1 B 2 h 2 B 3 h 3 B 4 h 4 B 5 f 2 Suppose that the two rows are exact and that f 1, f 2, f 4, and f 5 are isomorphisms. Prove that f 3 is also an isomorphism. (b) Let M be a finitely generated Rmodule. Prove that M has a maximal submodule. (c) Recall that l(m) is the composition length of a module M. If M = M 1 M 2, prove that l(m) = l(m 1 ) + l(m 2 ). (d) Let R be a commutative ring and let M be an Rmodule generated by m elements. Suppose that there is a surjective map φ : M R (n). Prove that m n. (e) Let R be a commutative ring. An element s R is called regular if sr 0 for all 0 r R. Let M be an Rmodule, and define tor(m) = {m M : sm = 0 for some regular s R}. Prove the following: (i) tor(m) is a submodule of M, and tor(r) = 0. (ii) tor(m 1 M 2 ) tor(m 1 ) tor(m 2 ). (iii) If A = M/tor(M) is a free Rmodule, then M A tor(m). (f) Let N 1, N 2, and K be submodules of M such that N 1 N 2 and K N 1 = 0. Then (K + N 1 )/(K + N 2 ) N 1 /N 2. f 4 f 5 Date: December 19,
2 2 UZI VISHNE (g) Let 0 K M N 0 be an exact sequence of R modules. If K is free of rank k and N is free of rank n, prove that M is free of rank k + n. (2) Modules and composition series (a) Recall that l(m) is the length of a composition series, if it exists, of a module M. If M = M 1 M 2, prove that l(m) = l(m 1 ) + l(m 2 ). (b) Let R be an arbitrary ring, and let M be a simple R module. Prove that there exists a maximal left ideal I R such that M R/I as Rmodules. (c) Let F be a field and n 1, and let T n (F ) be the ring of all upper triangular n n matrices with entries in F. Consider F n as a T n (F )module in the obvious way: if v F n and A T n (F ), write v as a column and define the scalar multiplication A v to be the product of matrices Av. Find a composition series for F n as a T n (F )module. (3) Prime ideals, localization (a) Let R be a commutative ring. Prove that an Rmodule M is Noetherian if and only if for every sequence f 1, f 2,... of elements of M there exists N N such that for every n 1 it is possible to write f n in the form f n = N i=1 r inf i, where r 1n, r 2n,... r Nn R. (b) Let p be a prime number. Let S = {p k : k N} and let M = S 1 Z/Z. In other words, { m } M = n + Z : n = pk, k N. Show that the Zmodule M is Artinian but not Noetherian. (c) Let I be an ideal of a commutative ring R. Prove that the following conditions are equivalent: (i) I is a prime ideal (for any elements x, y R, we have xy I if and only if x I or y I). (ii) The quotient ring R/I is an integral domain. (iii) If J 1, J 2 are ideals of R with J 1 J 2 I, then J 1 I or J 2 I. (iv) If J 1, J 2,..., J n are ideal of R such that J 1 J 2 J n I, then J i I for some 1 i n. (v) The complement R\I is closed under multiplication. (d) Let R be a commutative ring, and let I R be an ideal. Given x R, consider the ideal J x = {r R : rx I}. Suppose that J x and Rx + I are both finitely generated ideals of R. Prove that I is finitely generated.
3 ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS 3 (e) Let R be a commutative ring, and let I R be an ideal. Suppose that I is not finitely generated, but that all ideals of R that strictly contain I are finitely generated. Prove that I is a prime ideal. (f) Let R be a commutative ring. Prove that R is Noetherian if and only if all prime ideals are finitely generated. (g) Consider the Zmodule Q/Z. Is it Noetherian? Is it Artinian? (h) Let R be a ring. An element x R is called nilpotent if there exists n 1 such that x n = 0. Let N be the set of all nilpotent elements of R. If R is commutative, prove that N is an ideal. If R is commutative and Noetherian, prove that there exists a natural number m such that N m = 0. (i) Let R be a commutative ring. An ideal I R is called a nilpotent ideal if there exists n 1 such that I n = 0. Give an example of a commutative ring such that the ideal of all nilpotent elements is not a nilpotent ideal. (4) Affine algebras (a) Let F be a field. The polynomial F algebra F [λ 1, λ 2 ] is clearly affine. But prove that the subalgebra generated by 1, λ 1 λ 2, λ 1 λ 2 2, λ 1 λ 3 2,... is not affine. This shows that a subalgebra of an affine algebra is not necessarily affine. (b) Prove that any affine F algebra has countable dimension as an F vector space. (c) Let F be an algebraically closed field and let R be an affine F algebra. Prove that there is only one nonzero simple R module up to isomorphism. (d) Let R be a commutative ring. For n 1, consider the set M n (R) of n n matrices with entries in R. It is a ring under the usual addition and multiplication of matrices. Show that every twosided ideal I M n (R) is of the form I = M n (J), where J is an ideal of R. Hint: Take J to be the set of all elements of R that appear as the entry in the top left corner of an element of I. (e) Let F be a field and consider the affine algebra R = F [x]. For all n 1, show that the subalgebra F [x 2n 1, x 2n + x, x 2n+1 ] R is equal to R. (f) Prove that S = F [x 3 +x, x 2 ] is a proper subalgebra of F [x] by showing that x S. Hint: Show that every element of S may be written as f + g(x 3 + x), where f and g are polynomials that involve only even powers of x.
4 4 UZI VISHNE (5) Dedekind domains (a) Let A be a commutative ring and let R be a commutative Aalgebra. Let r 1, r 2,..., r n be integral over A. Prove that A[r 1, r 2,..., r n ] is finitely generated as an Amodule. (b) Let A be a Dedekind domain. Prove that it is a UFD (unique factorization domain) if and only if it is a PID (principal ideal domain). (c) Consider the field K = Q( d), where d is a squarefree integer. Prove that { Z[ d] : d 2, 3 mod 4 O K = [ ] Z : d 1 mod d 2 (d) Let R = Q[x, y], and let I R be the ideal I = (x 2 y 3 ). Show that A = R/I is an integral domain, but that A is not integrally closed. Hint: Find a subring of the polynomial ring in one variable Q[t] that is isomorphic to A. (e) Prove that every UFD is integrally closed. (6) Dedekind domains (a) Let K be a number field (i.e. K is a finite extension of Q) and let O K be the integral closure of Z in K. Prove that FracO K = K. Hint: Prove the following more precise statement. Let y K. Then c n y n + c n 1 y n c 0 = 0 for suitable n and suitable c 0,..., c n Z. Let b = lcm(c 0,..., c n ). Show that y = a/b for some a O K. (b) An integral basis of K is a collection of elements β 1,..., β n O K such that: (i) K = β 1 Q + β 2 Q + + β n Q. (ii) O K = β 1 Z + β 2 Z + + β n Z. Every number field K has an integral basis, and you may assume this. Prove that O K is a Dedekind domain. Hint: Let P O K be a nonzero prime ideal. Show that P Z = pz for some prime p. The integral basis may help you prove that O K /P is a field. (c) Suppose that B and B are transcendence bases of R. Prove that they have the same cardinality. (We did this in class for B and B finite). Hint: Each element of B is algebraically dependent on a finite number of elements of B, and the union of these finite subsets is all of B.
5 ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS 5 (d) Prove the Noether Normalization Lemma for arbitrary fields F. Hint: This can be done using the following variation of the proof we saw in class for infinite fields F. Recall that R = F [a 1,..., a n ], and if tr.deg F (R) < n, let f F [λ 1,..., λ n ] be a polynomial such that f(a 1,..., a n ) = 0. Write f = γ i1,...,i n λ i 1 1 λ in n. Now let u j be the highest degree of λ j that appears in any monomial of f, and define u = 1 + max{u 1,..., u n }. Now set ˆf = f(λ 1 + λ un 1 n, λ 2 + λ un 2 n,..., λ n 1 + λ u n, λ n ) and define c i = a i a un 1 n for 1 i n 1. Then ˆf(c 1,..., c n 1, a n ) = 0. Set R = F [c 1,..., c n 1 ] and define h R [λ n ] by h(λ n ) = ˆf(c 1,..., c n 1, λ n ). Now show that h has an invertible leading coefficient. (7) Algebraic geometry (a) Let F be a field. Recall that if Z F n is an algebraic set, we can associate to it the ideal I(Z) = {f F [x 1,..., x n ] : f(a 1,..., a n ) = 0 (a 1,..., a n ) Z}. Similarly, given an ideal I F [x 1,..., x n ], one can associate to it the algebraic set Z(I) = {(a 1,..., a n ) F n : f(a 1,..., a n ) = 0 f I}. For any algebraic set Z F n, prove that Z = Z(I(Z)). (b) Prove that an algebraic set Z F n is irreducible if and only if I(Z) is a prime ideal. (c) Let R be a Noetherian ring, and let φ : R R be a ring homomorphism. Prove that if φ is surjective, then it is an isomorphism. (d) Let F be a field. Does the ring extension F [x] F [x, y] satisfy INC? (e) Let A R be an extension of commutative rings. Let Q R be any ideal. Show that if R is integral over A, then R/Q is integral over A/(Q A). (8) Integral extensions (a) Let F be a field, and suppose the integral domain R is an F algebra. If r R is algebraic over F, prove that r 1 Frac R is also algebraic over F. (b) Let A R be integral domains, and suppose that R is integral over A. Prove that R is a field if and only if A is a field.
6 6 UZI VISHNE (c) Let F K be an extension of fields such that K is algebraic over F. Let α K. Then I α = {f F [x] : f(α) = 0} is a nonzero ideal in F [x]. Since F [x] is a PID, I α is principal. Therefore there is a uniquely defined monic polynomial f α such that I α = (f α ). This f α is called the minimal polynomial of α. Suppose that A is an integrally closed domain such that Frac A = F. Prove that α K is integral over A if and only if f α A[x]. Hint: One direction is trivial. To prove the other, let K E be the splitting field of f α. Then in E[x] we have f α (x) = n i=1 (x β i), where β 1 = α. Show that every β i is integral over A and express the coefficients of f α in terms of the elements β i. (d) The aim of the remaining exercises is to prove the Going Down Theorem: Let A R be an extension of integral domains, where A is an integrally closed domain and R is integral over A. Then A R has the property GD. Recall that this means that, given prime ideals P 0 P 1 A and a prime ideal Q 1 spec R lying over P 1, there exists Q 0 spec R such that Q 0 Q 1 and Q 0 lies over P 0. Let S 0 = A P 0, and define S = {ar : a S 0, r R Q 1 } R. Show that S is a monoid under multiplication. (e) Let P 0 be the ideal of R generated by the set P 0 (note that P 0 is an ideal of A, but not necessarily of R). Suppose that there exists an element s S P 0. Then we may write s = ar, where a S 0 and r R Q 1. Similarly, we can write s = m i=1 p ir i for a suitable m, where p i P 0 and r i R. Show that there exist h 0, h 1,..., h m 1 P 0 such that g(s) = 0, where g(x) = x m + h m 1 x m h 1 x + h 0. Hint: Let M = A[r 1,..., r m ]. Prove that M is finitely generated as an Amodule. Consider the map φ : M M given by φ(x) = sx (why is this indeed a homomorphism of modules?) and use the proof of Nakayama s lemma. (f) We use the notation of the previous question. Let F = Frac A, and let f s (x) = x n +d n 1 x n 1 + +d 1 x+d 0 F [x]
7 ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS 7 be the minimal polynomial of s. Show that d i P 0 for all 0 i n 1. Hint: The ring (A/P 0 )[x] is a UFD. (g) Let f r (x) = x n + d n 1x n d 1x + d 0 F [x] be the minimal polynomial of r. Why does f r indeed have degree n? Prove that d i = a n i d i for all 0 i n 1. (h) Prove that d i P 0 for all 0 i n 1 and deduce from this that r Q 1. On the other hand, we know that r R Q 1. It follows from this contradiction that S P 0 =. (i) Consider the set S = {Q R : S Q =, P 0 Q} of ideals of R. By the result of the previous question, S is nonempty. Prove that it contains a maximal element and that any maximal element is a prime ideal. (j) Let Q 0 be a maximal element of S. Prove that Q 0 Q 1 and that Q 0 A = P 0. Therefore the extension A R does indeed satisfy the property GD. (9) Localization (a) Let R be a ring and S a submonoid such that S Z(R). In class we defined an equivalence relation on R S as follows: (r 1, s 1 ) (r 2, s 2 ) if there exists s S such that r 1 s 2 s = r 2 s 1 s. We defined S 1 R to be the set of equivalence classes and claimed that it can be given a ring structure as follows: (r 1, s 1 ) + (r 2, s 2 ) = (r 1 s 2 + r 2 s 1, s 1 s 2 ) (r 1, s 1 ) (r 2, s 2 ) = (r 1 r 2, s 1 s 2 ). Show that these operations are welldefined. (b) Let R be a ring and I R a left ideal. Let R = R/I, and let S = {s + I : s S} R. Prove that S 1 R S 1 R/S 1 I. (c) Construct an integral domain with exactly 5772 maximal ideals. (d) Let F be a field and let R = F [[x]] be the ring of power series with coefficients in F. Show that R is a local ring. (e) Let R be a commutative ring and S a submonoid (not containing zero). If M is an Rmodule, we define an equivalence relation on M S by (m 1, s 1 ) (m 2, s 2 ) if there exists s S such that s(s 2 m 1 s 1 m 2 ) = 0. Show that this is an equivalence relation, that the set S 1 M of equivalence classes can be made into an abelian group by defining (m 1, s 1 ) + (m 2, s 2 ) = (s 2 m 1 + s 1 m 2, s 1 s 2 ), and that it is a
8 8 UZI VISHNE welldefined S 1 Rmodule under the scalar multiplication (r, s) (m, s ) = (rm, ss ). (f) Let R be a commutative ring and M an Rmodule. If P R is a prime ideal and S = R P is its complement, we write R P for S 1 R and M P for S 1 M. Prove that the following three statements are equivalent: (i) M P = 0 for all prime ideals P R. (ii) M Q = 0 for all maximal ideals Q R. (iii) M = 0. (10) Krull dimension (a) Let R be a commutative ring. Let I R be an ideal, and suppose that I r i=1 P i, where P 1, P 2,..., P r R are prime ideals. Prove that there exists some 1 j r such that I P j. (b) Let R be a Noetherian UFD. Let P R be a prime ideal such that ht R (P ) = 1. Prove that P is principal. (c) Suppose that R is a Noetherian domain. Prove that every nonzero element can be factored as a product of irreducible elements. (Recall that x R is irreducible if for all pairs y, z R such that x = yz, either y or z is a unit.) (d) Let R be a Noetherian domain. Prove that R is a UFD if and only if every prime ideal P R such that ht R (P ) = 1 is principal. (e) Let R be a Noetherian ring. Let P R be a prime ideal such that ht R (P ) = r. Prove that there exist a 1,..., a r P such that P is minimal over the ideal I = Ra 1 + Ra r and I cannot be generated by fewer than r elements. (f) Here is an example, due to Nagata, of a Noetherian ring with infinite Krull dimension. Let F be a field and let R = F [λ 1, λ 2,... ] be the commutative polynomial ring in (countably) infinitely many variables. Consider the ideal P i = λ i(i 1)/2+1,..., λ i(i+1)/2 1, λ i(i+1)/2. Show that P i is a prime ideal with i generators. Let S = R\( i=1 P i). Show that the ring S 1 R is Noetherian and that if M S 1 R is a maximal ideal, then M = S 1 P i for some i. Show that ht S 1 R(S 1 P i ) = i. Conclude that Kdim(R) =. (11) Algebraic geometry and Krull dimension (a) Let F be a field. If V F n is an irreducible algebraic variety of dimension n 1, prove that it is defined by a
9 ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS 9 single polynomial, i.e. that there exists f F [λ 1,..., λ n ] such that V = {(a 1,..., a n ) F n : f(a 1,..., a n ) = 0}. (b) Let F be an algebraically closed field, and let Z F n be any algebraic set. Prove that there exists a finite number of irreducible algebraic sets V 1,..., V r such that Z = V 1 V 2 V r. Recall that an algebraic set Z is called irreducible if for any two algebraic sets Z 1, Z 2 such that Z = Z 1 Z 2, one always has either Z 1 Z 2 or Z 2 Z 1. (c) Let F be a field which is not algebraically closed. Prove that the Nullstellensatz fails for F, in other words that there exists a radical ideal I F [λ 1,..., λ n ] for which there is so algebraic set Z F n such that I = I(Z). (d) Let R be a Noetherian domain. Prove that R is a principal ideal domain (PID) if and only if every maximal ideal is principal. (e) Let C C 3 be the curve defined parametrically as follows: C = { (t 3, t 4, t 5 ) : t C }. Prove that C is an algebraic set. Let P C[x, y, z] be the ideal I(C), and justify our choice of notation by proving that P is prime. (f) Let C C 3 and the ideal P C[x, y, z] be as in the previous question. Prove that ht C[x,y,z] (P ) = 2 but that P cannot be generated by any two elements. This shows that the inequality in the Hauptidealsatz is sometimes a strict inequality.
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 informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationAlgebra 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 informationCommutative Algebra and Algebraic Geometry. Robert Friedman
Commutative Algebra and Algebraic Geometry Robert Friedman August 1, 2006 2 Disclaimer: These are rough notes for a course on commutative algebra and algebraic geometry. I would appreciate all suggestions
More informationHonors 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 informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective Amodule such that the rank function Spec A N is constant with value 1.
More informationALGEBRA HW 4. M 0 is an exact sequence of Rmodules, then M is Noetherian if and only if M and M are.
ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of Rmodules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationMath 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 information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationIntroduction Nonuniqueness 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 informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationSample algebra qualifying exam
Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular ngon (of order 2n)
More informationCommutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...
Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 4 1.1 Rings & homomorphisms.............................. 4 1.2 Modules........................................ 6 1.3 Prime & maximal ideals...............................
More informationTotal 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 informationAssigned 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 informationExtended Index. 89f depth (of a prime ideal) 121f ArtinRees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f  listings ending in f give the page where the term is defined commutative
More information6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree
Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationCommutative Algebra. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...
Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 2 1.1 Rings & homomorphisms................... 2 1.2 Modules............................. 4 1.3 Prime & maximal ideals....................
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationMath 547, Exam 1 Information.
Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:1011:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationMath 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 information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationKrull Dimension and GoingDown in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
More information5 Dedekind extensions
18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationCommutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14
Commutative Algebra Andreas Gathmann Class Notes TU Kaiserslautern 2013/14 Contents 0. Introduction......................... 3 1. Ideals........................... 9 2. Prime and Maximal Ideals.....................
More informationStructure of rings. Chapter Algebras
Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An Ralgebra is a ring A (unital as always) together
More informationNOTES FOR COMMUTATIVE ALGEBRA M5P55
NOTES FOR COMMUTATIVE ALGEBRA M5P55 AMBRUS PÁL 1. Rings and ideals Definition 1.1. A quintuple (A, +,, 0, 1) is a commutative ring with identity, if A is a set, equipped with two binary operations; addition
More informationCOMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.
COMMUNICATIONS IN ALGEBRA, 15(3), 471 478 (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY John A. Beachy and William D. Weakley Department of Mathematical Sciences Northern Illinois University DeKalb,
More informationThe most important result in this section is undoubtedly the following theorem.
28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems
More informationFormal power series rings, inverse limits, and Iadic completions of rings
Formal power series rings, inverse limits, and Iadic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an Alinear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More information(a + b)c = ac + bc and a(b + c) = ab + ac.
2. R I N G S A N D P O LY N O M I A L S The study of vector spaces and linear maps between them naturally leads us to the study of rings, in particular the ring of polynomials F[x] and the ring of (n n)matrices
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationHomework 2  Math 603 Fall 05 Solutions
Homework 2  Math 603 Fall 05 Solutions 1. (a): In the notation of AtiyahMacdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an Amodule. (b): By Noether
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationIntroduction 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 informationAdvanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity.
Advanced Algebra II Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity. 1.1. basic definitions. We recall some basic definitions in the section.
More informationFall 2014 Commutative Algebra Final Exam (Solution)
18.705 Fall 2014 Commutative Algebra Final Exam (Solution) 9:00 12:00 December 16, 2014 E17 122 Your Name Problem Points 1 /40 2 /20 3 /10 4 /10 5 /10 6 /10 7 / + 10 Total /100 + 10 1 Instructions: 1.
More informationRINGS: 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 1113 of Artin. Definitions not included here may be considered
More information1.4 Solvable Lie algebras
1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)
More informationAlgebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More informationGroup Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.
Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationNOTES 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 informationPiecewise Noetherian Rings
Northern Illinois University UNAM 25 May, 2017 Acknowledgments Results for commutative rings are from two joint papers with William D. Weakley,, Comm. Algebra (1984) and A note on prime ideals which test
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution LudwigMaximiliansUniversität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor RMod S 1 RMod, M S 1 M, is exact. First,
More informationMath 210B: Algebra, Homework 1
Math 210B: Algebra, Homework 1 Ian Coley January 15, 201 Problem 1. Show that over any field there exist infinitely many nonassociate irreducible polynomials. Recall that by Homework 9, Exercise 8 of
More informationSpring 2016, lecture notes by Maksym Fedorchuk 51
Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2)
More informationSolutions to Homework 1. All rings are commutative with identity!
Solutions to Homework 1. All rings are commutative with identity! (1) [4pts] Let R be a finite ring. Show that R = NZD(R). Proof. Let a NZD(R) and t a : R R the map defined by t a (r) = ar for all r R.
More informationPolynomial 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 informationMATH 221 NOTES BRENT HO. Date: January 3, 2009.
MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................
More information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the socalled prime and maximal ideals. Let
More informationMINKOWSKI THEORY AND THE CLASS NUMBER
MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the
More informationYuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99
Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by
More informationAlgebraic structures I
MTH5100 Assignment 110 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationMath 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )
Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a Kvector space, : V V K. Recall that
More informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationIn 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 informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationTheorem 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(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated kalgebra. In class we have seen that the dimension theory of A is linked to the
More information2a 2 4ac), provided there is an element r in our
MTH 310002 Test II Review Spring 2012 Absractions versus examples The purpose of abstraction is to reduce ideas to their essentials, uncluttered by the details of a specific situation Our lectures built
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine kalgebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationInjective 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 Rmodules. The following
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
More informationMath Introduction to Modern Algebra
Math 343  Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationCSIR  Algebra Problems
CSIR  Algebra Problems N. Annamalai DST  INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli 620024 Email: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More information4.5 Hilbert s Nullstellensatz (Zeros Theorem)
4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More information(Rgs) Rings Math 683L (Summer 2003)
(Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that
More informationIUPUI Qualifying Exam Abstract Algebra
IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationA 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 informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationMA 252 notes: Commutative algebra
MA 252 notes: Commutative algebra (Distilled from [AtiyahMacDonald]) Dan Abramovich Brown University April 1, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 21 The Poincaré series of a graded module
More information11. Finitelygenerated modules
11. Finitelygenerated modules 11.1 Free modules 11.2 Finitelygenerated 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