Un anillo en el que la operación de multiplicación es conmutativa, es decir ab=ba para todos los elementos a y b; suele considerarse con la misma estructura de grupo abeliano aditivo y las propiedades distributivas de los anillos, y puede estudiarse con o sin identidad multiplicativa.

Principio

La conmutatividad de la multiplicación simplifica la teoría de ideales y permite interpretaciones geométricas y aritméticas: ideales primos y maximales, localización y la construcción del espectro se apoyan en la simetría multiplicativa y permiten técnicas de geometría algebraica y teoría de números.

Demostración

Z, los enteros, y k[x], el anillo de polinomios sobre un cuerpo k, son ejemplos estándar. En Z los ideales son principales; en k[x,y] los ideales primos corresponden a conjuntos algebraicos irreducibles y la localización en un conjunto multiplicativo produce anillos locales usados en geometría.

Aplicación incorrecta

Asumir que un anillo conmutativo es un dominio íntegro (sin divisores de cero) o un cuerpo (todo elemento no nulo invertible); suponer factorización única o propiedad de ideales principales sin comprobarlo; confundir la conmutatividad de la multiplicación con condiciones adicionales de finitud o regularidad.

Consecuencia

Los anillos conmutativos constituyen la columna vertebral algebraica de la geometría algebraica y la aritmética: el comportamiento de ideales, factorización, localización y teoría de módulos genera construcciones y invariantes en teoría de esquemas y números; numerosos teoremas de clasificación se aplican en el ámbito conmutativo.

Inversión

Anillos no conmutativos como anillos de matrices donde el orden de la multiplicación importa; dentro de la teoría conmutativa la inversión extrema es el anillo cero donde 0=1, que colapsa las distinciones habituales y suele excluirse de muchas construcciones.

Límite

Requiere solo que la multiplicación sea conmutativa; otras propiedades de anillos (existencia de unidad, noetheriano, dominio, reducida) son independientes y deben especificarse cuando proceda. La teoría de anillos conmutativos asume generalmente asociatividad y distributividad y trabaja a menudo sobre anillos o cuerpos base especificados.

Tensión semántica

Tensión entre la teoría de anillos conmutativos y el álgebra no conmutativa: métodos, invariantes y fenómenos difieren notablemente. También hay tensión entre las subclases (dominios, UFD, PID, anillos noetherianos) donde el calificativo “conmutativo” por sí solo deja sin especificar muchos aspectos estructurales importantes.

Síntesis

Un Anillo Conmutativo es un anillo asociativo cuya multiplicación es simétrica, lo que genera un entorno en el que prosperan los ideales, la localización y la construcción del espectro, y que posibilita las bases algebraicas de la geometría, la teoría de números y el álgebra conmutativa.