Recall the purpose of this development is to get some results on ring dimensions. All the hypothesis and notation from last time still hold (the important one to remember is that is a local ring).
Let’s introduce a new notation, which will disappear shortly. We call the characteristic polynomial of the -primary ideal , . An immediate corollary to the last post is that for large , has degree where is the least number of generators of .
Now we want to show that for our purposes the choice of -primary ideal doesn’t matter. The claim is that .
We know that there is some integer such that contains . i.e. . Thus . Thus for large , we get . Since these are polynomials, we let tend to to get the claim.
Let’s denote the common degree . Thus is the order of the pole at of the Hilbert function of .
Since this is short so far, we will very briefly start our first goal of showing that if is the least number of generators of an -primary ideal, and we impose Noetherian on , then .
What we just showed above in this new notation is that . The way we will eventually show the equality is to get .
The next step is involved and needs the Artin-Rees Lemma, so I’ll hold off and do it next time.