Transitivity of the Galois action on primes
= Transitivity of the Galois action on primes
If $L/K$ is a finite Galois extension of number fields, its Galois group acts transitively on the prime ideals of $\mathcal O_L$ lying above a fixed prime ideal of $\mathcal O_K$.