ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

Size: px
Start display at page:

Download "ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS"

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 R-modules: 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 R-module. 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 R-module 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 R-module, 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 R-module, 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 R-modules. (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 R-module 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 Z-module 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 Z-module 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 non-zero 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 two-sided 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 A-algebra. 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 A-module. (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 square-free 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 non-zero 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 non-zero 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 A-module. 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 non-empty. 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 sub-monoid 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 well-defined. (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 sub-monoid (not containing zero). If M is an R-module, 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 well-defined S 1 R-module under the scalar multiplication (r, s) (m, s ) = (rm, ss ). (f) Let R be a commutative ring and M an R-module. 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 non-zero 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 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

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

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

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

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

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

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

(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

Math 145. Codimension

Math 145. Codimension Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

More information

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

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

Commutative Algebra and Algebraic Geometry. Robert Friedman

Commutative Algebra and Algebraic Geometry. Robert Friedman Commutative Algebra and Algebraic Geometry Robert Friedman August 1, 2006 2 Disclaimer: These are rough notes for a course on commutative algebra and algebraic geometry. I would appreciate all suggestions

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

n P say, then (X A Y ) P

n 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 A-module such that the rank function Spec A N is constant with value 1.

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

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Math 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

5 Dedekind extensions

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

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

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

Sample algebra qualifying exam

Sample 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 n-gon (of order 2n)

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

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

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

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

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

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S

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

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

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

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

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11: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 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

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

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

Krull Dimension and Going-Down in Fixed Rings

Krull Dimension and Going-Down 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 information

5 Dedekind extensions

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

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

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

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

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

COMMUNICATIONS IN ALGEBRA, 15(3), (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 information

The most important result in this section is undoubtedly the following theorem.

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

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

(a + b)c = ac + bc and a(b + c) = ab + ac.

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

Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

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

Algebra Exam Syllabus

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

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

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

More information

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

Fall 2014 Commutative Algebra Final Exam (Solution)

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

1.4 Solvable Lie algebras

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

Algebraic Number Theory

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

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

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

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

Piecewise Noetherian Rings

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

Homological Methods in Commutative Algebra

Homological Methods in Commutative Algebra Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes

More information

Math 210B: Algebra, Homework 4

Math 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 R-Mod S 1 R-Mod, M S 1 M, is exact. First,

More information

Math 210B: Algebra, Homework 1

Math 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 non-associate irreducible polynomials. Recall that by Homework 9, Exercise 8 of

More information

Spring 2016, lecture notes by Maksym Fedorchuk 51

Spring 2016, lecture notes by Maksym Fedorchuk 51 Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2)

More information

Solutions to Homework 1. All rings are commutative with identity!

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

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

MATH 221 NOTES BRENT HO. Date: January 3, 2009. MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................

More information

7 Orders in Dedekind domains, primes in Galois extensions

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

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

MINKOWSKI THEORY AND THE CLASS NUMBER

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

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

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 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 information

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

Math 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 K-vector space, : V V K. Recall that

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

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

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

Math 711: Lecture of September 7, Symbolic powers

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

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

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

More information

(dim Z j dim Z j 1 ) 1 j i

(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 k-algebra. In class we have seen that the dimension theory of A is linked to the

More information

2a 2 4ac), provided there is an element r in our

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

1 Absolute values and discrete valuations

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

9. Integral Ring Extensions

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

Summer Algebraic Geometry Seminar

Summer Algebraic Geometry Seminar Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties

More information

Math Introduction to Modern Algebra

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

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

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

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

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

4.5 Hilbert s Nullstellensatz (Zeros Theorem) 4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)

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

IUPUI Qualifying Exam Abstract Algebra

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

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

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

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

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map: Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties

More information

MA 252 notes: Commutative algebra

MA 252 notes: Commutative algebra MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University April 1, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 21 The Poincaré series of a graded module

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