Un grupo G es abeliano cuando la operación interna (*) es conmutativa, es decir x * y = y * x para todo par de elementos x, y de G.