Gruppo abeliano (commutativo)

Un gruppo si dice abeliano (o commutativo) se $a \cdot b = b \cdot a$ $\forall a,b \in G$ .