Transitivity of the Galois action on primes (source code)

= 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$.