Hilbert-Kunz/Invariantenring/Koinvarianten/Polynomring/en/Fakt

Let be a finite group acting linearly on a polynomial ring with invariant ring and let be the Hilbert ideal. If has positive characteristic, then the invariant ring is a polynomial ring if and only if we have