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