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

Es sei eine endliche Erweiterung von Dedekindbereichen 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.