Un
gruppo
G con un'operazione che denotiamo con
·
si dice abeliano (o commutativo) se per ogni g, h
Î
G si ha g
·
h = h
·
g