Polynomring/Gruppenoperation/Direkter Summand/Endlich erzeugt/Fakt

Aus Wikiversity

Es sei eine Gruppe, die auf dem positiv graduierten Polynomring als Gruppe von homogenen -Algebraautomorphismen operiere. Es sei vorausgesetzt, dass der Invariantenring ein homogener direkter Summand des Polynomringes ist.

Dann ist der Invariantenring eine endlich erzeugte -Algebra.