Es sei Q ⊆ K {\displaystyle {}\mathbb {Q} \subseteq K} eine endliche Galoiserweiterung und sei H {\displaystyle {}H} der Kern des Gruppenhomomorphismus
aus Fakt. Zeige K H = K n {\displaystyle {}K^{H}=K_{n}} ,