Zum Inhalt springen

Graduierte Körpererweiterung/Hinreichend viele Einheitswurzeln/Normalbasis/Aufgabe

Aus Wikiversity

Es sei K ein Körper, D eine endliche kommutative Gruppe und  KL  eine D-graduierte Körpererweiterung. Der Körper K enthalte eine m-te primitive Einheitswurzel, wobei m der Exponent von D sei. Zeige, dass es ein Element vL derart gibt, dass die Menge

{φ(v)φGal(L/K)}

eine K-Basis von L bildet.