Galoiserweiterung/Q/Ganzheitsring/Faserbeschreibung/Fakt
Erscheinungsbild
Es sei eine Galoiserweiterung und die zugehörige Erweiterung der Zahlbereiche. Es sei eine Primzahl und seien Primideale oberhalb von .
Dann sind die lokalen Ringe und und die Restekörper und zueinander isomorph.