Hilbert–Kunz function

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

Failed to parse (unknown function "\length"): {\displaystyle f(q) = \length_R(R/m^{[q]})}

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