Lemma 7.6
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 7 Graduierter Ring/Beliebige Gruppe/Grad 0 Ring/Direkter Summand/Fakt