Noetherian UFD

Symbol-free definition
A Noetherian UFD is an integral domain which satisfies the following equivalent conditions:


 * It is Noetherian and a unique factorization domain
 * Every prime ideal minimal over a principal ideal is itself principal

Stronger properties

 * Principal ideal domain

Weaker properties

 * Noetherian normal domain