It is known from Kummer-Dedekind factorization theorem that roots of
a polynomial congruence modulo a prime ideal are one to one
correspondence to degree one prime ideals in its extension field. In
this note, we give a generalization of this well known fact.
Key Words: Dedekind-Kummer Theorem, degree one
ideals, polynomial congruences.