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.