A prímelem a prímszám fogalmának általánosítása egy tetszőleges kommutatív , kétoldali törléssel rendelkező monoid esetére, amely nullától eltérő elemként van definiálva, amely nem egységosztó , így a szorzat csak osztható vele. ha legalább az egyik elem vagy osztható -vel .
Egy egyszerű elem mindig irreducibilis , általános esetben nem az egyszerűség irreducibilitásából következik, de egy Gauss-féle félcsoportban az irreducibilitás és az egyszerűség fogalma egybeesik, sőt, ha minden irreducibilis eleme egyszerű, akkor a félcsoport Gauss-féle. .
A fogalom természetesen átkerül az integritás tartományába , ebben az esetben egy elem irreducibilitásának és egyszerűségének ekvivalenciája megy végbe a faktoriális (Gauss-) gyűrűkre , és az integritás tartományában lévő összes irreducibilis elem egyszerűségéből az következik, hogy a gyűrű faktoriális. Ráadásul egy elem egyszerűsége egyenértékű az általa generált főideál egyszerűségével .
Vannak az egyszerűség és az irreducibilitás fogalmának általánosításai is a nem kommutatív esetre.