## [Grupo Abeliano](/es/node/60186) 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.