 Hilbert–Samuel function

For an ideal of definition $I$ of a Noetherian local ring and a finitely generated module $M$, the Hilbert–Samuel function isFor sufficiently large $n$, it equals the Hilbert-Samuel polynomial.

The Hilbert–Samuel function is an important concept in commutative algebra and algebraic geometry, particularly in the study of the structure of space defined by ideals in rings and the geometry of schemes. It provides a way to measure the growth of the dimensions of the graded components of the quotient of a Noetherian ring by an ideal.