ガロア拡大
Splitting of prime ideals in a Galois extension