Zum Inhalt springen

Dedekindbereich/Erweiterung/Separabel/Verzweigung/Endlich/Fakt

Aus Wikiversity

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.