Strutture algebriche composte da un insieme di elementi su cui è definita un’operazione binaria associativa, rispetto alla quale esistono l’elemento neutro e, per ogni elemento, il suo inverso