Lemma 10.116.1. Let $k$ be a field. Let $S$ be a finitely generated graded algebra over $k$. Assume $S_0 = k$. Let $P(T) \in \mathbf{Q}[T]$ be the polynomial such that $\dim (S_ d) = P(d)$ for all $d \gg 0$. See Proposition 10.57.7. Then

The irrelevant ideal $S_{+}$ is a maximal ideal $\mathfrak m$.

Any minimal prime of $S$ is a homogeneous ideal and is contained in $S_{+} = \mathfrak m$.

We have $\dim (S) = \deg (P) + 1 = \dim _ x\mathop{\mathrm{Spec}}(S)$ (with the convention that $\deg (0) = -1$) where $x$ is the point corresponding to the maximal ideal $S_{+} = \mathfrak m$.

The Hilbert function of the local ring $R = S_{\mathfrak m}$ is equal to the Hilbert function of $S$.

## Comments (0)