share
MathOverflowReference book for commutative algebra
[+30] [8] Andrea Ferretti
[2010-02-25 17:08:57]
[ ac.commutative-algebra reference-request ]
[ https://mathoverflow.net/questions/16416/reference-book-for-commutative-algebra ]

I'm looking for a good book in commutative algebra, so I ask here for some advice. My ideal book should be:

To put this in context, I'm an algebraic geometer, so I know enough commutative algebra, but I didn't study it systematically (apart from a first course on A–M which I followed as an undergraduate); rather I learned the things I needed from time to time. So I would like to give me an occasion to get a better grasp on the subject.

EDIT: I will be more specific about the level. As I said I already had a course on Atiyah–Macdonald, and I know that material well, so I'm not interested in books of a comparable level. But I'm not completely familiar with Cohen–Macaulay rings and the relationship between regular sequences and the Koszul complex for example. And I know very little of Gorenstein rings and duality. So I'm looking for something a little bit more sophisticated than what has been already proposed. Yes, I know Eisenbud does these things but it's easy to get lost in that book. Something more to the point would be nice.

(3) It's not a book, so I'll just write this as a comment: I have found the lecture notes of Gaitsgory (math.harvard.edu/~gaitsgde/COMALG_2008) to be a useful complement to Atiyah-MacDonald, emphasizing different subjects than AM does. (Look at the homeworks on that page for even more!) Certainly many orders of magnitude less comprehensive than Matsumura or Eisenbud, though. - Sam Lichtenstein
(2) Eisenbud's book is indeed too thick and too boring, but if you know what to skip it is not that bad. If you are not into computer algebra calculations or alike than you probably do not need Groebner basis (actually ch. 14, 15) and in a way last two chapters 20 and 21 are too specialized. The thickness of the book is much due lots of appendices on the stuff which you either already know (like derived functors) or you probably do not need. - Zoran Skoda
(1) My advisor recommended Bourbaki's commutative algebra. He said that the author of this book know a lot of functional analysis which is good to do algebraic geometry... - Shizhuo Zhang
(2) Out of curiosity, is there a reason why nobody mentions Zariski-Samuel? I've never read it, but looking at the table of context, it seems to be more comprehensive than AM. Also, Milne writes about it that it is "very detailed and well organized." - user2734
(1) Bourbaki also seems a little too elementary. Maybe Zariski-Samuel is a bit more comprehensive. I think I will edit the question to be more specific about the level. By the way: why is everyone answering in the commments? It would be easier to use answers, so that other people can upvote and I (and other interested people) can see what the majority of people recommends. - Andrea Ferretti
(35) I don't think it's respectful to describe Eisenbud's algebra book as "boring". (Moreover, I don't find it boring, but that's not my main point.) David Eisenbud is an actual living person -- with internet access. He is a very nice man, one of the world's leading commutative algebraists, and one of the most influential and well connected mathematicians I know. "Boring" is not appropriate language for professionals publicly discussing his work. - Pete L. Clark
(16) I did not claim the book is boring, only that it is too thick, and that sometimes it deviates too much from the main exposition. - Andrea Ferretti
(2) Actually it is a really good reference book; less so for self study. - Andrea Ferretti
(5) @AF: I agree, you did not. - Pete L. Clark
(30) @Clark I'm not sure whether Eisenbud's book is boring, however why is it inappropriate to say so if he/she feels it's boring? It has nothing to do with the author being a nice person or not. If a nice mathematician writes a wrong paper, would it be inappropriate to say his work is wrong? (which seems to be more damning than "boring") - Anonymous
(9) @Anonymous: "wrong" is (in mathematics) an objective insight into someone's work, hence potentially extremely helpful. "Boring" is purely subjective and yields no useful information. It is a well-known principle of reviewing that one does not make negative comments without justification, let alone unjustifiable ones. - Pete L. Clark
(8) @Pete L.Clark Pete-may I call you Pete?-as someone who actually reviews textbooks for the MAA online,I don't hesitate to use words like boring if a book puts me to sleep and doesn't educate me on a given subject by making it very unpleasant.A text's job above all is to educate and it's essential the experience be a positive one for that to occur.Fortunately,that hasn't happened often-most of the books I've reviewed have been quite good,some excellent. - The Mathemagician
(1) Continued-I've never had the pleasure of speaking to Dr.Eisenbud;he has a reputation as a good guy,a first rate mathematician and teacher.One would hope a good guy as he's supposed to be would have a thicker skin then to be offended by someone's opinion.If not, since he's supposed to be so influential and well connected,the results for the author of such comments could be detrimental.(hint...)It WOULD be appropriate for the author of such comments to explain at some length WHY he has that opinion.It would then seem like a professional evaluation and not a half-assed stab at the target. - The Mathemagician
(1) And for the record-I LIKE Eisenbud's book quite a bit.I seriously doubt such huge books-with the possible exception of Spivak's mammoth epic on differential geometry-are expected to be read and absorbed in one sitting.They are rich keepsakes you keep returning to for years,getting something new out of it every time. - The Mathemagician
(3) Without getting boring, I should add (as in another post) that the "MacDonald" mentioned along with Atiyah is actually Ian G. Macdonald of Macdonald polynomial fame, etc. The group theorist "Ian D. MacDonald" gets confused with him, but I've met both in the past and know very well the difference. - Jim Humphreys
(6) If a paperback book is too thick, one can always take a razor blade and separate it into two pieces. The homological stuff and appendices say, would make a reasonable second volume. I will probably not do this with David's opus, but I did so with Robert Parker's last wine buyers guide, cutting French wine off as volume 1. Of course not everyone has arthritis in his joints. - roy smith
[+31] [2010-02-26 15:21:54] Hailong Dao [ACCEPTED]

For a reference on Cohen-Macaulay and Gorenstein rings, you can try "Cohen-Macaulay rings" by Bruns-Herzog.

Also, Huneke's lecture note [1] "Hyman Bass and Ubiquity: Gorenstein Rings" is a great introduction to Gorenstein rings, very easy to read and to the point, I highly recommend it.

EDIT: Since this question is already bumped up, I will take this opportunity to make a longer list.

There are of course some classic references which are still very useful (I find myself having to look in them quite often despite the new sources available): Bourbaki, EGA IV, Serre's "Local Algebras" (very nice read and culminated in the beautiful Serre intersection formula [2]).

There has been some work done in commutative algebra since the 60s, so here is a more up-to-date list of reference for some currently active topics (Disclaimer: I am not an expert in any of these, the list was formed by randomly looking at my bookself, and put in alphabetical order (-:). This is community-wiki, so feel free to add or edit or suggest things you found missing.

  • Cohen-Macaulay modules, from a representation theory perspective: Yoshino [3] is excellent. Another one is being written [4].

  • Combinatorial commutative algebra: Miller-Sturmfels [5].

  • Free resolutions (over non-regular rings): Avramov lecture note [6]

  • Geometry of syzygies: Eisenbud [7], shorter but free version here [8].

  • Homological conjectures: Hochster [9], Roberts [10] (more connections to intersection theory), Hochster notes [11].

  • Integral closures: Huneke-Swanson [12], which is available free at the link.

  • Intersection theory done in a purely algebraic way: Flenner-O'Carrol-Vogel [13] (for a very interesting story about this, see Eisenbud beautiful reminiscences [14], especially page 4)

  • Local Cohomology: Brodmann-Sharp [15], Huneke's lecture note [16] (very easy to read), 24 hours of local cohomology [17] (I have been told that this one was a pain to write, which is probably a good sign).

  • Tight closure and characteristic $p$ method: Huneke [18], Karen Smith's lecture note (more geometric, number 24 here [19]), and of course many well-written introductions available on Hochster website [20].

  • [1] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.7033
    [2] http://en.wikipedia.org/wiki/Intersection_theory_%28mathematics%29
    [3] http://rads.stackoverflow.com/amzn/click/0521356946
    [4] http://www.leuschke.org/Research/MCMBook
    [5] http://rads.stackoverflow.com/amzn/click/0387237070
    [6] http://www.math.unl.edu/~lavramov2/papers/resolution.pdf
    [7] http://rads.stackoverflow.com/amzn/click/0387222324
    [8] http://www.msri.org/people/staff/de/ready.pdf
    [9] http://rads.stackoverflow.com/amzn/click/0821816748
    [10] http://rads.stackoverflow.com/amzn/click/0521473160
    [11] http://www.math.utah.edu/vigre/minicourses/algebra/hochster.pdf
    [12] http://people.reed.edu/~iswanson/book/index.html
    [13] http://rads.stackoverflow.com/amzn/click/3540663193
    [14] http://www.msri.org/~de/papers/pdfs/1999-002.pdf
    [15] http://rads.stackoverflow.com/amzn/click/0521372860
    [16] http://www.math.uic.edu/~bshiple/huneke.pdf
    [17] http://rads.stackoverflow.com/amzn/click/0821841262
    [18] http://rads.stackoverflow.com/amzn/click/082180412X
    [19] http://www.math.lsa.umich.edu/~kesmith/paperlist.html
    [20] http://www.math.lsa.umich.edu/~hochster/mse.html

    While this is an excellent book, I think it definitely counts as more dense and easier to get lost in than either Matsumura or Eisenbud... Eisenbud gives much better geometric pictures of these things than Bruns-Herzog. - Gwyn Whieldon
    I wish I could upvote again: great edit! - Alicia Garcia-Raboso
    1
    [+10] [2010-05-24 22:27:42] Pete L. Clark

    For the past couple of years I've been currently writing what amounts to a book on commutative algebra:

    http://alpha.math.uga.edu/~pete/integral2015.pdf [1]

    I say this not because I think that if/when I'm finished, my "book" will be the book you're looking for. Really! Rather, my point is that when I started writing my book I was in your situation: I had picked up "enough" commutative algebra for my research but hadn't studied it systematically since I was an undergraduate taking a 10 week course at the Atiyah-MacDonald level. There were a handful of texts that I owned and got useful information out of — especially, Eisenbud and Matsumura — but none of the texts covered everything that I wanted or only things that I wanted. (Also, and I don't know whether you are in this situation, I had begun to teach graduate courses and wanted to use facts of commutative algebra in my lectures. It doesn't really fly to say, "This holds by some normalization theorem, which is surely somewhere in Matsumura, or if not then in Eisenbud — I think." They'll believe you, but they won't look it up themselves.) So ….

    Anyway, returning to the present, I really like my book. I especially like that I can add to it at any time I like, that I can move the sections around if I choose to, that I have free access to it at all times, etc. There is no doubt in my mind that in writing it I have learned an immense amount of material. In particular, I have long since disabused myself of the somewhat jejune notion that I knew "enough" commutative algebra. I no longer believe that such a thing is even possible.

    This is not to say that no one else cares about my "great 21st century commutative algebra book". I have gotten a lot of feedback to the contrary, and I do think it — or rather, parts of it — are being read by a worldwide audience. Conversely, I regularly peruse other people's great 21st century commutative algebra books for nuggets of insight. I look forward to reading yours….

    [1] http://alpha.math.uga.edu/%7Epete/integral2015.pdf

    You got a right to blow your own horn with these notes/book draft,Pete-it's REALLY nice! Not quite as geometric as Eisenbud,but more so then the "formal" books like Matsumura and Kaplansky. And a whole lot more up-to-date and digestible. Tell you what-I'm looking into beginning my own publishing company in the next five years to publish nice,inexpensive textbooks for students out of recycled paper. If you haven't found a publisher by then,I'll drop you a line if it materializes and I'm in the market for manuscripts.I'd be a REALLY happy man to publish the finished version. - The Mathemagician
    indeed I have already looked into your book for some things! :-D - Andrea Ferretti
    (1) As @‍LucasHenrique points out, now's your chance to read @AndreaFerretti's book. 😄 - LSpice
    2
    [+6] [2010-02-27 06:06:24] Brian Jurgelewicz

    Yoshino's book on cohen macaulay modules over cohen macaulay rings is a gem. Highly recommended!


    3
    [+5] [2023-12-23 02:15:49] Lucas Henrique

    For more recent readers of this thread, it seems that OP has actually written their own book [1] on the subject, so perheaps it is an alternative to the proposed problems on the references cited by them.

    [1] https://bookstore.ams.org/GSM-233

    (4) That's true, but the book doesn't actually cover homological techniques, which are instead covered in the sequel bookstore.ams.org/GSM-234 - Andrea Ferretti
    4
    [+3] [2010-05-24 21:13:00] Karl Schwede

    I guess it depends on your specific interest also. I certainly agree with Long's suggestion on Bruns and Herzog above.

    From a more geometric perspective... A good source for local cohomology / duality stuff is Hartshorne's book "Local cohomology" based on Grothendieck's seminar (I think)

    It's a lot more geometric than Bruns and Herzog.

    You can also move from there to "Residues and Duality" if you'd like (and there are other sources for that as well, Brian Conrad's book, Lipman's notes, etc.). Coming from a more geometric perspective originally myself, I didn't really get Bruns and Herzog chapter 3 until I did this.

    For Eisenbud's book, perhaps you should take it chapter by chapter. Many chapters don't really rely on anything and can be read out of context. This makes it a very valuable reference.


    That's helpful to know. It's kind of a daunting book to decide to read cover-to-cover... - Tim Campion
    5
    [+2] [2010-02-25 18:01:10] Alicia Garcia-Raboso

    I learned commutative algebra in the same way you describe: Atiyah-MacDonald and then picking things up along the way. I don't know if your ideal book exists or not, but I can give you one nice reference: Mel Hochster's lecture notes for Math 614 and 615, available from his webpage [1].

    [1] http://www.math.lsa.umich.edu/~hochster/

    Yes, I would suggest reading Hochster's notes for 614 along with Bourbaki's commutative algebra. The notes for 615 this semester are on Zariski's main theorem, the structure theory of smooth étale and unramified morphisms of rings, Artin approximation, Henselian rings, and a bunch of other stuff we haven't gotten to in class. 615 is a topics course, so the notes from different semester will yield different things. - Harry Gindi
    That's how I learned. A-M, first, and then, though not Hochster, I moved on to Eisenbud in a course, and also Cox-Little-O'Shea taught me Groebner everything. - Charles Siegel
    Hochster lectures seem nice, but a bit too elementary. I had a brief glance, and it doesn't seem that they cover much more ground than Atiyah-MacDonald. - Andrea Ferretti
    6
    [+1] [2010-05-24 20:48:22] Bart Snapp

    Maybe Matsumura's Commutative Algebra --

    (when you say "Matsumura" above I assume you mean "Commutative Ring Theory")

    Of course this book is somewhat difficult to obtain.


    (6) @Bart: for those of us who are, at best, dimly aware that these are not the same book, could you say a little bit about what makes them different? - Pete L. Clark
    7
    [+1] [2010-11-18 04:42:10] roy smith

    To give the opposite suggestion from Bart, I was going to recommend Matsumura's Commutative ring theory as opposed to his Commutative algebra. I have said why at length on the "unanswered questions" thread asking exactly Pete's question. Briefly, Ring theory is clearer, better organized, argued more fully, with more exercises (and answers), references, with a better index, and easier to read. Probably because Miles Reid rendered it into English, and possibly also because Matsumura got to revise his first book, which was almost a set of (excellent, and advanced) class lecture notes. At least two of us who took Matsumura's class in 1967 (Sevin Recillas and I) seem to like the second book. Sevin owned and recommended it when i complained I had difficulty using the original book. Since I am judging based on what appears on Amazon, I cannot be positive it contains every result I want to reference, but from the table of contents I would guess it does. I also like Zariski and Samuel for clarity, but homological methods were introduced just as that book was finished.


    Thanks, Roy. But does the "Algebra" book cover material that does not appear in "Ring Theory"? - Pete L. Clark
    @Pete: the first one has a lot on excellent rings which are not in the second one. - Hailong Dao
    (2) Actually, although the 15 page final chapter of Comm. Alg. is entitled "excellent rings", there are only two pages devoted to them there, i.e. excellent rings are defined on the next to last page of that chapter. Aha! there is a 50 page appendix that discusses them further. So this appendix seems to be mostly what is omitted from the later book. However several proofs are omitted also from this appendix and referenced instead to EGA, Bourbaki, and Nagata. This material does not appear to me to be needed say to read Hartshorne. Most of these are topics I myself have seldom encountered. - roy smith
    Great, thanks. (I noticed that you answered this more expansively in another question, and I upvoted that as well.) - Pete L. Clark
    8