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