Endliche Galoiserweiterung/Zwischenkörper/Konjugation und Überführung/Fakt

Es sei ${}K\subseteq L$ eine endliche Galoiserweiterung und sei ${}M$, ${}K\subseteq M\subseteq L$, ein Zwischenkörper. Dann sind folgende Aussagen äquivalent.

1. Für alle ${}\psi \in \operatorname {Gal} \,(L{|}K)$ ist ${}\psi (M)=M$.
2. Die Untergruppe ${}\operatorname {Gal} \,(L{|}M)\subseteq \operatorname {Gal} \,(L{|}K)$ ist nur zu sich selbst konjugiert.

Einen Beweis erstellen