Kommutativer Halbring/Irreduzibel/Definition

Irreduzibel

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