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

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

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

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

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

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

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

‘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

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.