Hilbert–Kunz function

In algebra, the Hilbert–Kunz function of a local ring (R, m) of characteristic p is

$f(q)=\operatorname {length} _{R}(R/m^{[q]})$

where $m^{[q]}$ is the ideal generated the q-th power of elements of the maximal ideal m.

References

• Aldo Conca, Hilbert-Kunz function of monomial ideals and binomial hypersurfaces