Estructura algebraica cuya suma es idempotente y suele darse por mínimos (o máximos) y cuya multiplicación es la suma ordinaria; típicamente R ∪ {∞} con a ⊕ b = min(a,b) y a ⊗ b = a + b.

Principio

Sustituir la suma y multiplicación clásicas por una combinación basada en el orden (min o max) y la suma, convirtiendo álgebra polinómica en geometría tropical pieza‑lineal y permitiendo métodos combinatorios para optimización y problemas algebraicos.

Demostración

Composición de caminos más cortos: las longitudes de trayecto se suman al concatenar (⊗ = +) y se selecciona el camino óptimo tomando el mínimo (⊕ = min) entre alternativas, de modo que los problemas de caminos son lineales sobre el semianillo tropical.

Aplicación incorrecta

Tratar el semianillo tropical como un cuerpo e intentar invertir elementos arbitrarios o usar sustracción; esto invalida identidades algebraicas que requieren inversos aditivos.

Consecuencia

El álgebra lineal sobre el semianillo tropical produce sistemas lineales max/min‑plus cuyos 'espectros' son combinatorios (p. ej. problemas de valores propios tropicales) y cuyos polinomios definen variedades pieza‑lineales.

Inversión

El anillo/cuerpo clásico donde la suma es cancelable y tiene inversos; allí las operaciones min/max no son primarias y los objetos algebraicos son suaves en vez de por tramos lineales.

Límite

Se aplica a semianillos con ley aditiva idempotente (convenciones min o max) y a modelos combinatorios o métricos; excluye estructuras que requieren inversos aditivos, anillos/cuerpos verdaderos o continuación analítica real.

Tensión semántica

Tensión entre llamarlo 'álgebra min‑plus' (énfasis algorítmico/operacional) y 'semianillo tropical' (énfasis algebraico/geométrico): las mismas operaciones sirven a perspectivas de optimización y geometría.

Síntesis

Un semianillo tropical es un semianillo idempotente (min/max para la suma, + para la multiplicación) que transforma problemas polinómicos y lineales en análogos pieza‑lineales y combinatorios adecuados para optimización y geometría tropical.