Graduierte Körpererweiterung/Einheitswurzelbedingung/Normal/Aufgabe

Aus Wikiversity

Es sei ein Körper, eine endliche kommutative Gruppe und eine -graduierte Körpererweiterung. Zu jedem Primpotenzteiler von enthalte eine -te primitive Einheitswurzel. Zeige, dass eine normale Körpererweiterung

ist.