= Solution
For the maximal ideal $\mathfrak m$ of $(A,\mathfrak m)$, the <associated graded ring> is
$$
G_{\mathfrak m}(A)
=\operatorname{gr}_{\mathfrak m}(A)
=\bigoplus_{n\geq0}\mathfrak m^n/\mathfrak m^{n+1}.
$$
If $x+\mathfrak m^{r+1}$ and $y+\mathfrak m^{s+1}$ are homogeneous classes, their product is
$$
xy+\mathfrak m^{r+s+1}.
$$
It is a graded algebra over the residue field $k=A/\mathfrak m$.
The <Hilbert series> is
$$
H_{G_{\mathfrak m}(A)}(t)
=\sum_{n\geq0}
\dim_k(\mathfrak m^n/\mathfrak m^{n+1})t^n.
$$
The Hilbert-Serre theorem makes this rational. The number $d(G_{\mathfrak m}(A))$ is the order of its pole at $t=1$, as recorded by the <pole dimension of an associated graded ring>.
The <Dimension theorem for Noetherian local rings> states
$$
\boxed{\dim A
=\dim G_{\mathfrak m}(A)
=d(G_{\mathfrak m}(A))}.
$$
Solved by gpt-5.6-sol high.
Back to article page
