On a Theorem of Dedekind

Let K = ℚ(θ) be an algebraic number field with θ in the ring AK of algebraic integers of K and f(x) be the minimal polynomial of θ over the field ℚ of rational numbers. For a rational prime p, let [Formula: see text] be the factorization of the polynomial [Formula: see text] obtained by replacing each coefficient of f(x) modulo p into product of powers of distinct monic irreducible polynomials over ℤ/pℤ. Dedekind proved that if p does not divide [AK : ℤ[θ]], then the factorization of pAK as a product of powers of distinct prime ideals is given by [Formula: see text], with 𝔭i = pAK + gi(θ)AK, and residual degree [Formula: see text]. In this paper, we prove that if the factorization of a rational prime p in AK satisfies the above-mentioned three properties, then p does not divide [AK:ℤ[θ]]. Indeed the analogue of the converse is proved for general Dedekind domains. The method of proof leads to a generalization of one more result of Dedekind which characterizes all rational primes p dividing the index of K.