🔢 mathematics

Two nonfinitely based additively idempotent semirings of order four

Los autores establecen condiciones suficientes para que un semianillo aditivamente idempotente no tenga una base finita, demostrando que dos semianillos específicos de cuatro elementos carecen de tal base, que el intervalo entre sus variedades contiene un número continuo de variedades distintas y que la unión de variedades finitamente basadas no garantiza ser finitamente basada, además de presentar el ejemplo más pequeño de un semianillo finitamente basado cuya extensión con un nuevo elemento es no finitamente basada.

Autores originales: Mengya Yue, Miaomiao Ren, Zidong Gao

Publicado 2026-03-03

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Mengya Yue, Miaomiao Ren, Zidong Gao

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que las matemáticas son como un vasto universo de reglas de construcción. En este universo, existen estructuras llamadas semirringes (una mezcla entre sumar y multiplicar). Los autores de este artículo, Mengya Yue, Miaomiao Ren y Zidong Gao, se han dedicado a estudiar un tipo muy específico de estas estructuras: las que son "idempotentes aditivamente".

Para hacerlo simple, imagina que en este mundo, si sumas algo consigo mismo, no crece, sino que se queda igual (como si decir "yo + yo" fuera simplemente "yo").

Aquí está la historia de lo que descubrieron, explicada con analogías cotidianas:

1. El Gran Misterio: ¿Cuántas reglas necesitamos?

Imagina que quieres describir un juego completo (como el ajedrez) a alguien que nunca lo ha visto.

Base Finita: Podrías darle un manual de 50 páginas con todas las reglas. Es manejable.
Base Infinita: Podrías decirle: "Aquí tienes la primera regla, y luego te daré la segunda, y la tercera... pero necesitarás un libro infinito para entenderlo todo".

En matemáticas, esto se llama el Problema de la Base Finita. La pregunta es: ¿Podemos describir la estructura completa de ciertos objetos matemáticos con un número finito de reglas, o necesitamos un libro infinito?

2. Los Dos Protagonistas: S(4,545) y S(4,634)

Los autores estudiaron dos estructuras muy pequeñas, llamadas S(4,545) y S(4,634). Son como "cajas de herramientas" que solo tienen 4 piezas (elementos).

La sorpresa: Aunque son tan pequeñas y simples, los matemáticos descubrieron que no tienen un manual de reglas finito.
La analogía: Es como si tuvieras un juego de Lego con solo 4 piezas, pero para explicar cómo se pueden combinar todas las formas posibles, necesitarías escribir un libro de reglas que nunca termina. Por más que intentes resumirlo, siempre falta una regla nueva.

3. El Truco de la "Extensión" (El efecto dominó)

Uno de los hallazgos más fascinantes es cómo se comportan estas cajas cuando les agregamos una pieza extra.

Imagina que tienes una caja pequeña (llamémosla S53) que sí tiene un manual de reglas finito (es "fácil" de describir).
Los autores tomaron esa caja y le añadieron una nueva pieza (como añadir un "cero" o un elemento nulo).
El resultado: ¡La caja nueva (S0_53) se volvió imposible de describir con reglas finitas!
La lección: Añadir una sola pieza a un sistema simple puede convertirlo en un caos infinito. Es como si añadir un solo ingrediente a una receta simple hiciera que el plato requiera instrucciones infinitas para ser cocinado correctamente.

4. El "Cruce" de Dos Mundos

Los autores también demostraron algo muy importante sobre cómo se relacionan estos mundos matemáticos:

Tienen dos tipos de cajas "fáciles" (con reglas finitas).
Cuando las combinan (las "unen" o hacen un "join"), el resultado es una caja "difícil" (con reglas infinitas).
Analogía: Imagina que tienes dos recetas de cocina simples (una para pan, otra para queso). Si las mezclas, esperas obtener una receta simple para un sándwich. Pero en este mundo matemático, mezclar dos recetas simples crea un plato tan complejo que necesitas un libro infinito para explicarlo. Esto responde "No" a una pregunta que los matemáticos llevaban años haciéndose.

