Zahlbereich/Endliche Erweiterung/Verzweigungsordnung/Idealzerlegung/Diskreter Bewertungsring/Fakt
Erscheinungsbild
Es sei eine endliche Erweiterung von Zahlbereichen und es sei ein Primideal von . Es sei
die Idealzerlegung des Erweiterungsideales im Sinne von Fakt.
Dann ist die Verzweigungsordnung von
Insbesondere findet über genau dann Verzweigung statt, wenn ein ist.