Semigrup

De la Wikipedia, enciclopedia liberă

Semigrupul este de fapt un monoid, adică:

Fie A o mulţime (nevidă) şi '*' o operaţie pe mulţimea A (de ex. înmulţirea uzuală). Monoidul este structura notată (A,*) care indeplineşte următoarele reguli:

1) Oricare ar fi 'x' şi 'y' două elem. din A, avem adevărată relaţia: x*y € A.

2) Există "e" un elem. din A numit element neutru a.i: oricare ar fi 'x' un elem. din A, avem adevărată relaţia: e*x=x*e=x. (e*e=e)