Kummer-Dedekind theorem (source code)

= Kummer-Dedekind theorem
{c}

The factorization of a defining polynomial modulo a prime, provided the index is coprime to that prime, determines the prime ideals, ramification indices and residue degrees in the corresponding ring of integers.