## [Grupo Abeliano](/es/node/63265) Definición Un grupo (G, ·) cuya operación binaria es conmutativa: para todos a, b en G se cumple a·b = b·a. Equivalentemente, un grupo en el que cada par de elementos conmuta. ## Principio Principio La conmutatividad de la operación es la restricción organizadora; unifica las estructuras izquierda y derecha y permite manipulaciones de tipo lineal (reordenar factores) que simplifican la clasificación y el comportamiento como módulo. ## Demostración Demostración Los enteros (Z, +) forman un grupo abeliano porque m + n = n + m para todos los enteros. El grupo aditivo de cualquier anillo o espacio vectorial es abeliano; los grupos cíclicos finitos Z/nZ son también ejemplos abelianos. ## Aplicación incorrecta Aplicación incorrecta Asumir que resultados válidos para grupos abelianos (por ejemplo, que los subgrupos son automáticamente normales o que la clasificación es trivial) se aplican a grupos no abelianos. Otro error es tratar una operación que solo es conmutativa en ciertos casos como si lo fuera globalmente. ## Consecuencia Consecuencia Si un grupo es abeliano, la estructura de subgrupos y la formación de cocientes son más sencillas (todos los subgrupos de grupos cíclicos son cíclicos; se aplican muchos teoremas de clasificación), las representaciones se reducen a módulos lineales sobre Z u otros anillos, y las técnicas tensores y homológicas se vuelven aplicables. ## Inversión Inversión Un grupo no abeliano conserva identidad e inversos pero carece de conmutatividad global: el orden importa y la conjugación se convierte en un fenómeno organizador central, permitiendo conmutadores y grupos simples no abelianos ausentes en el caso abeliano. ## Límite Límite Esta entrada trata la sola conmutatividad de la ley de grupo. No cubre estructuras adicionales como grupos abelianos ordenados, grupos abelianos topológicos o categorías abelianas, ni grupos que sean abelianos solo local o parcialmente. ## Tensión semántica Tensión semántica ‘Abeliano’ puede confundirse con otros usos de la conmutatividad (por ejemplo, anillos conmutativos): la tensión está en que los grupos abelianos son módulos sobre Z y se comportan como objetos lineales, mientras que los anillos conmutativos añaden estructura multiplicativa que altera la clasificación y los invariantes. ## Síntesis Síntesis Un grupo abeliano es un grupo conmutativo: la simetría de la ley reduce la complejidad, permite una perspectiva modularde y sustenta muchas técnicas de clasificación y homología.