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)