Two nonfinitely based additively idempotent semirings of order four

Resumo Técnico

Título: Dois Semirings Aditivamente Idempotentes Não Finitamente Baseados de Ordem Quatro
Autores: Mengya Yue, Miaomiao Ren e Zidong Gao
Área: Álgebra Universal, Teoria de Variedades, Semirings.

1. O Problema e o Contexto

O artigo aborda o Problema da Base Finita no contexto de semirings aditivamente idempotentes (ai-semirings). Um ai-semiring é uma álgebra $(S, +, \cdot)$ onde $(S, +)$ é um semigrupo comutativo idempotente, $(S, \cdot)$ é um semigrupo e as leis distributivas são válidas.

• Definição Chave: Uma variedade de álgebras é finitamente baseada se o conjunto de todas as identidades que a definem pode ser gerado por um conjunto finito de identidades. Caso contrário, é não finitamente baseada.
• Contexto Histórico: A classificação de ai-semirings finitos quanto à propriedade de base finita foi intensivamente estudada. Semirings de ordem 2 e 3 foram classificados (com exceções notáveis como $S_7$ e $S_{53}$ de ordem 3). Para a ordem 4, existem 866 isomorfismos distintos. Este trabalho foca em dois casos específicos de ordem 4, $S(4,545)$ e $S(4,634), cujos redutos aditivos são cadeias (chains).
• Problemas Específicos Endereçados:
  1. Determinar se $S(4,545)$ e $S(4,634)$ são finitamente baseados.
  2. Resolver o Problema 1.2: A união (join) de duas variedades de ai-semirings finitamente baseadas é necessariamente finitamente baseada?
  3. Resolver o Problema 1.3/1.4: Investigar a cardinalidade do intervalo $[V(S), V(S^0)]$ no reticulado de variedades, onde $S^0$ é a extensão de $S$ com um novo elemento zero.

2. Metodologia

Os autores desenvolveram uma abordagem sintática combinada com o Teorema da Compacidade da lógica equacional (Lemma 2.3). A estratégia central envolveu:

1. Construção de Termos Específicos: Definição de famílias de termos complexos, denotados por $u_{n,k}$ e $u_{n,n}$, que possuem propriedades estruturais rigorosas (linearidade, interseção de conteúdo, ausência de subtermos quadrados, etc.).
2. Lemas de "Liberdade" (Freeness): Provas técnicas (Proposições 3.2 e 4.1) demonstrando que certos termos $u_{m,0}$ ou $u_{m,m}$ são "livres" de outros termos $v$ (ou seja, $v$ não pode ser um subtermo de $u_{m,m}$ sob nenhuma substituição). Isso impede que identidades envolvendo $v$ derivem identidades envolvendo $u_{m,m}$.
3. Condições Suficientes para Não-Basabilidade: Estabelecimento de dois teoremas principais (Teorema 3.3 e Teorema 4.2) que fornecem condições suficientes para que uma variedade seja não finitamente baseada. Essencialmente, se uma variedade contém um conjunto infinito de desigualdades $\sigma_{n,k}$ e satisfaz certas condições de liberdade, ela não possui base finita.
4. Análise de Variedades e Extensões: Uso de isomorfismos para relacionar $S(4,634)$ com a extensão $S^0_{53}$ (onde $S_{53}$ é um semiring de ordem 3) e demonstração de que $V(S(4,545))$ é o join de $V(S_{53})$ e $V(D_2)$.

3. Principais Contribuições e Resultados

A. Não-Basabilidade de $S(4,545)$ e $S(4,634)$

• Os autores provaram que ambos os semirings de ordem 4, $S(4,545)$ e $S(4,634)$, são não finitamente baseados.
• Eles forneceram bases equacionais infinitas explícitas para cada um, contendo conjuntos infinitos de desigualdades da forma $q_n \preceq u_{n,k}$.
• Demonstraram que as condições de liberdade necessárias para aplicar seus teoremas são satisfeitas por esses semirings, falhando todas as condições de base finita conhecidas anteriormente para esses casos específicos.

B. Contraexemplo ao Problema da União de Variedades (Problema 1.2)

• Resultado Chave: A variedade $V(S(4,545))$ é não finitamente baseada, mas pode ser expressa como a união (join) de duas variedades finitamente baseadas: $V(S_{53})$ e $V(D_2)$.
• Significado: Isso responde negativamente ao Problema 1.2, provando que a propriedade de ser finitamente baseada não é preservada sob a operação de join de variedades.

C. Cardinalidade do Intervalo de Variedades (Problema 1.4)

• Os autores provaram que o intervalo no reticulado de variedades $[V(S(4,545)), V(S(4,634))]$ contém $2^{\aleph_0}$ (cardinalidade do contínuo) variedades distintas.
• Isso implica que o intervalo $[V(S_{53}), V(S^0_{53})]$ também contém $2^{\aleph_0}$ variedades.
• Inovação: Diferente de exemplos anteriores onde ambas as extremidades do intervalo eram não finitamente baseadas, neste caso, a extremidade esquerda ($V(S_{53})$) é finitamente baseada, enquanto a direita ($V(S^0_{53})$) é não finitamente baseada.

D. O Menor Exemplo de Extensão Não-Basada

• O trabalho identifica $S_{53}$ (um ai-semiring de ordem 3, finitamente baseado) como o menor exemplo conhecido (em termos de cardinalidade) de um semiring $S$ tal que $S$ é finitamente baseado, mas sua extensão $S^0$ (obtida pela adjunção de um elemento zero) é não finitamente baseada.
• Isso resolve parcialmente o Problema 1.3 de Jackson et al.

4. Significado e Impacto

1. Avanço na Classificação: O trabalho completa a classificação de ai-semirings de ordem 4 cujos redutos aditivos são cadeias, fornecendo exemplos críticos que desafiam as intuições sobre a preservação da basabilidade.
2. Suporte a Conjecturas: Os resultados fornecem suporte forte para a conjectura de que todo ai-semiring finito cuja variedade contém $S_7$ é não finitamente baseado (já que $V(S(4,545))$ contém $S_7$ e é não finitamente baseada).
3. Novas Ferramentas: As condições sintáticas e os lemas de liberdade desenvolvidos (especialmente as Proposições 3.2 e 4.1) fornecem novas ferramentas metodológicas para atacar o problema da base finita em outras classes de álgebras.
4. Estrutura do Reticulado de Variedades: A descoberta de um intervalo com cardinalidade contínua entre uma variedade finitamente baseada e uma não finitamente baseada enriquece significativamente a compreensão da estrutura do reticulado de variedades de semirings.

Em suma, o artigo resolve problemas fundamentais na teoria de variedades de semirings, demonstrando a complexidade intrínseca do problema da base finita mesmo em estruturas algébricas pequenas (ordem 4) e estabelecendo limites para a preservação de propriedades finitárias sob operações de extensão e união.