Graduierter Ring/Körper/Endliche Gruppe/Einheitswurzeln/Invariantenring/Fakt

Es sei ein Körper, eine endliche kommutative Gruppe und eine -graduierte kommutative -Algebra. Der Körper enthalte hinreichend viele Einheitswurzeln, so dass die Charaktergruppe von isomorph zu sei.

Dann ist der Invariantenring unter der natürlichen Operation der Charaktergruppe auf .