Endliche Galois-Erweiterung/Definition