Eine Nichteinheit ${\displaystyle {}p}$ in einem kommutativen Ring heißt irreduzibel (oder unzerlegbar ), wenn eine Faktorisierung ${\displaystyle {}p=ab}$ nur dann möglich ist, wenn einer der Faktoren eine Einheit ist.