Commutative ring/Positive characteristic/Hilbert-Kunz function/Definition