Lemma 8.2
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 8 Graduierter Ring/Körper/Endliche Gruppe/Einheitswurzeln/Invariantenring/Fakt