Galoiserweiterung/Q/Ganzheitsring/Faserbeschreibung/Fakt

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.