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
Es sei und
erfülle eine
Ganzheitsgleichung über
. Wegen
ist
auch ganz über
und wegen der Normalität von
muss
gelten. Wegen