Es sei ${\displaystyle {}G}$ eine Gruppe, die auf dem positiv graduierten Polynomring ${\displaystyle {}K[X_{1},\ldots ,X_{n}]}$ als Gruppe von homogenen ${\displaystyle {}K}$-Algebraautomorphismen operiere. Es sei vorausgesetzt, dass der Invariantenring ein homogener direkter Summand des Polynomringes ist.

Dann ist der Invariantenring eine endlich erzeugte ${\displaystyle {}K}$-Algebra.