Kummer-Dedekind theorem
= 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.