Definición
Un grupo cuya operación binaria es conmutativa para cualquier par de elementos; es decir, para todo a y b en el grupo, a * b = b * a.
Principio
Principio
La conmutatividad de la operación de grupo simplifica la teoría de la estructura y de las representaciones: muchos teoremas de clasificación (por ejemplo, la estructura de grupos abelianos finitamente generados) y la interpretación como módulos se vuelven aplicables.
Demostración
Demostración
Los enteros Z con la suma son un grupo abeliano porque la suma es conmutativa. Cualquier espacio vectorial sobre un cuerpo es un grupo abeliano bajo la suma de vectores; los grupos cíclicos finitos Z/nZ son ejemplos simples.
Aplicación incorrecta
Aplicación incorrecta
Suponer propiedades que valen para grupos abelianos (como descomposición en factores cíclicos) sin verificar la finitud u otras hipótesis, o tratar cada grupo abeliano como cíclico, lo cual es falso en general.
Consecuencia
Consecuencia
Los grupos abelianos admiten una rica clasificación en muchos casos, tienen invariantes homológicos bien comportados y forman la categoría de Z‑módulos, conectando la teoría de grupos con el álgebra lineal y homológica.
Inversión
Inversión
El reverso es un grupo no abeliano en el que falla la conmutatividad; aparecen fenómenos como subgrupos de conmutadores no triviales, complejidad de conjugación y comportamiento distinto de las clases a izquierda/derecha.
Límite
Límite
El requisito es la conmutatividad global para todos los pares de elementos; esto excluye grupos que solo son localmente o parcialmente conmutativos (por ejemplo, grupos nilpotentes o solubles no abelianos).
Tensión semántica
Tensión semántica
Hay tensión entre 'grupo abeliano' y otros objetos algebraicos conmutativos: como grupo aditivo de un anillo, un grupo abeliano puede portar estructura multiplicativa adicional; hay que separar la conmutatividad aditiva de la conmutatividad del anillo.
Síntesis
Síntesis
Un grupo abeliano es un grupo con operación conmutativa, que constituye un objeto algebraico de tipo lineal susceptible de clasificación y técnicas modulares y que sirve de armazón aditivo para muchas teorías algebraicas.