Definition:Finite Galois Extension