Separable Erweiterung/Gebrochenes Ideal/Kodifferente/Spurdual/Definition
Erscheinungsbild
Kodifferente zu gebrochenem Ideal
Es sei ein Dedekindbereich, eine separable endliche Körpererweiterung, der ganze Abschluss von in und ein gebrochenes Ideal von . Man nennt
die Kodifferente zu .