Two nonfinitely based additively idempotent semirings of order four

1. Il Problema di Ricerca

Il lavoro si inserisce nel contesto del problema della base finita (Finite Basis Problem - FBP) per le varietà di algebre, specificamente per le semianelli additivamente idempotenti (ai-semianelli).
Un ai-semianello è un'algebra $(S, +, \cdot)$ dove $(S, +)$ è un semigruppo commutativo idempotente, $(S, \cdot)$ è un semigruppo e valgono le leggi distributive.
Il problema centrale è determinare se una varietà di tali algebre ammette una base equazionale finita (un insieme finito di identità da cui tutte le altre identità valide nella varietà possono essere derivate). Se non ne ammette una, la varietà è detta nonfinitely based (non basata finitamente).

Sebbene il problema sia stato risolto per semianelli di ordine 2 e 3, e per molte classi di ordine 4, rimangono casi aperti, in particolare per i semianelli di ordine 4 i cui ridotti additivi sono catene (totalmente ordinati). Il paper affronta specificamente due di questi casi: $S(4,545)$ e $S(4,634)$.

2. Metodologia

Gli autori adottano un approccio sintattico basato sulla logica equazionale e sulla teoria delle varietà, integrandolo con il teorema di compattezza della logica equazionale.

• Strumenti Teorici:

  • Utilizzano la definizione di sottotermi e freeness (libertà) dei termini rispetto a sostituzioni.
  • Sfruttano il Teorema di Compattezza (Lemma 2.3): una varietà è non basata finitamente se esiste una base equazionale infinita tale che nessun suo sottoinsieme finito definisce la stessa varietà.
  • Introducono due nuove condizioni sufficienti per dimostrare che un ai-semianello non è basato finitamente. Queste condizioni si basano sulla costruzione di una famiglia infinita di disuguaglianze (inequalities) $\sigma_{n,k}$ che non possono essere derivate da un insieme finito di identità.

• Costruzione dei Termini:

  • Definiscono una famiglia di termini complessi $u_{n,k}$ e $u_{n,n}$ che combinano somme di prodotti di variabili.
  • Dimostrano proprietà combinatorie cruciali di questi termini (es. linearità delle parole, intersezioni di contenuto, assenza di quadrati di termini) per provare che certi termini non sono "sottotermi" di altri sotto specifiche sostituzioni.

• Analisi Strutturale:

  • Analizzano le tabelle di Cayley di $S(4,545)$ e $S(4,634)$.
  • Stabiliscono relazioni di inclusione tra le varietà generate: $V(S(4,545))$ è una sottovarietà di $V(S(4,634))$.
  • Mostrano che $S(4,545)$ è isomorfo al prodotto subdiretto di $S_{53}$ e $D_2$ (il reticolo distributivo a 2 elementi), mentre $S(4,634)$ è isomorfo all'estensione $S^0_{53}$ (aggiunta di un elemento zero).

3. Contributi Chiave e Risultati

A. Dimostrazione della Non-Basabilità Finita

Gli autori provano che entrambi i semianelli di ordine 4, $S(4,545)$ e $S(4,634)$, sono non finitamente basati.

• Per $S(4,545)$, costruiscono una base equazionale infinita contenente le identità (7)-(9) e una famiglia infinita di disuguaglianze $\sigma_{n,k}$. Dimostrano che per ogni $m \ge 4$, il termine $u_{m,0}$ è libero rispetto a tutti gli altri termini nella base, impedendo la derivazione finita.
• Per $S(4,634)$, utilizzano una condizione sufficiente analoga ma adattata alla struttura di $S^0_{53}$, dimostrando che anche questo semianello non ammette una base finita.

B. Risoluzione del Problema della Somma di Varietà (Problem 1.2)

Il paper risponde negativamente alla domanda: "La somma (join) di due varietà di ai-semianelli basate finitamente è sempre basata finitamente?"

• Gli autori dimostrano che $V(S(4,545))$ è esattamente il join di $V(S_{53})$ e $V(D_2)$.
• Poiché $S_{53}$ e $D_2$ sono basati finitamente (risultati noti), ma il loro join $V(S(4,545))$ è non basato finitamente, forniscono un controesempio fondamentale. Questo dimostra che la proprietà di essere basata finitamente non è preservata dall'operazione di join.

C. Cardinalità dell'Intervallo di Varietà

Gli autori analizzano l'intervallo $[V(S(4,545)), V(S(4,634))]$ nel reticolo delle varietà di semianelli.

• Dimostrano che questo intervallo contiene $2^{\aleph_0}$ varietà distinte (continuum).
• Costruiscono una mappa iniettiva dall'insieme delle parti dei numeri naturali all'insieme delle sottovarietà, utilizzando le identità $\sigma_{m,0}$ per distinguere le varietà.
• Questo risultato si estende all'intervallo $[V(S_{53}), V(S^0_{53})]$, mostrando che anche qui esiste un continuum di varietà.

D. Esempio Minimo di Estensione Non Basata

Il lavoro identifica $S_{53}$ (un ai-semianello di ordine 3 basato finitamente) come il più piccolo esempio (per ordine) di un semianello $S$ tale che:

1. $S$ è basato finitamente.
2. La sua estensione $S^0$ (ottenuta aggiungendo un elemento zero) è non basata finitamente.
   Questo risolve parzialmente il Problema 1.3 proposto da Jackson et al. e Gao et al.

4. Significato e Implicazioni

• Avanzamento della Classificazione: Il lavoro completa la classificazione del problema della base finita per una classe significativa di ai-semianelli di ordine 4 (quelli con ridotti additivi a catena), fornendo esempi critici che sfidano le intuizioni precedenti.
• Teoria delle Varietà: La scoperta che il join di due varietà basate finitamente può non esserlo è un risultato teorico profondo che modifica la comprensione della struttura del reticolo delle varietà di ai-semianelli.
• Metodologia Sintattica: Le condizioni sufficienti sviluppate e le tecniche combinatorie sui termini offrono nuovi strumenti per affrontare il problema della base finita in altre classi di algebre, non limitandosi ai semianelli.
• Connessione con Problemi Aperti: I risultati supportano l'ipotesi (Problem 1.1) che ogni ai-semianello finito la cui varietà contiene $S_7$ sia non basato finitamente, fornendo ulteriori evidenze attraverso l'analisi di $S(4,545)$ e $S(4,634)$.

In sintesi, il paper risolve casi specifici ma fondamentali del problema della base finita, fornendo controesempi strutturali a congetture sulla stabilità della finitezza delle basi e aprendo nuove direzioni per lo studio della complessità equazionale nelle algebre di semianelli.