 Solution

Let $L=\mathbb{Q}(\alpha )$, where $\alpha$ is an algebraic integer with monic minimal polynomial $f\in \mathbb{Z}[X]$, and put $I=[{\mathcal{O}}_L:\mathbb{Z}[\alpha ]]$. The Kummer-Dedekind theorem applies to a prime number $p$ with $p\nmid I$. Write its reduction as a product of polynomial factors over ${\mathbb{F}}_p$:where the $g_j$ are distinct monic irreducible polynomials, choose monic integral lifts $G_j$. Then the distinct prime ideals above $p$ are ${\mathfrak{p}}_j=(p,G_j(\alpha ))$, andThus the multiplicity of a factor is its ramification index of a prime ideal, and its degree is the residue degree. The hypothesis on the order in a number field is essential: one cannot infer prime ideal factorization from an arbitrary defining polynomial at a prime dividing its index. There is also a relative version over a base number field $K$: if ${\mathcal{O}}_L$ and ${\mathcal{O}}_K[\alpha ]$ agree after localization at $\mathfrak{p}$, factor the minimal polynomial over ${\mathcal{O}}_K/\mathfrak{p}$ and use $(\mathfrak{p},G_j(\alpha ))$ with the same conclusions.