Dedekindbereich/Monogene normale Erweiterung/Verzweigung/Ordnung/Charakterisierung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Dedekindbereiche und es sei eine monogene endliche Ringerweiterung. Es

Dann ist ein Primideal von mit perfektem Restekörper in genau dann unverzweigt, wenn und in teilerfremd sind.