Zum Inhalt springen

Abelsche Gruppe/Galoisgruppe einer Galoiserweiterung von Q/Fakt/Beweis

Aus Wikiversity
Beweis

Nach Fakt lässt sich als Restklassengruppe einer Einheitengruppe auffassen. Es sei

der zugehörige surjektive Restklassenhomomorphismus und der Kern davon. Nach Fakt ist die Galoisgruppe der -ten Kreisteilungserweiterung . Es sei der Fixkörper zu . Nach Fakt ist eine Galoiserweiterung mit Galoisgruppe .