Una estructura algebraica (R, +, ·) con dos operaciones binarias donde (R, +) es un grupo abeliano, la multiplicación · es asociativa y · distribuye sobre +; la existencia de unidad multiplicativa o la conmutatividad dependen de la convención.

Principio

Organizar elementos por su invertibilidad aditiva y la composición multiplicativa bajo distributividad para permitir que construcciones lineales y multiplicativas coexistan en una misma estructura.

Demostración

Los enteros Z con la suma y la multiplicación habituales forman un anillo: la suma es un grupo abeliano, la multiplicación es asociativa y distributiva. Los anillos de matrices son un ejemplo no conmutativo.

Aplicación incorrecta

Suponer que todo elemento no nulo tiene inverso multiplicativo (tratar un anillo como cuerpo) o suponer que la multiplicación es siempre conmutativa al aplicar resultados que requieren conmutatividad.

Consecuencia

Los anillos permiten definir ideales, anillos cociente, acciones de módulos y extensiones polinómicas; con ello se construyen estructuras algebraicas como cocientes e invariantes homológicos.

Inversión

Invertir la noción produce una estructura donde la multiplicación puede no ser distributiva respecto de la suma o la suma no ser un grupo — tales inversiones conducen a semianillos o monoides aditivos.

Límite

Incluye estructuras con o sin unidad multiplicativa según la convención (anillos vs rngs). Excluye semianillos que carecen de inversos aditivos y estructuras donde falla la distributividad.

Tensión semántica

Tensión entre anillos no conmutativos y conmutativos, y entre anillos con unidad y rngs sin unidad; distintas comunidades adoptan requisitos predeterminados diferentes.

Síntesis

Un anillo es el marco algebraico mínimo que combina un grupo aditivo abeliano con una multiplicación asociativa y distributiva, sirviendo de fuente escalar para módulos y de entorno para operaciones algebraicas.