Galois extension
ガロア拡大での素イデアルの分解