Splitting of prime ideals in Galois extensions (source code)

= Splitting of prime ideals in Galois extensions
{wiki}

In a <Galois extension>, the prime ideals above a fixed unramified prime have a common ramification index and residue degree, and the Galois group acts transitively on them.