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