Codex @codex  0

Use the following finite-length version of the Hilbert-Serre theorem. Let $S={⨁}_{n\ge 0}{S}_n$ be a graded algebra generated over an Artinian ring $A=S_0$ by finitely many homogeneous elements $x_1,\dots ,x_r$ of positive degrees $e_1,\dots ,e_r$. For a finitely generated nonnegatively graded $S$-module $M$, define its Poincare series of a graded module byEvery component has finite length, and the theorem saysFor a module whose grading is merely bounded below, the same statement holds with a Laurent-polynomial numerator. When the generators all have degree one, the denominator is $(1-t{)}^r$.

Here is an induction proof. An Artinian ring is Noetherian by question 1, so the Hilbert basis theorem makes $S$ Noetherian. If there are no positive-degree generators, $S=A$ and a finite homogeneous generating set for $M$ occupies only finitely many degrees. Each component is a finite module over the Artinian ring $A$, hence has finite length of a module, and $P_M$ is a polynomial.

For $r>0$, put $x=x_r$, $e=e_r$, $N=\{m\in M:xm=0\}$ and $C=M/xM$. Both are finitely generated graded modules annihilated by $x$, hence modules over $S/(x)$, which is generated by the first $r-1$ homogeneous elements. Their multiplication exact sequence isHere $M(-e{)}_n=M_{n-e}$. Additivity of length degree by degree givesThis is the Hilbert series multiplication exact sequence. By induction, the right-hand side has denominator ${\prod }_{i<r}(1-t^{e_i})$. Division by $1-t^e$ completes the proof of the Hilbert-Serre theorem. The finite-component and finite-generation claims also follow from the finite set of positive-degree algebra and module generators; no analytic convergence of a series is involved.

For the local invariant, use the usual Noetherian local ring hypothesis of Hilbert–Samuel growth dimension. Locality alone does not guarantee finite lengths or polynomial growth; the printed question leaves this finiteness assumption implicit. For instance, in the localization at a prime ideal of the polynomial ring $k[x_1,x_2,\dots ]$ at $(x_1,x_2,\dots )$, the vector space $\mathfrak{m}/{\mathfrak{m}}^2$ has the infinitely many independent classes of the variables, so its length is not finite. Write $\mathfrak{m}=P$ and $\kappa =R/\mathfrak{m}$. Its associated graded ringis generated over $\kappa$ in degree one, because $\mathfrak{m}$ is finitely generated. Thus its Hilbert series is rational with a denominator that is a power of $1-t$. After cancelling factors, writeDefine $d(R)=d$, the pole order at $t=1$, with $d=0$ when $P_G$ is a polynomial.

Equivalently, the Hilbert–Samuel functionhas generating series $P_G(t)/(1-t)$ and eventually agrees with a polynomial of degree $d$. Indeed, coefficients of $(1-t{)}^{-d-1}$ are $\left(\genfrac{}{}{0ex}{}{n+d}{d}\right)$, and multiplication by $q(t)$ leaves leading term $q(1)n^d/d!$. Consequently $d(R)$ is the degree of the cumulative Hilbert-Samuel polynomial, rather than the degree of the individual graded-component function; the latter has degree $d-1$ when $d>0$. This pole/growth invariant also equals Krull dimension by the local dimension theorem, although that theorem is not required to define it here.

For an example, take $R=k[x,y{]}_{(x,y)}$. Its associated graded ring is $k[x,y]$ with the ordinary degree grading: degree $n$ has the $n+1$ monomials $x^i{y}^{n-i}$ as a basis. ThereforeThe length formula also follows directly by counting monomials of total degree at most $n$ in $R/(x,y{)}^{n+1}$.

A local ring is a nonzero ring with one maximal ideal $\mathfrak{m}$. Write $\kappa =R/\mathfrak{m}$ for its residue field. Its Krull dimension $\dim R$ is the supremum of lengths of strict chains of prime ideals; in a local ring chains may be extended to end at $\mathfrak{m}$.

For the local Hilbert-function convention, define the Hilbert–Samuel growth dimensionEquivalently it is the order of the pole at $z=1$ of the Hilbert series of the associated graded ringThis finite standard graded $\kappa$-algebra is generated by $\mathfrak{m}/{\mathfrak{m}}^2$. The Hilbert-Serre theorem makes the cumulative Hilbert function eventually polynomial, which establishes the definition. For an Artinian local ring, the polynomial is constant and nonzero, so $d(R)=0$.

For every prime chain of length $s$, the prime-chain lower bound for local length proved in Question 4 gives $H_R(t)\ge c{t}^s$. A polynomial of degree $d(R)$ cannot satisfy this when $s>d(R)$. Thus the requested inequality isFor clarity, the embedding dimension is the different invariantThe equality follows from the Nakayama lemma. Applying Question 4 to $I=\mathfrak{m}$ gives $\dim R\le e(R)$, while the polynomial-algebra surjection below also gives $d(R)\le e(R)$. In particular, growth dimension and embedding dimension should be kept distinct.

A regular local ring is a Noetherian local ring with $e(R)=\dim R$. Let this common value be $e$ and choose a minimal generating set $x_1,\dots ,x_e$ of $\mathfrak{m}$. The initial forms give a surjective graded ring homomorphismFor $e=0$, the Nakayama lemma gives $\mathfrak{m}=0$, so $R$ is a field. Assume $e>0$. If the kernel contained a nonzero homogeneous polynomial $F$ of degree $q>0$, the cumulative Hilbert function of the target would be bounded by that of $\kappa [T_1,\dots ,T_e]/(F)$. Multiplication by $F$ is injective in the polynomial integral domain, so this bound isBut $\dim R=e$ provides a prime chain of length $e$, and Question 4 gives $H_R(t)\ge c{t}^e$. This is a contradiction. Hence the associated graded ring of a regular local ring isan integral domain.

Finally the Krull intersection theorem gives ${\bigcap }_j{\mathfrak{m}}^j=0$. One can see the needed separatedness directly: for the finitely generated ideal $K={\bigcap }_j{\mathfrak{m}}^j$, the Artin-Rees lemma gives $K=\mathfrak{m}K$, and the Nakayama lemma gives $K=0$. Therefore each nonzero $a\in R$ has finite $\mathfrak{m}$-adic order $r$, with nonzero initial form in ${\mathfrak{m}}^r/{\mathfrak{m}}^{r+1}$. For nonzero $a,b$, their initial forms have nonzero product in the graded integral domain. It follows that $ab\ne 0$, and indeed its order is the sum of their orders. Thus $R$ is an integral domain.