Hilbert-Kunz/Invariant ring/Coinvariants/Polynomial ring/Fact