Kommutativer Halbring/Primelement/Definition

Primelement

Eine Nichteinheit in einem kommutativen Halbring heißt prim (oder ein Primelement), wenn folgendes gilt: Teilt ein Produkt  mit , so teilt es einen der Faktoren.