Dedekindbereich/Ganzer Abschluss/Zerlegung/Galoisfall/Fakt/Beweis

Beweis

Es seien und Primideale oberhalb von . Nach Fakt gibt es einen Automorphismus mit . Daher gibt es einen -Algebraisomorphismus , weshalb die Verzweigungsordnungen gleich sind, und einen -Isomorphismus der Restekörper

weshalb die Trägheitsgrade gleich sind. Die Formel aus Fakt nimmt daher die angegebene Gestalt an.