Hilbert-Kunz/Invariant ring/Coinvariants/Fact