5. El Inventario Infinito

Finalmente, descubrieron que entre estas dos cajas (la pequeña y la grande), hay un "pasillo" o intervalo que contiene infinitos tipos diferentes de estructuras matemáticas.

Analogía: Imagina un pasillo de una biblioteca. En un extremo está el libro más simple y en el otro el más complejo. Los autores demostraron que en ese pasillo hay infinitos libros diferentes (más de los que hay estrellas en el cielo), y casi todos ellos son tan complejos que no tienen un índice finito.

En Resumen

Este artículo es como un mapa de un territorio matemático donde:

Encontraron dos estructuras pequeñas que son infinitamente complejas a pesar de su tamaño.
Demostraron que mezclar dos cosas simples puede crear algo infinitamente complejo.
Mostraron que agregar una pieza a un sistema simple puede destruir su simplicidad.

Es un trabajo que nos dice que, en matemáticas, la simplicidad de las piezas no garantiza la simplicidad del todo. A veces, lo pequeño esconde un universo de reglas que nunca terminan.

Aquí presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Resumen Técnico: Dos Semianillos Idempotentes Aditivamente No Finitamente Basados de Orden Cuatro

Autores: Mengya Yue, Miaomiao Ren y Zidong Gao.
Fuente: arXiv:2603.00015v1 (2026).

1. El Problema

El artículo aborda el problema de la base finita en la teoría de variedades de semianillos. Específicamente, se centra en los semianillos idempotentes aditivamente (ai-semianillos), estructuras algebraicas $(S, +, \cdot)$ donde la adición es un semigrupo conmutativo idempotente ( $x+x=x$ ) y la multiplicación es un semigrupo, cumpliendo las leyes distributivas.

El problema central es determinar si la variedad generada por un semianillo finito $S$ , denotada como $\mathcal{V}(S)$ , puede definirse mediante un conjunto finito de identidades (ecuaciones). Si no puede, se dice que el semianillo es no finitamente basado (NFB).

Aunque se han clasificado los semianillos de orden 2 y 3, y se han resuelto muchos casos de orden 4, existían lagunas importantes:

Se desconocía si la unión (join) de dos variedades finitamente basadas era necesariamente finitamente basada.
Se buscaba el ejemplo más pequeño de un semianillo finitamente basado cuya extensión (añadiendo un elemento cero) fuera no finitamente basada.
Se necesitaba completar la clasificación de los semianillos de orden 4 cuyos reductos aditivos son cadenas (totalmente ordenados).

2. Metodología

Los autores emplean un enfoque sintáctico combinado con el teorema de compacidad de la lógica ecuacional (Lema 2.3). Su estrategia se basa en:

Construcción de Identidades Infinitas: Definen familias infinitas de desigualdades (inecuaciones) específicas, denotadas como $\sigma_{n,k}$ , que son válidas en los semianillos objetivo pero no derivables de un conjunto finito de otras identidades.
Lemas de "Liberación" (Freeness): Desarrollan dos condiciones suficientes nuevas para probar que un semianillo es NFB. Estas condiciones requieren demostrar que ciertos términos complejos ( $u_{m,0}$ o $u_{m,m}$ ) son "libres" (no contienen subtérminos) respecto a los términos que aparecen en el lado derecho de las identidades de una base potencial finita.
Análisis de Estructura: Utilizan las tablas de Cayley de los semianillos $S(4,545)$ y $S(4,634)$ para verificar qué identidades se cumplen y cómo se relacionan sus variedades con otras conocidas (como $S_7$ , $S_{53}$ y $D_2$ ).
Conteo de Variedades: Utilizan la construcción de subvariedades definidas por subconjuntos de las identidades infinitas para demostrar la cardinalidad del intervalo entre variedades.

3. Contribuciones Clave y Resultados

A. Dos Nuevas Condiciones Suficientes para No Finitud

