AGCA: Introduction to Affine Algebraic Sets, Ideals, and Noetherian Rings.
August 24, 2010
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.
First and foremost, for this post you must know what a field is. If you don’t know and you don’t want to take fifteen seconds to look on wikipedia, then just think about . Good? Good.
Definition: If is a field, then is called the ring of polynomials in n-variables with coefficients in .
This is exactly what it sounds like. Each element is a polynomial in variables; in other words, each term contains a coefficient from followed by varying powers of . So, for example, an element of is .
The one that we’re going to most commonly use is which is simply all polynomials in . So, for example, , or . Any polynomial in will work here. Note that these cannot be power series, and must have a finite number of terms.
Definition: Given a field , we may form the affine n-space denoted , or, in other words, affine n-space is simply direct products of .
For example, is real affine n-space.
Now, an extremely important idea in commutative algebra is the notion of an ideal. I don’t want to spend a whole ton of time explaining what this is, but, generally, it’s something very similar to the notion of “multiples” in the integers. Specifically, we have
Definition: An ideal of a ring is a subgroup of under , and for each and for all , we have that .
Ideals are generally written where is the generator of this ideal, or if there are many generators, or simply .
The prototypical example of ideals come from the integers. For example, if we consider the multiples of 3 in the integers, we note that these form a subgroup under addition of the integers (which are a ring with multiplication and addition) and for every number in the integers, we have that is a multiple of 3, and is therefore in our subgroup. This last property is essentially the one that distinguishes this set as an ideal as opposed to a subgroup. There are numerous other examples, though. For any general field, we have that the only proper ideal is (why?).
Okay, now we’re getting to the meat and potatoes of this post. It’s extremely important in algebraic geometry to consider the set of zeros of certain polynomials. I mean, we do that in algebra and calculus all the time, so why not in algebraic geometry? So, we define this crazy looking thing.
Definition: is called an Affine Algebraic Set (AAS) if there exists some functions such that .
Where is just some larger indexing set. What is this saying? We have that is an AAS if we have some crazy functions such that every point in is a zero of every single one of those functions. So, for example, if we have the functions and in then the associated affine algebraic set for these would just contain the element , since this is the only zero common to both. Notice that our element is actually sitting in the real affine 1-space .
Note that it is entirely possible that functions do not share zeros. Then that kind of stinks, and the associated affine algebraic set for those is the null set.
For AAS, it is equivalent to consider the ideal generated by the set of ‘s. Why? Because every element in the ideal will have the same zeros as one or more of these ‘s. Think about this for a bit, and try to prove it to your self. Therefore, we have if
then this is an ideal in depending on what variables are used in the ‘s.
Using this definition of the ideal we can use the alternate definition:
Alternate Definition: above is an AAS if we have that .
Good. This is saying the exact same thing: is made up of points that are the zeros of every polynomial in the ideal above.
Alright, now, before we move onwards, we want to define one last thing. This is a biggie. If you only remember one definition from this post, then remember this one because it comes up quite a bit. SERIOUSLY. Remember this next thing.
Definition (VERY IMPORTANT): A ring is noetherian if one of the two following things hold:
- Every ideal in is finitely generated. That is, for every ideal , there are some elements such that if and only if for some .
- For every ascending chain of ideals where each of the are ideals of , we have that there exists some such that for all we have . That is, the chain essentially “stops” and we keep having the same ideal over and over again. This is called the “ascending chain condition.”
Note that the term “Noetherian” is generally in uppercase, but I will keep it lowercase. I feel that this is much more of a compliment to Emmy Noether! Now, it’s not entirely trivial to prove that these two statements are equal, so let’s just do that quickly.
Proof (The equivalence of those two things in the definition above):
. Let’s assume 1, and let’s consider a chain of ideals , and then let’s define . Prove to yourself that is in fact an ideal of . By assumption, it is finitely generated. Therefore, and so we must have some such that all of the ‘s are in , as they are in the union, and these are nested sets. Therefore, pick the ideal of the least index such that each of those ‘s are in it. Every ideal after that is equal to . This proves the first part.
. Suppose that we have some ideal and we want to show that this is finitely generated. Well, let’s consider some . If isn’t all of , pick an element that is in but is not in . Call this element . Continue doing this. We have the chain
and so we must have, by assumption, that this chain eventually stops. Prove to yourself that it must stop at . Therefore, because it stops in a finite number of subsets, we have a finite generating set. .
So, what? What kind of things are noetherian? The next post will focus on this, but I want to mention the main theorem that we’ll be proving next time: the hilbert basis theorem.
Theorem (Hilbert Basis Theorem): If is noetherian, then so is .
This is a really powerful theorem. In particular, it also implies that is noetherian, and, therefore, so is ! Neat.
Next time, we prove the HBT and give some examples of some noetherian things.