Galoiserweiterung/Q/Ganzheitsring/Faserbeschreibung/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.