Semigruppo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot, replaced: stringa (formale) → Stringa (linguaggi formali) |
Nessun oggetto della modifica |
||
Riga 1:
In [[matematica]], un '''semigruppo''' è un [[insieme]] munito di una [[operazione binaria]] [[proprietà associativa|associativa]].
In altre parole per semigruppo si intende una [[struttura algebrica]]
espressa da una coppia (A,*) con A insieme
:<math> \forall a, b, c \in A \quad:\quad a*(b*c) = (a*b)*c \quad </math> .
| |||