[论文解读] A note on finite lattices with many congruences

Gábor Czédli|arXiv (Cornell University)|Dec 17, 2017

Advanced Algebra and Logic参考文献 8被引用 14

一句话总结

本文確立了有限格中同餘數量的嚴苛閾值：n元格的同餘數量最多為 $2^{n-1}$，且當且僅當該格為鏈時取等。若同餘數量少於 $2^{n-1}$，則最大值為 $2^{n-2}$，且僅當格的形式為 $C_1 \dot{+} B_2 \dot{+} C_2$ 時達到，其中 $C_1$ 和 $C_2$ 為鏈，$B_2$ 為四元素布林格。證明使用數學歸納法、同餘格結構，以及透過商格的對應定理。

ABSTRACT

By a twenty year old result of Ralph Freese, an $n$-element lattice $L$ has at most $2^{n-1}$ congruences. We prove that if $L$ has less than $2^{n-1}$ congruences, then it has at most $2^{n-2}$ congruences. Also, we describe the $n$-element lattices with exactly $2^{n-2}$ congruences.

研究动机与目标

• 將有限格中同餘數量的上界進一步精確化，超越已知的 $2^{n-1}$ 最大值。
• 確定當此上界未達成時，同餘數量的確切最大值。
• 描述達到恰好 $2^{n-2}$ 個同餘的 n 元格。
• 提供一個新的證明，用以證明弗里西結果中 $2^{n-1}$ 上界，方法為利用同餘格結構與商格。

提出的方法

• 對格 $L$ 的大小 $n$ 進行數學歸納，利用同餘格 $\textup{Con}(L)$ 的結構。
• 定義一個摺疊映射 $f(\Psi) = \Theta \vee \Psi$，其中 $\Theta = \textup{con}(a,b)$ 為由一個極小區間 $[a,b]$ 生成的最小同餘，並證明每個像點的原像點數量至多為兩個。
• 應用對應定理，將 $|\textup{Con}(L/\Theta)|$ 與 $|\textup{Con}(L)|$ 關聯，得出 $|\textup{Con}(L/\Theta)| \geq \frac{1}{2} |\textup{Con}(L)|$。
• 利用 $\textup{Con}(L)$ 是分配格的事實（由富永與中山證明），確保相對補元的唯一性，進而支持原像數量的上界。
• 分析商格 $L/\Theta$，以推導 $L$ 的結構約束，特別是在 $|L/\Theta| = n-1$ 或 $n-2$ 時，並根據生成的極小區間是否為「窄化區間」來分類討論。
• 利用同構關係 $\textup{Con}(K \dot{+} \mathbf{2}) \cong \textup{Con}(K) \times \mathbf{2}$，透過可除性論證排除某些結構，特別是在 $|\textup{Con}(L)| = 2^{n-2}$ 時。

实验结果

研究问题

• RQ1 若一有限格的大小為 $n$ 且非鏈，其同餘數量的最大值為何？
• RQ2 哪些 $n$-元格恰好擁有 $2^{n-2}$ 個同餘？
• RQ3 當 $2^{n-1}$ 個同餘的上界未達成時，能否進一步精確化此上界？
• RQ4 具有恰好 $2^{n-2}$ 個同餘的格具有何種結構特性？
• RQ5 同餘格 $\textup{Con}(L)$ 的結構，如何透過商映射與同餘生成，約束格 $L$ 的結構？

主要发现

• n 元格的同餘數量最多為 $2^{n-1}$，且當且僅當該格為鏈時取等。
• 若一格的同餘數量少於 $2^{n-1}$，則其同餘數量至多為 $2^{n-2}$。
• 同餘數量恰好為 $2^{n-2}$，當且僅當該格的形式為 $C_1 \dot{+} B_2 \dot{+} C_2$，其中 $C_1$ 和 $C_2$ 為鏈，$B_2$ 為四元素布林格。
• 證明建立了一個新的歸納論證，用以證明 $2^{n-1}$ 上界，方法為使用摺疊映射 $\Psi \mapsto \Theta \vee \Psi$ 與對應定理。
• 分析顯示，當生成的極小區間不是窄化區間時，商格 $L/\Theta$ 必為鏈，且格 $L$ 必包含一個覆蓋正方形 $S = \{a, b, c, d\}$，滿足 $a \prec b$，$a \prec c$，$b \vee c = d$，且 $b \prec d$，同時 $L \setminus S$ 也為鏈。
• 配置 $C_1 \dot{+} N_5 \dot{+} C_2$ 被排除，因為 $|\textup{Con}(N_5)| = 5$，而 5 不整除 $2^{n-2}$，與所需的同餘數量矛盾。