Hilbert function (source code)

= Hilbert function
{wiki}

The Hilbert function of a graded module $M=\bigoplus_nM_n$ over a field is $n\mapsto\dim_kM_n$. Its generating function is the <Hilbert series>.