Körper/Fixkörper zu endlicher Gruppe/Normal und separabel/Gradbedingung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Körper und sei eine endliche Untergruppe der Automorphismengruppe von . Es sei .

Dann ist eine algebraische Körpererweiterung, die normal und separabel ist.

Für jedes ist der Grad des Minimalpolynoms von über maximal gleich .

Zum Beweis, Alternativen Beweis erstellen