Un near-ring es un conjunto N con dos operaciones: suma (+) que hace de (N, +) habitualmente un grupo (o al menos una estructura similar) y una multiplicación (·) asociativa, en la que solo una ley distributiva se cumple (típicamente la distributividad por la derecha: (a + b)·c = a·c + b·c), mientras que la otra puede fallar; las definiciones varían sobre si la suma debe ser un grupo o solo un monoide.

Principio

Relajar los axiomas de anillo debilitando la distributividad o la conmutatividad aditiva para que multiplicaciones de tipo composición se combinen con una suma que no necesariamente cumple todas las identidades del anillo, permitiendo estudiar álgebra de operadores más generales.

Demostración

El conjunto de todas las funciones de un grupo G en sí mismo con suma punto a punto (f+g)(x)=f(x)+g(x) y composición como multiplicación (f·g)(x)=f(g(x)) constituye un near-ring derecho: la composición distribuye sobre la suma por la derecha pero no necesariamente por la izquierda.

Aplicación incorrecta

Suponer distributividad bilatera o tratar todo near-ring como un anillo conduce a errores; por ejemplo, esperar que los ideales bilaterales se comporten como en los anillos puede fallar.

Consecuencia

Los near-rings modelan álgebra de operadores y semigrupos de transformaciones donde la distributividad unilateral es suficiente; abarcan endomorfismos de grupos y dan lugar a nociones especializadas de ideales y módulos ajustadas a la distributividad por un solo lado.

Inversión

Imponer ambas leyes distributivas y conmutatividad aditiva da la definición de anillo; eliminar la asociatividad multiplicativa o la invertibilidad aditiva produce estructuras aún más débiles.

Límite

El término 'near-ring' cubre variantes: near-rings unilaterales (izquierda o derecha), near-rings con suma en grupo o solo en monoide y estructuras donde la multiplicación es composición más que un producto bilineal. Muchos resultados clásicos de teoría de anillos no se generalizan sin hipótesis adicionales.

Tensión semántica

El near-ring se sitúa entre anillos y álgebras no asociativas: debilita axiomas de anillo pero mantiene estructura suficiente para estudiar transformaciones; por la semejanza formal se confunde con anillos, pese a la falta de distributividad esencial.

Síntesis

Un near-ring es la generalización unilateral de un anillo en la que la multiplicación se liga a una estructura aditiva mediante una sola ley distributiva (y a veces con supuestos aditivos relajados), apropiada para modelar operaciones dominadas por la composición cuando la linealidad bilateral falta.