Der Satz über die Galoiskorrespondenz bei einer endlichen Galoiserweiterung K ⊆ L {\displaystyle {}K\subseteq L} .