Two nonfinitely based additively idempotent semirings of order four

这是一篇关于**加性幂等半环（Additively Idempotent Semirings, 简称 ai-semirings）有限基问题（Finite Basis Problem）的学术论文。作者孟雅月、任苗苗和高子东（Mengya Yue, Miaomiao Ren, Zidong Gao）研究了两个特定的 4 元 ai-semiring $S(4,545)$ 和 $S(4,634)$，并证明了它们都是非有限基（nonfinitely based）**的。

以下是该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• 核心概念：ai-semiring 是一个代数结构 $(S, +, \cdot)$，其中加法 $(S, +)$ 是交换幂等半群，乘法 $(S, \cdot)$ 是半群，且满足分配律。加法诱导了一个偏序 $a \le b \iff a+b=b$。
• 有限基问题：一个代数类（或簇，Variety）被称为“有限基”的，如果其所有恒等式（identities）可以由有限个恒等式推导出来；否则称为“非有限基”。
• 研究现状：
  • 3 元及以下的 ai-semiring 的有限基性质已基本解决（除个别特例外）。
  • 已知存在非有限基的有限 ai-semiring（如 7 元的 $S_7$ 和 6 元的 $B_1^2$ 等）。
  • 未解决问题 1 (Problem 1.1)：如果一个有限 ai-semiring 生成的簇包含 $S_7$，它是否一定是非有限基的？
  • 未解决问题 2 (Problem 1.2)：两个有限基的 ai-semiring 簇的并（join）是否一定是有限基的？
  • 未解决问题 3 (Problem 1.3 & 1.4)：关于扩展代数 $S^0$（添加零元）的有限基性质及其在格论中的区间大小。

2. 研究对象与方法论 (Methodology)

• 研究对象：
  • $S(4,545)$ 和 $S(4,634)$：两个 4 元 ai-semiring，其加法还原（additive reduct）均为 4 元链（chain）。
  • 它们的乘法还原不同，但 $S(4,634)$ 同构于 $S_{53}^0$（即 3 元半环 $S_{53}$ 添加零元后的扩展）。
  • 已知 $S_{53}$ 是有限基的，而 $S_7$ 是非有限基的。
• 方法论：
  • 构造充分条件：作者建立了两个新的充分条件，用于判定一个 ai-semiring 是否为非有限基。
  • 语法分析与紧凑性定理：利用等式逻辑的紧凑性定理（Compactness Theorem），通过构造无穷多个不等式（inequalities）序列，并证明任何有限子集都无法推导出该序列中的某一项，从而证明非有限基性。
  • 自由性证明（Freeness）：核心技巧是证明特定的项（terms）$u_{m,k}$ 对于其他项是“自由的”（free），即无法通过代入映射将其他项嵌入到 $u_{m,k}$ 中。
  • 变体格论分析：研究簇 $V(S(4,545))$ 和 $V(S(4,634))$ 之间的区间结构，利用子集构造证明区间内存在 $2^{\aleph_0}$ 个不同的簇。

3. 主要贡献与结果 (Key Contributions & Results)

A. 建立了两个非有限基的充分条件

作者定义了一类特殊的项 $u_{n,k}$ 和不等式 $\sigma_{n,k}$（形式为 $q_n \preceq u_{n,k}$）。

• 定理 3.3：如果一个交换 ai-semiring 的等式基包含 $\Omega_0$ 的无限子集，且满足特定的“自由性”条件，则该半环是非有限基的。
• 定理 4.2：针对另一类项 $u_{n,n}$ 和不等式 $\sigma_{n,n}$ 建立了类似的充分条件。

B. 证明了 $S(4,545)$ 和 $S(4,634)$ 的非有限基性

• $S(4,545)$：
  • 证明了 $V(S(4,545)) = V(S_{53}, D_2)$，即它是 $S_{53}$ 和 2 元分配格 $D_2$ 生成的簇的并。
  • 证明了 $S(4,545)$ 包含 $S_7$ 和 $S_{53}$。
  • 利用上述充分条件，证明了 $S(4,545)$ 是非有限基的。
• $S(4,634)$：
  • 证明了 $S(4,634) \cong S_{53}^0$。
  • 利用 $S_{53}$ 的等式理论及扩展性质，结合新的充分条件，证明了 $S(4,634)$ 也是非有限基的。

C. 解决了关于簇并集的问题 (Problem 1.2)

• 结果：$V(S(4,545))$ 是两个有限基簇 $V(S_{53})$ 和 $V(D_2)$ 的并（join）。
• 结论：$V(S(4,545))$ 本身是非有限基的。
• 意义：这给出了一个反例，证明了两个有限基的 ai-semiring 簇的并不一定是有限基的。

D. 解决了关于扩展代数 $S^0$ 的问题 (Problem 1.3 & 1.4)

• 最小反例：$S_{53}$ 是一个有限基的 3 元 ai-semiring，但其扩展 $S_{53}^0$（即 $S(4,634)$）是非有限基的。这是目前已知的阶数最小的此类例子。
• 区间大小：证明了在簇格中，区间 $[V(S_{53}), V(S_{53}^0)]$（等价于 $[V(S(4,545)), V(S(4,634))]$）包含 $2^{\aleph_0}$ 个不同的簇。
• 特殊性：与之前的例子不同，该区间的左端 $V(S_{53})$ 是有限基的，而右端 $V(S_{53}^0)$ 是非有限基的。

4. 技术细节与证明策略

• 项的构造：
  • $u_{n,k} = \prod_{i=1}^n x_i + \sum_{i=1}^k x_i x_{n+1} + \sum_{i=k+1}^n x_i x_{n+1} y_i$。
  • 通过证明 $u_{m,0}$ 对于 $u_{n,k}$ ($n < m$) 是自由的，来切断有限基的可能性。
• 不等式推导：
  • 利用 $S_{53}$ 和 $D_2$ 的已知等式基，推导出 $S(4,545)$ 和 $S(4,634)$ 的无穷等式基。
  • 特别是对于 $S(4,634)$，利用了 Wu 等人关于 $S^0$ 等式理论的引理（Lemma 4.3），将 $S^0$ 中的不等式转化为 $S$ 中的不等式。
• 反证法：假设存在有限基，则根据紧凑性定理，存在有限子集能定义该簇。通过构造特定的 $m$，使得 $u_{m,0}$ 无法被该有限子集推导出来（利用自由性引理），从而导出矛盾。

5. 意义与影响 (Significance)

1. 推进分类工作：该论文解决了 4 元 ai-semiring 中加法还原为链的那一类（共 386 个）中的关键案例，为完全分类 4 元 ai-semiring 的有限基性质迈出了重要一步。
2. 理论突破：
   • 否定了“有限基簇的并必为有限基”的猜想。
   • 揭示了扩展运算（adjoining a zero element）可能破坏有限基性质，并找到了最小的反例。
   • 展示了在包含 $S_7$ 的簇中，非有限基性质的普遍性，支持了 Gao 等人提出的猜想。
3. 方法论创新：提出的两个充分条件以及基于项的自由性（freeness）的语法证明方法，为研究其他代数结构的有限基问题提供了强有力的新工具。

总结：这篇论文通过精细的代数构造和逻辑推导，不仅解决了两个具体 4 元半环的有限基问题，还深刻揭示了 ai-semiring 簇格结构的复杂性，特别是有限基性质在并运算和扩展运算下的不稳定性，是该领域的重要进展。