Invariantenring/Gruppe/Normalität/Fakt/Beweis

Beweis

Es sei und erfülle eine Ganzheitsgleichung über . Wegen ist auch ganz über und wegen der Normalität von muss gelten. Wegen

ist somit , also ist normal.