Separable Erweiterung/Gebrochenes Ideal/Kodifferente/Spurdual/Eigenschaften/Fakt

Aus Wikiversity

Es sei ein Dedekindbereich, eine separable endliche Körpererweiterung, der ganze Abschluss von in .

Dann ist die Kodifferente zu einem gebrochenen Ideal von ein gebrochenes Ideal von .