[论文解读] Proper congruence-preserving extensions of lattices

George Grätzer, Friedrich Wehrung|arXiv (Cornell University)|Jan 25, 2005

Advanced Algebra and Logic参考文献 4被引用 7

一句话总结

本文证明了每个具有多个元素的格都存在一个真同余保持扩展，从而解决了格论中一个长期存在的问题。作者提出了一种新构造 $M_3\langle L\rangle$，该构造可将任意格 $L$ 嵌入更大的格中，同时保持所有同余关系，确保同余格保持同构，且严格扩展原始结构。

ABSTRACT

We prove that every lattice with more than one element has a proper congruence-preserving extension.

研究动机与目标

• 为解决格中是否存在每个具有多个元素的格都具有真同余保持扩展这一开放问题。
• 将现有的用于分配格的 $M_3[D]$ 构造推广到任意格。
• 引入并分析一种新的格构造 $M_3\langle L\rangle$，以确保同余保持性与真扩展性。
• 证明所有格的种类（$\mathbf{L}$）具有同余保持扩展性质（CPEP）。

提出的方法

• 在 $L^3$ 中定义布尔三元组，即满足恒等式 $x = (x\vee y)\wedge(x\vee z)$，$y = (y\vee x)\wedge(y\vee z)$，$z = (z\vee x)\wedge(z\vee y)$ 的三元组。
• 将 $M_3\langle L\rangle$ 构造为 $L^3$ 中所有布尔三元组的集合，其交与并运算按分量定义，并通过并运算的闭包完成。
• 证明 $M_3\langle L\rangle$ 是一个格，并通过嵌入 $x \mapsto \langle x,0,0\rangle$ 将 $L$ 视为其子格。
• 证明 $L$ 的每个同余关系都唯一地扩展到 $M_3\langle L\rangle$，从而使其成为同余保持扩展。
• 当 $L$ 有多个元素时，通过证明 $\langle 1,0,0\rangle \notin \{\langle x,0,0\rangle \mid x \in L\}$，确立 $M_3\langle L\rangle$ 是真扩展。
• 利用布尔三元组的结构，证明 $M_3\langle L\rangle$ 为模格当且仅当 $L$ 为分配格；若 $L$ 非分配，则 $M_3\langle L\rangle$ 包含一个同构于 $N_5$ 的子格，从而保持其非模性，但仍是格。

实验结果

研究问题

• RQ1 每个具有多个元素的格是否都存在一个真同余保持扩展？
• RQ2 能否将用于分配格的 $M_3[D]$ 构造推广到任意格？
• RQ3 所有格的种类（$\mathbf{L}$）是否满足同余保持扩展性质（CPEP）？
• RQ4 在何种条件下，$M_3\langle L\rangle$ 是一个保持所有同余关系的真扩展？
• RQ5 其他代数种类，如模格或分配格，是否也满足 CPEP？

主要发现

• 每个具有多个元素的格 $L$ 都存在一个真同余保持扩展 $K$，从而肯定回答了格论学者 Grätzer 与 Schmidt 提出的问题。
• $M_3\langle L\rangle$ 构造对任意具有多个元素的格 $L$，均产生一个真同余保持扩展的格。
• 通过自然的限制映射，$L$ 的同余格与 $M_3\langle L\rangle$ 的同余格同构。
• $M_3\langle L\rangle$ 构造将早期用于分配格的 $M_3[D]$ 构造推广到了任意格。
• 若 $L$ 非分配，则 $M_3\langle L\rangle$ 包含一个同构于 $N_5$ 的子格，因此 $M_3\langle L\rangle$ 不是模格，但仍是格。
• 所有格的种类（$\mathbf{L}$）具有同余保持扩展性质（CPEP），而像 $\mathbf{D}$（分配格）这样的有限生成种类则不具有。