 Kummer-Dedekind theorem

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.