Endliche Gruppenoperation/Reflektionsanzahl/Polynomring/Gradbeziehung/Fakt
Erscheinungsbild
Es sei ein algebraisch abgeschlossener Körper der Charakteristik . Es sei eine endliche Gruppe derart, dass der zugehörige Invariantenring von algebraisch unabhängigen homogenen Invarianten erzeugt werde. Es sei und die Anzahl der Pseudoreflektionen in .
Dann ist