##  [Hilbert–Samuel Multiplicity](/hilbert-samuel-multiplicity-0) 

 Definition

A numerical invariant e(I,M) defined for an m-primary ideal I in a Noetherian local ring (A,m) and a finitely generated A-module M that measures the leading-term growth of the length of M/I^nM as a polynomial in n for large n; equivalently the normalized leading coefficient of the Hilbert–Samuel polynomial.

 

 

 

 

 

 





## Principle

Principle

Asymptotic length principle: lengths of quotients by increasing powers of an m-primary ideal eventually agree with a polynomial whose leading coefficient, after normalization by factorials, is the multiplicity; this captures local size and singularity intensity at the closed point.

 

 

 

 

 





## Demonstration

Demonstration

In a d-dimensional regular local ring, the Hilbert–Samuel multiplicity of the maximal ideal equals 1; for a hypersurface singularity the multiplicity exceeds 1, reflecting higher singular complexity. Computation often uses reductions to parameter ideals or filtrations to obtain the Hilbert–Samuel polynomial.

 

 

 

 

## Misapplication

Misapplication

Using Hilbert–Samuel multiplicity for ideals that are not m-primary or interpreting multiplicity as a complete measure of singularity type — multiplicity distinguishes severity but does not determine more refined invariants like Milnor number or embedded components.

 

 

 

 

 





## Consequence

Consequence

Multiplicity quantifies local algebraic size: it appears in intersection theory as intersection numbers, controls equisingularity stratifications, and provides numerical criteria for regularity (e.g., multiplicity one implies regularity in the Cohen–Macaulay context).

 

 

 

 

## Reversal

Reversal

Considering length sequences for non-primary filtrations or studying graded Hilbert multiplicities shifts the focus from local m-adic growth to graded/global growth; the reversed perspective highlights different invariants and normalization conventions.

 

 

 

 

 





## Boundary

Boundary

Defined for Noetherian local rings with respect to m-primary ideals or appropriate filtrations; not directly meaningful for arbitrary non-primary ideals or in contexts lacking a notion of length or finite colength.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension with Hilbert polynomial multiplicity and intersection multiplicity arises because similar leading-coefficient constructions exist in graded and local settings but differ in normalization and geometric interpretation; multiplicity also competes with other singularity measures.

 

 

 

 

 





## Synthesis

Synthesis

Hilbert–Samuel multiplicity is the normalized leading coefficient of the polynomial that governs the asymptotic growth of colengths of powers of an m-primary ideal; it converts local length growth into a single number that gauges algebraic size and singularity severity.