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

Es sei ${}R$ ein Dedekindbereich, ${}Q(R)\subseteq L$ eine separable endliche Körpererweiterung, ${}S$ der ganze Abschluss von ${}R$ in ${}K$ .

Dann ist die Kodifferente zu einem gebrochenen Ideal ${}{\mathfrak {a}}$ von ${}S$ ein gebrochenes Ideal von ${}S$ .