Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine endliche Körpererweiterung mit Galoisgruppe G = Gal ( L | K ) {\displaystyle {}G=\operatorname {Gal} \,(L{|}K)} . Zeige, dass die Abbildung
ein Gruppenhomomorphismus