Una estructura algebraica (R, +, ·) constituida por un conjunto R con dos operaciones binarias: la suma + que convierte (R, +) en un grupo abeliano, y la multiplicación · que es asociativa y distributiva respecto de la suma. La existencia de identidad multiplicativa puede requerirse o no; la conmutatividad de la multiplicación es opcional.

Principio

Combinar una estructura de grupo aditivo con una multiplicación asociativa compatible mediante las leyes distributivas; el comportamiento algebraico se organiza por identidades, inversos (aditivos) y axiomas de interacción (distributividad).

Demostración

Los enteros Z con las operaciones usuales forman un anillo conmutativo unitario. Ejemplos no conmutativos incluyen matrices n×n sobre un cuerpo; los anillos de polinomios ilustran anillos construidos a partir de anillos base.

Aplicación incorrecta

Tratar cada elemento de un anillo como invertible multiplicativamente (confundir anillo con cuerpo), asumir leyes de cancelación sin hipótesis (ignorar divisores de cero), o equiparar ideales con subanillos sin comprobar el cierre por multiplicación por elementos del anillo.

Consecuencia

Los anillos proporcionan el entorno para módulos, ideales, homomorfismos, anillos cociente y construcciones polinómicas; permiten la clasificación algebraica, la localización y el estudio de aritmética y geometría mediante invariantes anulares.

Inversión

Invertir el concepto conduce a un cuerpo (todo elemento no nulo es invertible) o a un rng (estructura parecida a un anillo sin unidad); estas inversiones subrayan la presencia o ausencia de unidad e invertibilidad.

Límite

Se aplica a conjuntos con dos operaciones binarias que satisfacen los axiomas indicados; excluye estructuras de una sola operación (grupos, monoides) y semianillos salvo que sus axiomas coincidan; requiere clausura de las operaciones en R y las relaciones distributivas, sin exigir conmutatividad ni finitud.

Tensión semántica

Anillo frente a cuerpo: ambos son sistemas de dos operaciones, pero el cuerpo añade inversos multiplicativos globales. Anillo frente a álgebra sobre un anillo: una álgebra tiene una acción escalar adicional. Anillo frente a rng/semiring: la diferencia radica en la existencia de 1 y de inversos aditivos.

Síntesis

Un anillo acopla un grupo abeliano aditivo con una multiplicación asociativa y distributiva, formando el marco básico para ideales, módulos y construcciones algebraicas; las variantes surgen al añadir o quitar unidad, conmutatividad o invertibilidad.