[论文解读] Dense Elements and Classes of Residuated Lattices

Claudia Mureșan|arXiv (Cornell University)|Jan 12, 2009

Advanced Algebra and Logic被引用 14

一句话总结

本文研究了剩余格中的稠密元素、根和提升布尔中心，证明了BL-代数以及满足特定方程的某些Glivenko剩余格具有提升布尔中心性质。文章引入并刻画了拟局部剩余格，作为局部和半局部结构的推广，并证明若Glivenko剩余格模去稠密理想后的商格是拟局部的，则该Glivenko剩余格本身是拟局部的。

ABSTRACT

In this paper we study the dense elements and the radical of a residuated lattice, residuated lattices with lifting Boolean center, simple, local, semilocal and quasi-local residuated lattices. BL-algebras have lifting Boolean center; moreover, Glivenko residuated lattices which fulfill a certain equation (that is satisfied by BL-algebras) have lifting Boolean center.

研究动机与目标

• 刻画剩余格中稠密元素和根的结构。
• 研究提升布尔中心性质，并识别满足该性质的剩余格类。
• 定义并分析拟局部剩余格，作为局部和半局部格的推广。
• 厘清局部、半局部、单和拟局部剩余格之间的关系。
• 建立剩余格为拟局部的条件，特别是在Glivenko情形下。

提出的方法

• 使用剩余和格论运算（→, ⊙, ¬, ↔）来定义稠密元素、根和布尔中心。
• 应用商构造 A/Ds(A) 和 A/F 来分析结构性质和同构关系。
• 利用谱拓扑和滤子理论（素滤子、极大滤子、原滤子、拟原滤子）研究格结构。
• 利用同构 θ: A/Ds(A) → Reg(A)，其中 θ(a/Ds(A)) = ¬¬a，将稠密集商与正则子代数联系起来。
• 应用Glivenko条件 ¬¬(¬¬a → a) = 1 和方程 (¬a→¬b)→¬b = (¬b→¬a)→¬a 以推导结构结论。
• 使用序 ord(a) 和正则元素的概念来分析局部和单格。

实验结果

研究问题

• RQ1 哪些类的剩余格具有提升布尔中心性质？
• RQ2 根、稠密元素与商格 A/Ds(A) 之间的关系是什么？
• RQ3 在何种条件下，Glivenko剩余格是拟局部的？
• RQ4 局部、半局部、单和拟局部剩余格类之间有何关系？
• RQ5 当 A/Ds(A) 是拟局部时，何时能推出 A 是拟局部的？

主要发现

• BL-代数具有提升布尔中心性质，这通过 A/Ds(A) 与 Reg(A) 之间的同构关系得以证明。
• 一个Glivenko剩余格满足方程 (¬a→¬b)→¬b = (¬b→¬a)→¬a 当且仅当 Reg(A) 是一个MV-代数。
• 在Glivenko剩余格中，商格 A/Ds(A) 同构于 Reg(A)，且该同构保持剩余格结构。
• 一个剩余格是拟局部的，当且仅当对每个 a ∈ A，存在 e ∈ B(A) 和 n ∈ ℕ*，使得 aⁿ ⊙ e = 0 且 (¬a)ⁿ ⊙ (¬e) = 0。
• 拟局部剩余格类严格扩展了局部和半局部格类，并包含局部MV-代数和BL-代数的弱布尔积。
• 存在剩余格 A，使得 A/Ds(A) 是拟局部的但 A 本身不是拟局部的，这表明拟局部性在模去稠密集之后不被保持。