semigruppo

Definizione

Un semigruppo è una struttura algebrica $(S,\ast )$ dove $S$ è un insieme non vuoto e $\ast$ è un’operazione binaria su $S$ che soddisfa il seguente assioma:

• Associatività: $\forall a,b,c\in S,(a\ast b)\ast c=a\ast (b\ast c)$

Un semigruppo è quindi un monoide senza l’obbligo dell’esistenza dell’elemento neutro.

Risorse