Invariantenring/Endliche Gruppe/Ganzheit/Fakt/Beweis

Beweis

Zu betrachten wir das Produkt

Die Koeffizienten dieses Polynoms gehören zum Invariantenring . Ferner ist normiert und es ist (da ja ein Linearfaktor ist). Somit liefert eine Ganzheitsgleichung für über und daher ist ganz.