Satz von Artin/Fixkörper zu endlicher Gruppe/Gradgleichung/Fakt/Beweis

Beweis

 Nehmen wir an, dass ${}{\#\left(H\right)}<\operatorname {grad} _{K}L$ ist. Wir können annehmen, dass ${}L$ endlich über ${}K$ ist, da wir ${}L$ durch einen (über ${}K$ endlichen) Zwischenkörper der Form ${}K[\varphi (x_{i}),\varphi \in H,\,i=1,\ldots ,n]$ mit beliebig hohem Grad ersetzen können. Nach Fakt ist die Körpererweiterung separabel und nach dem Satz vom primitiven Element kann man ${}L=K[x]$ schreiben. Dabei ist der Grad des Minimalpolynoms von ${}x$ gleich dem Grad der Körpererweiterung, sodass sich ein Widerspruch zu Fakt ergibt. Also ist ${}K\subseteq L$ eine endliche Körpererweiterung mit ${}{\#\left(H\right)}\geq \operatorname {grad} _{K}L$. Nach Fakt muss hierbei Gleichheit gelten. Die Inklusion ${}H\subseteq \operatorname {Gal} \,(L{|}K)$ ist trivial. Da ${}H$ nach Fakt schon die maximal mögliche Anzahl von ${}K$-Automorphismen enthält, gilt hier Gleichheit.

Zur bewiesenen Aussage