Un anillo cuya multiplicación es conmutativa: para todo a, b en R, a·b = b·a. Mantiene la estructura de grupo abeliano aditivo y la distributividad del anillo añadiendo la conmutatividad multiplicativa.

Principio

Exigir composición multiplicativa simétrica para que el álgebra de polinomios, la teoría de ideales y las construcciones geométricas puedan desarrollarse con métodos conmutativos.

Demostración

Los enteros Z y los anillos de polinomios k[x1,...,xn] sobre un anillo base conmutativo k son anillos conmutativos; estos ejemplos sostienen la teoría de números y la geometría algebraica.

Aplicación incorrecta

Aplicar teoremas válidos solo en dominios íntegros o cuerpos (por ejemplo, cancelación en multiplicación) sin comprobar la existencia de divisores de cero, o asumir que todo anillo conmutativo es un PID o noetheriano.

Consecuencia

La conmutatividad permite estudiar ideales, ideales primos y maximales, el espectro de un anillo y técnicas geométricas basadas en localización y factorización.

Inversión

La inversión produce un anillo no conmutativo donde la multiplicación carece de simetría; muchos comportamientos respecto a módulos y representaciones cambian sustancialmente.

Límite

Incluye anillos con multiplicación conmutativa que pueden o no tener unidad multiplicativa según la convención; excluye anillos no conmutativos y semianillos sin inversos aditivos.

Tensión semántica

Tensión entre la teoría de anillos conmutativos y clases de anillos con restricciones adicionales (dominios, PID, cuerpos), así como entre interpretaciones algebraicas y geométricas del mismo anillo.

Síntesis

Un anillo conmutativo es un anillo con multiplicación simétrica que constituye la base algebraica de ideales y nociones geométricas como Spec, conectando álgebra y geometría.