Galois extension
Splitting of prime ideals in a Galois extension