Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups

这是一份关于论文《比较半群的对角子半群与同余的数量》（Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups）的详细技术总结。

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

在半群理论中，同余（Congruence）是一个核心概念，即与乘法运算兼容的等价关系。每一个同余都是直积 $S \times S$ 的一个子半群。更广泛的概念是对角子半群（Diagonal Subsemigroup），定义为 $S \times S$ 中一个包含对角线 $\Delta_S = \{(s, s) : s \in S\}$ 且与乘法兼容的自反关系。

• 核心问题：研究有限半群 $S$ 中同余的数量 $|Cong(S)|$与对角子半群的数量$|Diag(S)|$ 之间的比率。
• 定义：作者定义了 DSC 系数 $\chi(S)$ 为：
  $$\chi(S) = \frac{|Cong(S)|}{|Diag(S)|}$$
  显然 $0 < \chi(S) \le 1$。
• 已知结论：在之前的工作中，作者证明了对于有限半群，$\chi(S) = 1$ 当且仅当 $S$ 是一个群（Group）。
• 本文目标：探究当 $S$ 遍历所有有限半群时，$\chi(S)$ 能取到哪些值。具体而言，是否对于任意有理数 $\alpha \in (0, 1]$，都存在一个有限半群 $S$ 使得 $\chi(S) = \alpha$？

2. 方法论 (Methodology)

为了证明上述猜想，作者主要采用了以下数学工具和构造方法：

1. Rees 矩阵半群构造 (Rees Matrix Construction)：

   • 利用 Suschkewitsch 引入的 Rees 矩阵半群 $M[G; I, \Lambda; P]$，其中 $G$ 是群，$I, \Lambda$ 是索引集，$P$ 是矩阵。
   • 这类半群是完全单半群（Completely Simple Semigroups），结构清晰，便于计数。

2. 分类与双射 (Classification and Bijection)：

   • 同余的分类：引用 Preston 的结果，Rees 矩阵半群上的同余与关联等价三元组（Linked Equivalence Triples） $(N, S, T)$ 一一对应，其中 $N$ 是 $G$ 的正规子群，$S, T$ 分别是 $I, \Lambda$ 上的等价关系，且满足特定的“关联”条件（涉及矩阵元素的提取）。
   • 对角子半群的分类：这是本文的核心创新点。作者证明了，当群 $G$ 本身是 DSC 群（即 $G$ 的对角子半群全是同余，这包括所有有限群）时，Rees 矩阵半群上的对角子半群与关联自反三元组（Linked Reflexive Triples） $(N, S, T)$ 一一对应。这里的区别在于 $S$ 和 $T$ 只需要是自反关系（Reflexive Relations），而不必是等价关系。

3. 计数与比率分析：

   • 利用上述双射，将 $\chi(S)$ 转化为计算“关联等价三元组”数量与“关联自反三元组”数量的比值。
   • 引入贝尔数（Bell Number） $B(n)$（表示 $n$ 元集合上等价关系的数量）和自反关系的数量 $2^{n^2-n}$。
   • 通过构造特定的矩阵 $P$ 和选择特定的群 $G$（如循环群），控制三元组中满足“关联”条件的子群数量，从而精确调节分子和分母的比例。

4. Clifford 半群的对比分析：

   • 作为对比，作者简要分析了 Clifford 半群（逆半群的一类），利用同余对（Congruence Pair）和“对角子半群对”的概念，给出了其 DSC 系数的上界。

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

3.1 理论突破：对角子半群的分类定理

作者建立了 Rees 矩阵半群 $M[G; I, \Lambda; P]$（其中 $G$ 为 DSC 群）上对角子半群与关联自反三元组之间的一一对应关系（Theorem 2.7）。这填补了该领域在计数对角子半群方面的理论空白，使得精确计算 $|Diag(S)|$ 成为可能。

3.2 核心定理：DSC 系数的谱 (The Spectrum of $\chi(S)$)

定理 1.2 是本文的主要结论：

对于任意有理数 $\alpha \in (0, 1]$，都存在一个有限半群 $S$，使得 $\chi(S) = \alpha$。

证明思路概要：

1. 如果 $\alpha = 1$，取 $S$ 为任意有限群即可。
2. 如果 $\alpha < 1$，作者利用 Rees 矩阵半群 $M[G; I, \Lambda; P]$。
3. 通过选择足够大的索引集大小 $|I|=a, |\Lambda|=b$，使得基础比率（对应于矩形带 $I \times \Lambda$ 的系数）$\frac{B(a)B(b)}{2^{a^2-a}2^{b^2-b}}$ 足够小，从而覆盖 $(0, 1)$ 区间。
4. 利用特定的矩阵 $P$（基于素数幂构造），使得对于不同的正规子群 $N_k$，关联条件要么完全满足（此时三元组数量由贝尔数决定），要么仅在对角线上满足（此时三元组数量由自反关系决定）。
5. 通过调整群 $G$ 的阶数和矩阵 $P$ 的参数，可以构造出任意形式的加权平均，从而精确得到目标有理数 $\alpha$。

3.3 下界估计

定理 3.4 给出了 Rees 矩阵半群 DSC 系数的下界：
$$\frac{B(a)B(b)}{2^{a^2-a}2^{b^2-b}} \le \chi(M[G; I, \Lambda; P]) < 1$$
其中 $a=|I|, b=|\Lambda|$。随着 $a, b$ 增大，该下界趋近于 0，证明了 $\chi(S)$ 可以取到任意接近 0 的有理数。

3.4 Clifford 半群的性质

对于 Clifford 半群 $S$，作者证明了 $\chi(S) \le \chi(Y)$，其中 $Y$ 是 $S$ 的半格骨架。这表明 Clifford 半群的 DSC 系数受到其骨架结构的严格限制，且随着半格大小增加，其取值区间可能非常狭窄（趋近于 0），这与 Rees 矩阵半群能覆盖整个 $(0, 1]$ 区间形成鲜明对比。

4. 意义与影响 (Significance)

1. 量化“接近群”的程度：DSC 系数 $\chi(S)$ 提供了一个精确的数值指标，衡量一个半群在结构上“有多像”一个群。$\chi(S)=1$ 意味着它是群，而 $\chi(S)$ 越小，意味着其结构越复杂，包含的非同余对角子半群越多。
2. 完备性证明：本文彻底解决了“有限半群 DSC 系数的可能取值集合”这一问题，证明了该集合恰好是 $(0, 1]$ 中的所有有理数。这展示了半群结构的丰富性和多样性。
3. 方法论推广：将同余的分类理论推广到更广泛的对角子半群，并成功应用于 Rees 矩阵半群，为研究其他类型半群（如完全正则半群、逆半群等）的对角子半群计数提供了新的范式。
4. 结构洞察：通过对比 Rees 矩阵半群（完全单半群）和 Clifford 半群，揭示了不同代数结构在“同余与对角子半群”关系上的本质差异。Rees 矩阵半群具有极高的灵活性，而 Clifford 半群则受限于其半格结构。

总结

这篇论文通过深入分析 Rees 矩阵半群的结构，建立了对角子半群与自反关系之间的精确对应，成功证明了有限半群的 DSC 系数可以取遍 $(0, 1]$ 区间内的任意有理数。这一结果不仅完善了半群同余理论，也为理解半群结构的复杂性提供了一个新的量化视角。