Hilbert function (source code)

= Hilbert function
{c}
{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>.