Nach
Fakt (2)
liegt eine
kurze exakte Sequenz
-
vor. Die Ordnung der Galoisgruppe rechts ist der
Trägheitsgrad
und die Ordnung der
Zerlegungsgruppe
ist nach
Fakt
gleich , wobei den Verzweigungsindex bezeichnet. Deshalb ist die Ordnung der Trägheitsgruppe gleich .