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