Dedekindbereich/Erweiterung/Separabel/Verzweigung/Endlich/Fakt
Erscheinungsbild
Es sei ein Dedekindbereich mit Quotientenkörper , es sei eine separable Körpererweiterung und der ganze Abschluss von in .
Dann gibt es nur endlich viele Primideale von , über denen Verzweigung stattfindet.