Eine endliche Körpererweiterung K ⊆ L {\displaystyle {}K\subseteq L} heißt eine Galoiserweiterung, wenn
gilt.