Un gruppo commutativo, anche noto come gruppo Abeliano, è un gruppo su cui vale la proprietà commutativa.
$(\mathbb{Z},+)$ è un gruppo commutativo perché $a+b = b+a$.