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