Dedekindbereich/Ganzer Abschluss/Zerlegung/Galoisfall/Fakt
Erscheinungsbild
Es sei ein Dedekindbereich mit Quotientenkörper , eine Galoiserweiterung vom Grad und sei der ganze Abschluss von in . Es sei ein von verschiedenes Primideal von .
Dann stimmen in der Primidealzerlegung
die Exponenten überein und ebenso stimmen die Trägheitsgrade überein. Dabei ist