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