Se valgono la proprietà associativa, l’esistenza dell’elemento neutro e l’esistenza dell’opposto allora la struttura algebrica è detta gruppo.
Gruppo abeliano
Se in un gruppo vale anche la proprietà commutativa allora è detto abeliano, o commutativo.