Dedekind domain in Polish

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