Reflektionsgruppe/Hilbert-Ideal/Alternative/Fakt

Es sei ein algebraisch abgeschlossener Körper der Charakteristik und eine Reflektionsgruppe. Es sei das Ideal in , das durch die homogenen Invarianten von einem positiven Grad erzeugt wird. Es gelte

wobei die homogene Polynome und die invariante Polynome seien.

Dann ist oder .