La estructura algebraica formula_349, donde formula_350 es el conjunto de los números enteros, y formula_325 es la operación de adición usual, es un grupo abeliano, ya que la operación es cerrada, por ejemplo formula_352, y además: