In commutative algebra the Hilbert–Samuel function, named after David Hilbert and Pierre Samuel, of a nonzero finitely generated module M {\displaystyle M} over a commutative Noetherian local ring A {\displaystyle A} and a primary ideal I {\displaystyle I} of A {\displaystyle A} is the map χ M I : N → N {\displaystyle \chi _{M}^{I}:\mathbb {N} \rightarrow \mathbb {N} } such that, for all n ∈ N {\displaystyle n\in \mathbb {N} } ,
χ M I ( n ) = ℓ ( M / I n M ) {\displaystyle \chi _{M}^{I}(n)=\ell (M/I^{n}M)}
where ℓ {\displaystyle \ell } denotes the length over A {\displaystyle A} . It is related to the Hilbert function of the associated graded module gr I ( M ) {\displaystyle \operatorname {gr} _{I}(M)} by the identity
χ M I ( n ) = ∑ i = 0 n H ( gr I ( M ) , i ) . {\displaystyle \chi _{M}^{I}(n)=\sum _{i=0}^{n}H(\operatorname {gr} _{I}(M),i).}
For sufficiently large n {\displaystyle n} , it coincides with a polynomial function of degree equal to dim ( gr I ( M ) ) {\displaystyle \dim(\operatorname {gr} _{I}(M))} , often called the Hilbert-Samuel polynomial (or Hilbert polynomial).
Examples For the ring of formal power series in two variables k [ [ x , y ] ] {\displaystyle k[[x,y]]} taken as a module over itself and the ideal I {\displaystyle I} generated by the monomials x2 and y3 we have
χ ( 1 ) = 6 , χ ( 2 ) = 18 , χ ( 3 ) = 36 , χ ( 4 ) = 60 , and in general χ ( n ) = 3 n ( n + 1 ) for n ≥ 0. {\displaystyle \chi (1)=6,\quad \chi (2)=18,\quad \chi (3)=36,\quad \chi (4)=60,{\text{ and in general }}\chi (n)=3n(n+1){\text{ for }}n\geq 0.}
Degree bounds Unlike the Hilbert function, the Hilbert–Samuel function is not additive on an exact sequence. However, it is still reasonably close to being additive, as a consequence of the Artin–Rees lemma. We denote by P I , M {\displaystyle P_{I,M}} the Hilbert-Samuel polynomial; i.e., it coincides with the Hilbert–Samuel function for large integers.
Proof: Tensoring the given exact sequence with R / I n {\displaystyle R/I^{n}} and computing the kernel we get the exact sequence:
0 → ( I n M ∩ M ′ ) / I n M ′ → M ′ / I n M ′ → M / I n M → M ″ / I n M ″ → 0 , {\displaystyle 0\to (I^{n}M\cap M')/I^{n}M'\to M'/I^{n}M'\to M/I^{n}M\to M''/I^{n}M''\to 0,}
which gives us:
… excerpt ends here. Continue reading the full article.
