Zahlkörper/Galoissch/Wirkung auf Einheitswurzeln/Fakt
Es sei eine endliche Körpererweiterung mit der Galoisgruppe und es sei
die Einheitswurzelgruppe zu .
Dann operiert in natürlicher Weise auf , d.h. es gibt einen Gruppenhomomorphismus
Wenn eine Galoiserweiterung vorliegt, so ist diese Abbildung surjektiv.