 Solution

An ideal of definition of a Noetherian local ring $(A,\mathfrak{m})$ is an $\mathfrak{m}$-primary ideal $I$; equivalently, $\sqrt{I}=\mathfrak{m}$, or some power ${\mathfrak{m}}^r$ is contained in $I$.

If $M$ is a finitely generated module of dimension $d$, the Hilbert–Samuel functionagrees for all sufficiently large $n$ with a polynomial of degree $d$. Its leading term iswhere $e_I(M)$ is the Hilbert–Samuel multiplicity.