Endliche Gruppenoperation/Reflektionsanzahl/Polynomring/Gradbeziehung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Zum Beweis, Alternativen Beweis erstellen