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.

Solution

Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 101 / 4 / ii / a / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-101/4/ii/a/solution