Dedekind domain in German

(algebra, ring theory) An integral domain in which every proper ideal factors into a product of prime ideals which is unique (up to permutations).