Invariantenring/Endliche Gruppe/Ganzheit/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.

Zur bewiesenen Aussage