Galois extension
有限次代数拡大体 formula_151 が特にガロア拡大体であるとする。