Galois extension
正規拡大・分離拡大・ガロア拡大.