Es sei R {\displaystyle {}R} ein noetherscher Integritätsbereich.
Dann ist R {\displaystyle {}R} genau dann faktoriell, wenn jedes Primideal in R {\displaystyle {}R} der Höhe 1 {\displaystyle {}1} ein Primhauptideal ist.
