Dedekind–Kummer theorem
In algebraic number theory, the Dedekind–Kummer theorem describes how a prime ideal in a Dedekind domain factors over the domain's integral closure. It is named after Richard Dedekind who developed the theorem based on the work of Ernst Kummer.