[论文解读] Distributivity in skew lattices

Michael Kinyon, Jonathan Leech+1 more|arXiv (Cornell University)|Jun 24, 2013

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

一句话总结

本文研究斜格中的分配律，重点关注线性分配的斜格——即其完全预序子代数为分配律的斜格。通过𝒟-类上的自然偏序刻画线性分配律，并引入第二种刻画方式，利用严格范畴化斜格，证明在对称斜格中，分配律等价于拟分配律与线性分配律。

ABSTRACT

Distributive skew lattices satisfying $x\wedge (y\vee z)\wedge x = (x\wedge y\wedge x) \vee (x\wedge z\wedge x)$ and its dual are studied, along with the larger class of linearly distributive skew lattices, whose totally preordered subalgebras are distributive. Linear distributivity is characterized in terms of the behavior of the natural partial order between comparable $\DD$-classes. This leads to a second characterization in terms of strictly categorical skew lattices. Criteria are given for both types of skew lattices to be distributive.

研究动机与目标

• 通过斜格中𝒟-类之间的自然偏序刻画线性分配律。
• 通过严格范畴化斜格建立线性分配律的第二种刻画。
• 确定斜格为分配律的充分必要条件，尤其在对称与拟分配律情形下。
• 厘清分配律概念之间的层级关系：双条件分配律、相对分配律、线性分配律与完全分配律。
• 证明双条件分配律斜格与对称线性分配律斜格为相对分配律，且构成种类。

提出的方法

• 通过斜格中𝒟-类上自然偏序的行为刻画线性分配律。
• 引入基于严格范畴化斜格的第二种刻画，将代数结构与序理论性质相联系。
• 应用等式推理与Prover9验证恒等式，尤其针对上、下对称斜格。
• 利用吸收与正则性恒等式（例如，x ∨ (y ∧ z) ∧ x = (x ∨ y ∧ x) ∨ (x ∨ z ∧ x)）推导分配律。
• 分析子代数与嵌入，以区分相对分配律、线性分配律与完全分配律。
• 证明双条件分配律蕴含相对分配律，且二者均构成种类。

实验结果

研究问题

• RQ1 在斜格中，恒等式 x ∧ (y ∨ z) ∧ x = (x ∧ y ∧ x) ∨ (x ∧ z ∧ x) 在何种条件下成立？
• RQ2 𝒟-类上的自然偏序如何与斜格中的线性分配律相关？
• RQ3 线性分配律斜格在范畴结构上由什么特征刻画？
• RQ4 何时一个拟分配律斜格是完全分配律的？
• RQ5 双条件分配律、相对分配律与线性分配律在斜格中存在何种关系？

主要发现

• 斜格中的线性分配律由𝒟-类之间自然偏序的行为所刻画。
• 通过严格范畴化斜格提供了线性分配律的第二种刻画。
• 对称斜格为分配律当且仅当其同时为拟分配律与线性分配律。
• 单一边消去斜格为分配律当且仅当其为线性分配律。
• 双条件分配律斜格与对称线性分配律斜格为相对分配律，且构成种类。
• 相对分配律严格强于线性分配律，双条件分配律严格强于相对分配律。