[论文解读] Co-Stone residuated lattices

Claudia Mureșan|arXiv (Cornell University)|Jan 2, 2010

Advanced Algebra and Logic被引用 8

一句话总结

本文引入了 co-Stone 伴随式格，并通过格化函子在有界分配格与伴随式格之间建立了性质的传递。证明了伴随式格是 co-Stone（或强 co-Stone）当且仅当其格化是 co-Stone（或强 co-Stone），并构造了强 co-Stone 包，证明其在格化下保持不变。这为从分配格向伴随式格传递 co-Stone 性质提供了范畴论框架。

ABSTRACT

In this paper we present some applications of the reticulation of a residuated lattice, in the form of a transfer of properties between the category of bounded distributive lattices and that of residuated lattices through the reticulation functor. The results we are presenting are related to co-Stone algebras; among other applications, we transfer a known characterization of m-co-Stone bounded distributive lattices to residuated lattices and we prove that the reticulation functor for residuated lattices preserves the strongly co-Stone hull.

研究动机与目标

• 通过格化函子为从有界分配格向伴随式格传递 co-Stone 性质建立范畴论框架。
• 在伴随式格中定义并表征 co-Stone 与强 co-Stone 结构，证明其与有界分配格中对应结构的格化等价。
• 构造伴随式格的强 co-Stone 包，并证明其普遍性及在格化下的保持性。
• 通过证明其可通过格化传递，说明所选 co-Stone 伴随式格定义的合理性，优于文献中其他定义。

提出的方法

• 将格化函子应用于伴随式格，将其映射到有界分配格，从而实现结构性质的传递。
• 论文使用对偶理想上的偏序集上的归纳系统与归纳极限，构造格化及其普遍性质。
• 将强 co-Stone 包定义为对偶理想索引的商代数的归纳极限，使用典范商映射与同态。
• 通过验证格化商代数与归纳极限的格化之间的交换图，证明强 co-Stone 包的保持性。
• 以一个有限伴随式格（例 2.3）为例，通过商格与分量运算显式计算出该包。
• 利用格化的普遍性质及格化商结构之间的同构，证明伴随式格与其格化之间 co-Stone 性质的等价性。

实验结果

研究问题

• RQ1 在何种条件下，伴随式格是 co-Stone 当且仅当其格化是 co-Stone？
• RQ2 如何构造伴随式格的强 co-Stone 包？其在格化函子下是否保持不变？
• RQ3 为何本文提出的 co-Stone 伴随式格定义优于文献中的其他定义？
• RQ4 已知的 m-co-Stone 有界分配格的刻画能否通过格化传递到伴随式格？

主要发现

• 伴随式格是 co-Stone 当且仅当其格化是 co-Stone，确立了该性质的范畴等价。
• 同样的等价性也适用于强 co-Stone 性质，即伴随式格是强 co-Stone 当且仅当其格化是强 co-Stone。
• 格化函子保持强 co-Stone 包，即伴随式格的包的格化同构于其格化的包。
• 在有限伴随式格（例 2.3）上对强 co-Stone 包的构造进行了示例，得到一个具有分量运算与定义 → 运算的 9 元代数。
• 本文证明了所选 co-Stone 伴随式格定义可通过格化传递，而文献中另一种定义则不具备此性质。