Dedekindbereich/Ganzer Abschluss/Fundamentale Gleichung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Fundamentale Gleichung für Dedekindbereichserweiterungen

Es sei ein Dedekindbereich mit Quotientenkörper , eine Körpererweiterung vom Grad und der ganze Abschluss von in . Es sei ein von verschiedenes Primideal von mit der Primidealzerlegung

in . Die Körpererweiterungen haben die Trägheitsgrade .

Dann ist