Dedekindbereich/Primideal/Unzerlegt/Definition

Unzerlegtes Primideal

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K$, ${}K\subseteq L$ eine Körpererweiterung vom Grad ${}n$ und ${}S$ der ganze Abschluss von ${}R$ in ${}L$. Ein von ${}0$ verschiedenes Primideal ${}{\mathfrak {p}}$ von ${}R$ heißt unzerlegt in ${}S$, wenn es genau ein Primideal in ${}S$ oberhalb von ${}{\mathfrak {p}}$ gibt.