October 28, 2010
Wordy Introduction, Motivation.
When you first start high school algebra, the big thing is FOIL-ing, right? Factoring and factorizing quadratics. When you get to calculus, the big things are derivatives and integrals. Then when you get to college and start doing math, things get a little tougher. We start learning about abstract structures, and these become increasingly specific and increasingly complex as we go along.
October 16, 2010
The Hilbert Basis theorem is probably one of the easiest-to-state theorems that I know of in commutative algebra. The last time I posted about it, I really butchered the proof; not that it was long, but it doesn’t really do anything for me. Reading back on it now, it doesn’t seem at all intuitive to me. The proof came through a long line of telephoning: the professor was reading from his notes, I was copying from the board, and then I was copying from my notes. Now that I have a bit more time, I’d like to go through the proof again, but this time I’d like to motivate the theorem and proof. Not just because the proof is a common proof-type (there are a ton of proofs that go a similar way in the commutative algebra book I’m going through) but because it’s not nearly as difficult as it looks at first glance.
October 15, 2010
This serious sounding title is apt for this post, because the Nullstellensatz is the big time. This is one of the "big" results in algebraic geometry. Before we dive into the theorem, though, let’s motivate this a little bit.
October 12, 2010
This post is going to be a gentle introduction to what a module is. It isn’t hard, but, for me, modules were sort of just “thrown in” with a whole bunch of defining properties and no motivation for why I should care about them. I’m hoping to motivate them at least a little bit so that you feel more comfortable thinking and working with them!
August 27, 2010
It’s becoming a bit more difficult to write these, with grading and homework taking up much of my time, and I no longer am officially "taking" AGCA for credit. Nonetheless, it’s an extremely interesting topic, and I’m going to go along with it for as long as I can. I should have noted in the previous post: a ring will always mean "commutative, with unit."
Okay, first, I’m going to abbreviate Algebraic Geometry + Commutative Algebra as AGCA, since, you know, it’s a lot to say. Second, these posts (with the title AGCA) may require a bit more mathematical maturity and abstract algebra than the others.
This is following the lectures of Professor Vitter, and, unfortunately, is only going to be a shallow copy with, most likely, more typos. My intention is to learn the material by teaching, and to clear up and expand on the proofs given. I do not pretend to be anywhere near as good a lecturer or mathematician, and this post is essentially “for entertainment purposes only.” Reader beware.