Lemma 12.6
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 12 Polynomring/Gruppenoperation/Direkter Summand/Hilbertidealerzeuger und Algebraerzeuger/Fakt