Dedekindbereich/Galoiserweiterung/Trägheitsgruppe/Verzweigungsindex/Fakt/Beweis

Aus Wikiversity
Beweis

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 .