Kummererweiterung/Homogene Einheiten und m-Wurzeln/Fakt

Aus Wikiversity

Es sei und sei ein Körper, der eine -te primitive Einheitswurzel enthält. Es sei eine Kummererweiterung zum Exponenten mit Galoisgruppe , zugehöriger Charaktergruppe und zugehöriger Graduierung

Es seien die homogenen Elemente von .

Dann ist die natürliche Inklusion

ein Gruppenisomorphismus.