Korollar 12.7
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 12 Polynomring/Gruppenoperation/Direkter Summand/Endlich erzeugt/Fakt
