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 ![]() Cioe' ( A ; ![]() ![]() vale a dire che per ogni elemento a, b, c di A vale (a ![]() ![]() ![]() ![]() 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 ![]() 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 |
![]() |
![]() |
![]() |
![]() |