Dimension theorem for Noetherian local rings (source code)

= Dimension theorem for Noetherian local rings
{c}

For a Noetherian local ring $(A,\mathfrak m)$, the Krull dimension of $A$, the Krull dimension of the <associated graded ring> $\operatorname{gr}_{\mathfrak m}(A)$, and the order of the pole at $t=1$ of its <Hilbert series> are equal.