Polynomring/Gruppenoperation/Direkter Summand/Endlich erzeugt/Fakt/Beweis

Beweis

Es sei das von allen Invarianten positiven Grades erzeugte Ideal in . Aufgrund des Hilbertschen Basissatzes besitzt ein endliches Idealerzeugendensystem. Daher folgt die Aussage aus Fakt.