Un semigruppo è un insieme S su cui sia definita un’operazione interna associativa tale che per ogni elemento a, b, c di S vale (a⋇b)⋇c=a*(b*c).
Se l’operazione è anche commutativa (a*b=b*a per ogni coppia a e b) il semigruppo si dice commutativo o abeliano; se è dotato di elemento neutro si chiama monoide.
Esempio: l’insieme dei numeri interi positivi munito dell’addizione.
Manuale di cultura generale – Matematica – Teoria degli insiemi e algebra astratta – I semigruppi – Continua