Un semianillo es una estructura algebraica (S, +, ·) con dos operaciones binarias: la suma (+) que forma un monoide conmutativo de identidad 0, y la multiplicación (·) que forma un monoide con identidad 1 (salvo en el caso trivial 0 = 1), donde la multiplicación distribuye sobre la suma por ambos lados y 0 anula S por multiplicación. No se exige la existencia de inversos aditivos.

Principio

Organizar el cálculo algebraico cuando la resta no está disponible pero la composición y la acumulación sí; exigir asociatividad e identidades para ambas operaciones y distributividad para relacionarlas.

Demostración

Los números naturales N con la suma y multiplicación ordinarias forman un semianillo: (N, +, ·) tiene 0 como identidad aditiva, 1 como identidad multiplicativa, la multiplicación distribuye sobre la suma y no existen inversos aditivos para enteros positivos. Otro ejemplo es el semianillo booleano ({0,1}, ∨, ∧) utilizado en lógica y autómatas.

Aplicación incorrecta

Tratar un semianillo como un anillo suponiendo inversos aditivos para todos los elementos conduce a errores, por ejemplo al intentar resolver ecuaciones lineales por resta cuando los coeficientes pertenecen a N o a semianillos de matrices con entradas no negativas.

Consecuencia

El uso de semianillos permite modelar el conteo, la acumulación de recursos y problemas de caminos donde la resta carece de sentido; se obtienen nociones como semimódulos y álgebra matricial sobre semianillos usadas en teoría de autómatas y optimización.

Inversión

Exigir inversos aditivos convierte un semianillo en un anillo; eliminar la distributividad o las identidades produce estructuras más débiles (por ejemplo rigs sin identidad multiplicativa o hemiring con una sola distributividad).

Límite

Los semianillos excluyen la obligación de inversos aditivos; la multiplicación puede no ser conmutativa, y existen variantes sin elemento unidad multiplicativo — tales diferencias deben indicarse explícitamente.

Tensión semántica

Distinguir semianillo y anillo: ambos tienen dos operaciones y distributividad, pero el anillo requiere inversos aditivos; en aplicaciones, el semianillo compite con estructuras como rigs o dioides cuando la idempotencia o propiedades de anulación son relevantes.

Síntesis

Un semianillo es el marco algebraico de dos operaciones que mantiene la suma, el producto y la distributividad, pero prescinde de la resta, adecuado para aritmética no negativa, cálculos idempotentes y modelos donde solo importa la acumulación.