Separable Erweiterung/Gebrochenes Ideal/Differente/Spurdual/Definition

Differente zu gebrochenem Ideal

Es sei ${}R$ ein Dedekindbereich, ${}Q(R)\subseteq L$ eine separable endliche Körpererweiterung, ${}S$ der ganze Abschluss von ${}R$ in ${}K$ und ${}{\mathfrak {a}}$ ein gebrochenes Ideal von ${}S$. Man nennt das inverse gebrochene Ideal zur Kodifferente, also ${}{\left({\mathfrak {a}}^{*}\right)}^{-1}$, die Differente zu ${}{\mathfrak {a}}$.