Sia (G, *) un gruppo. Se l'operazione * č anche commutativa,
cioč a * b = b * a, per ogni a e b di G, allora G č detto gruppo
abeliano o commutativo.