MA8202 Commutative Algebra (Fall 2010)
Lecturer
Steffen Oppermann, room 844, Sentralbygg II, Steffen [dot] Oppermann [at] math [dot] ntnu [dot] no
Schedule
Lectures will regularly take place Tuesdays and Wednesdays, 14:15-16:00, in room 734.
Exceptions | |
---|---|
Mo, Aug 23rd | extra lecture 10:15-12:00 in 734 |
Tu, Aug 24th | lecture moved to 656 |
Fr, Sep 10th | extra lecture 10:15-12:00 in 656 |
Tu, Sep 14th | no lecture |
We, Sep 15th | no lecture |
Tu, Sep 28th | lecture postponed to 15:15-17:00 |
Book
The course will follow the book Introduction to commutative algebra by M. F. Atiyah and I. G. Macdonald.
The content of the course is mainly identical to the content of the book. However the course skips Chapter 4 and the first half of Chapter 5 (that is, Chapter 5 is reduced to the subjects "valuation rings" and "Hilbert's Nullstellensatz").
Exercises
Date | Problems |
---|---|
Aug 25 – Aug 31 | Chapter 1, Exercises 1., 2. i) and ii), 5. i) iii), iv), and v), 10), 15) Remarks: 2. and 5. may be simplified by focusing on the case that A is a field; 15. gives a perspective of what will be important in algebraic geometry |
Sep 01 – Sep 07 | Prove the Nakayama Lemma: Let M be a finitely generated A-module, J the Jacobson radical of A. Assume that JM=M. Then M=0. Hint: Assume m1 … mr is a minimal set of generators. Assume m1 lies in JM. Show that m1 lies in the module generated by the other mi, contradicting the minimality. Chapter 2, Exercises 1., 3. + find counterexamples to the statement if A is not local or M is not finitely generated, 9, 13. |
Sep 10 – Sep 21 | Chapter 3, Exercises 5, 12 Hint: don't read the hint in the book, it is much more complicated than necessary, 13, 19. i) – vi) |
Sep 22 – Sep 28 | Consider the ring A = k[x,y]/(xy), where k is an algebraically closed field. 1. Determine the maximal ideals of A. Draw a picture. 2. Determine the local rings Am for all maximal ideals m of A. |
Sep 29 – Oct 05 | Chapter 6, Exercises 1. and 4. |
Oct 06 – Oct 12 | Chapter 7, Exercises 8., 11., and 14. Remark: Exercise 14 is a version of Hilbert's Nullstellensatz which explains the relationship between ideals and geometry in more detail than the version we discussed before. Chapter 8, Exercise 3. |
Nov 10 – Nov 16 | Determine (independently) d(A), delta(A), and dim A for the local rings A = k[[x]] and A = k[[x,y]]/(xy). |
Nov 17 – Nov 23 | Determine dim Z and dim k[x1, …, xd]. You may assume k to be algebraically closed. |