Dedekind domain

Ring with unique factorization for ideals (mathematics)

ring of algebraic integers
principal ideal domain
1