Dedekindbereich/Endliche Erweiterung/Verzweigungsordnung/Idealzerlegung/Diskreter Bewertungsring/Fakt/Beweis

Beweis

Dies beruht darauf, dass ${}{\mathfrak {p}}$ in ${}S_{{\mathfrak {q}}_{j}}$ die Ordnung ${}r_{j}$ besitzt, was auf Fakt  (1) beruht.

Zur bewiesenen Aussage