Galoiserweiterung/Q/Ganzheitsring/Faserbeschreibung/Fakt/Beweis

Beweis

Nach Fakt ist . Wenn und auf das gleiche Primideal in runterschneiden, so gibt es nach Fakt einen Automorphismus

mit . Dazu gehört ein Isomorphismus

und ein Isomorphismus der Restekörper.