Un anillo (grupo aditivo abeliano equipado con una multiplicación) en el que la multiplicación es conmutativa; muchos autores suponen también la existencia de una identidad multiplicativa (1 ≠ 0).

Principio

La regla organizadora es ab = ba para todos los elementos a y b, de modo que ideales, anillos cociente y construcciones polinómicas se comportan coherentemente cuando la multiplicación no depende del orden.

Demostración

Los enteros Z con las operaciones usuales forman un anillo conmutativo con unidad; los anillos de polinomios R[x] sobre un anillo conmutativo R son conmutativos, y cálculos como (x+1)(x-1)=x^2-1 ilustran la independencia del orden.

Aplicación incorrecta

Tratar todo anillo conmutativo como si fuera un dominio entero o un cuerpo; por ejemplo, asumir cancelación en Z/6Z omite los divisores de cero 2·3 = 0.

Consecuencia

La conmutatividad permite desarrollar la teoría de ideales, el espectro de ideales primos y muchas herramientas de geometría algebraica y teoría de números que dependen de la multiplicación simétrica.

Inversión

Un anillo no conmutativo (por ejemplo, el anillo de matrices n×n para n≥2) invierte la condición: la multiplicación no puede intercambiarse sin alterar los productos y muchas técnicas conmutativas dejan de ser aplicables.

Límite

El ámbito incluye anillos con o sin unidad según la convención; quedan excluidos los anillos cuya multiplicación no sea conmutativa o cuya estructura aditiva no sea abeliana.

Tensión semántica

Existe tensión entre definiciones que exigen unidad y las que no, y entre el término genérico 'anillo' (que puede ser no conmutativo) y el adjetivo 'conmutativo' que impone simetría en la multiplicación.

Síntesis

Un anillo conmutativo es la estructura algebraica donde la adición es abeliana y la multiplicación simétrica, proporcionando el contexto para ideales, factorización y construcciones geométricas, al tiempo que admite divisores de cero y diversas especializaciones.