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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.