Dedekindbereich/Monogene normale Erweiterung/Verzweigung/Ordnung/Charakterisierung/Fakt
Es seien Dedekindbereiche und es sei eine monogene endliche Ringerweiterung. Es
![{\displaystyle {}R\subseteq S=R[X]/(F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bd4e2d8b56797e5c39242965aa35df224a04c8e)
Dann ist ein Primideal von mit perfektem Restekörper in genau dann unverzweigt, wenn und in teilerfremd sind.
![{\displaystyle {}\kappa ({\mathfrak {p}})[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31f9976f87f10deceb8d87f6392bec8953c0bdd6)