Dedekindbereich/Galoiserweiterung/Zerlegungsgruppe/Restekörper/Einfache Eigenschaften/Fakt

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$ . Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$ und sei ${}{\mathfrak {q}}$ ein Primideal von ${}S$ über ${}{\mathfrak {p}}$ . Dann gelten folgende Eigenschaften.

Es gibt einen natürlichen Gruppenhomomorphismus
$G_{\mathfrak {q}}\longrightarrow \operatorname {Gal} \,(\kappa ({\mathfrak {q}}){|}\kappa ({\mathfrak {p}})).$

Wenn die Erweiterung der Restekörper separabel ist, so handelt es sich bereits um eine Galoiserweiterung, und der Gruppenhomomorphismus ist surjektiv.

Wenn ${}{\mathfrak {q}}$ zusätzlich unverzweigt ist, so liegt ein Isomorphismus vor.

Zum Beweis, Alternativen Beweis erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.