Grupo abeliano
En matemáticas, un grupo abeliano o grupo conmutativo es un grupo en el cual la operación interna satisface la propiedad conmutativa, esto es, que el resultado de la operación es independiente del orden de los argumentos. De manera más formal, un grupo (G, \circ ) es abeliano cuando, además de los axiomas de grupo, se satisface la siguiente condición