Graduierter Ring/Invariantenring/Gruppe/Körper/Nichttriviale Charaktere/Fakt

Graduierung und Invariantenringe

Es sei ein Körper, eine kommutative Gruppe und eine -graduierte kommutative -Algebra. Zu jedem , , gebe es einen Charakter mit

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