Los autores establecen dos teoremas (Teoremas 3.3 y 4.2) que proporcionan criterios generales para probar que un ai-semianillo es no finitamente basado. Estos criterios se basan en la existencia de un subconjunto infinito de desigualdades $\Omega$ tal que los términos del lado derecho de estas desigualdades no pueden ser "capturados" por un conjunto finito de otras identidades.

B. Resolución del Problema de Base Finita para $S(4,545)$ y $S(4,634)$

Se demuestra que dos semianillos específicos de 4 elementos, $S(4,545)$ y $S(4,634)$ , son no finitamente basados.

Ambos tienen reductos aditivos isomorfos a una cadena de 4 elementos, pero sus reductos multiplicativos son distintos.
Se proporcionan bases ecuacionales explícitas infinitas para ambos.
Se prueba que $\mathcal{V}(S(4,545))$ es una subvariedad de $\mathcal{V}(S(4,634))$ .

C. Contraejemplo a la Conjetura sobre la Unión de Variedades (Problema 1.2)

El resultado más impactante es que la variedad $\mathcal{V}(S(4,545))$ es no finitamente basada, pero puede expresarse como la unión (join) de dos variedades que sí son finitamente basadas:
$\mathcal{V}(S(4,545)) = \mathcal{V}(S_{53}) \vee \mathcal{V}(D_2)$
Donde:

$S_{53}$ es un semianillo de 3 elementos (finitamente basado).
$D_2$ es la retícula distributiva de 2 elementos (finitamente basada).
Esto responde negativamente al Problema 1.2: La unión de dos variedades finitamente basadas no es necesariamente finitamente basada.

D. Cardinalidad del Intervalo de Variedades

Se demuestra que el intervalo en el retículo de variedades de semianillos entre $\mathcal{V}(S(4,545))$ y $\mathcal{V}(S(4,634))$ contiene $2^{\aleph_0}$ (continuo) variedades distintas.

Esto implica que el intervalo $[\mathcal{V}(S_{53}), \mathcal{V}(S^0_{53})]$ también tiene cardinalidad $2^{\aleph_0}$ .
A diferencia de ejemplos anteriores donde ambos extremos del intervalo eran no finitamente basados, aquí el extremo izquierdo ( $\mathcal{V}(S_{53})$ ) es finitamente basado y el derecho ( $\mathcal{V}(S(4,634))$ ) es no finitamente basado.

E. El Ejemplo Más Pequeño de Extensión No Finitamente Basada

Se identifica que $S_{53}$ es el ejemplo más pequeño (en términos de orden) de un ai-semianillo finitamente basado $S$ tal que su extensión $S^0$ (obtenida añadiendo un elemento cero) es no finitamente basada.

$S(4,634) \cong S^0_{53}$ .
Esto resuelve parcialmente el Problema 1.3 sobre la preservación de la propiedad de base finita al extender el semianillo.

4. Significado e Impacto

Avance en la Clasificación: Este trabajo es un paso crucial hacia la resolución completa del problema de base finita para todos los ai-semianillos de orden 4 cuyos reductos aditivos son cadenas.
Refutación de Propiedades de Cierre: Al demostrar que la unión de variedades finitamente basadas puede ser no finitamente basada, se revela una complejidad estructural inesperada en la teoría de variedades de semianillos, desafiando intuiciones que podrían derivarse de otras álgebras.
Herramientas Nuevas: Las condiciones suficientes desarrolladas y los métodos sintácticos (uso de términos $u_{n,k}$ y análisis de subpalabras) ofrecen nuevas herramientas para atacar problemas de base finita en otras clases de álgebras.
Conexión con Problemas Abiertos: Los resultados apoyan la conjetura de que cualquier semianillo finito cuya variedad contenga a $S_7$ es no finitamente basado, ya que tanto $S(4,545)$ como $S(4,634)$ contienen a $S_7$ .

En conclusión, el artículo no solo resuelve casos específicos de orden 4, sino que redefine la comprensión de la estructura de las variedades de semianillos, demostrando que la propiedad de "base finita" no se preserva bajo operaciones de unión ni bajo extensiones simples de elementos.