Un gruppo abeliano, o commutativo, è un gruppo dove l’operazione binaria è commutativa.

N.B.: In un gruppo abeliano tutti i sottogruppi sono normali.