Dedekind domain
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals.It can be shown that such a factorization is then necessarily unique up to the order of the factors.
-Video is targeted to blind users
Attribution:
Article text available under CC-BY-SA
image source in video
https://www.youtube.com/watch?v=bOYoka29j7Y