Endliche graduierte Körpererweiterung/Hinreichend viele Einheitswurzeln/Galois/Fakt

Es sei ein Körper, eine endliche kommutative Gruppe und eine -graduierte Körpererweiterung. Der Körper enthalte eine -te primitive Einheitswurzel, wobei der Exponent von sei.

Dann ist eine Galoiserweiterung mit Galoisgruppe .