Dedekindbereich/Ganzer Abschluss/Zerlegung/Galoisfall/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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