Invariantenring/Gruppe/Normalität/Fakt/Beweis

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