Semigruppo



la prima struttura e' ricalcata sull'insieme N con l'operazione di addizione od anche con l'operazione di moltiplicazione: e' la struttura piu' semplice, ed e' possibile individuarla in moltissimi argomenti

Si definisce semigruppo ogni insieme di enti A su cui sia definita un' operazione interna associativa

Cioe' ( A ; ) e' semigruppo se e' associativa;
vale a dire che per ogni elemento a, b, c di A vale

(a b) c = a (b c)


Se l'operazione e' commutativa il semigruppo si dice commutativo od anche abeliano
Se inoltre un semigruppo e' dotato di elemento neutro allora si chiama monoide
esempi:
1) Considero l'insieme N dei numeri naturali con l'operazione di addizione:
In questo caso ho
un semigruppo perche' l'addizione e' associativa
e' abeliamno perche' l'addizione e' commutativa
ed e' un monoide perche' esiste l'elemento neutro (lo zero)

2) Considero l'insieme N dei numeri naturali con l'operazione di moltiplicazione:
In questo caso ho
un semigruppo perche' la moltiplicazione e' associativa
e' abeliamno perche' la moltiplicazione e' commutativa
ed e' un monoide perche' esiste l'elemento neutro (l' uno)

3) Considero l'insieme P dei numeri naturali pari con l'operazione di prodotto:
In questo caso ho
un semigruppo perche' la moltiplicazione e' associativa
e' abeliamno perche' la moltiplicazione e' commutativa
Non ed e' un monoide perche'in P non esiste l'elemento neutro (l'uno non e' pari)

4) Considero l'insieme Q dei numeri Razionali con l'operazione di divisione
L'operazione di divisione non e' associativa infatti:     (12 : 6) : 2 12 : ( 6 : 2)
eseguendo i calcoli nel primo caso ottengo     (12 : 6) : 2 = 2 : 2 = 1
nel secondo caso ottengo     12 : ( 6 : 2) = 12 : 3 = 4
Quindi l'insieme dei numeri razionali con l'operazione di divisione non forma semigruppo

Pagina iniziale Indice di algebra Pagina successiva Pagina precedente