Man gebe ein Beispiel für eine endliche Galoiserweiterung Q ⊆ K {\displaystyle {}\mathbb {Q} \subseteq K} derart, dass der Gruppenhomomorphismus
aus Fakt nicht injektiv ist.