Es sei R {\displaystyle {}R} ein Hauptidealbereich. Dann ist ein Element genau dann prim,
wenn es irreduzibel ist.