In matematica una struttura algebrica è formata da un insieme generico e da un operazione
Se anche il risultato appartiene all' insieme
A seconda delle proprietà dell'operazione
Possiamo avere il magma, il semigruppo, il monoide ed il gruppo per i quali l'operazione
Le strutture algebriche più elementari sono le seguenti:
Magma:
Si dice Magma una struttura algebrica
Es: i numeri 3 , 4 appartengono ad N : 3+4= 7 che appartiene ad N
Semigruppo:
Si definisce Semigruppo, un Magma in cui
Es: 2+(4+5) = (2+4)+5 [Associativa in N]
Monoide:
Un Monoide è un Semigruppo in cui esiste un particolare elemento detto elemento neutro che soddisfa la seguente proprietà:
Es: 0 appartenente ad N è numero neutro. 5+0=5
Gruppo:
Un Gruppo è un Monoide in cui ogni elemento ammette un inverso.
L'elemento inverso è quell'elemento che associato a quello dato da come risultato l'elemento neutro. In simboli:
Es: 3 + (-3) = 0 in Z
3 è l'elemento dato
-3 è l'elemento opposto