[论文解读] Relation identities in implication algebras

Paolo Lipparini|arXiv (Cornell University)|May 7, 2018

Advanced Algebra and Logic被引用 1

一句话总结

本文研究蕴含代数中的关系恒等式，证明尽管蕴含代数满足其他相关恒等式（如 $ R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS $ 和三重分配恒等式 $ \alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta $），恒等式 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 一般并不成立。该结果揭示了此类代数结构中关系闭包性质的微妙局限性。

ABSTRACT

Let $\alpha$, $\beta$, $\gamma, \dots$ $\Theta$, $\Psi, \dots$ $R$, $S$, $T, \dots$ be variables for, respectively, congruences, tolerances and reflexive admissible relations. Let juxtaposition denote intersection. We show that the identity $\alpha( \beta \circ \Theta ) \subseteq \alpha \beta \circ \Theta \circ \alpha \beta$ generally fails in (the set of reflexive and admissible relations on) implication algebras. This is somewhat surprising, since implication algebras not only satisfy $\alpha( \beta \circ \gamma ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta $, which is an identity equivalent to $3$-distributivity, but do satisfy strong related identities such as $R( S \circ T \circ S ) \subseteq R S \circ RT \circ RT \circ RS$.

研究动机与目标

• 研究蕴含代数中关系恒等式 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 的有效性。
• 在蕴含代数满足其他强关系恒等式的情况下，确定该恒等式是否普遍成立。
• 厘清代数结构中反射关系与可接受关系格中有效与无效恒等式之间的界限。

提出的方法

• 作者分析蕴含代数中反射关系与可接受关系（记为 $ \alpha $, $ \beta $, $ \gamma $, $ \Theta $, $ \Psi $, $ R $, $ S $, $ T $）的结构。
• 他们使用代数恒等变形，并以三重分配恒等式 $ \alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta $ 作为参考点。
• 他们将目标恒等式 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 与其他已知恒等式（如 $ R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS $）进行比较，以评估其一致性。
• 他们通过反例推理分析该恒等式失效的原因，表明该结构不支持此特定闭包性质。

实验结果

研究问题

• RQ1 在蕴含代数中，对所有同余关系 $ \alpha $、$ \beta $ 和容许关系 $ \Theta $，恒等式 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 是否成立？
• RQ2 尽管蕴含代数满足相关恒等式（如 $ \alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta $），为何该恒等式仍会失效？
• RQ3 关系闭包性质的不对称性如何解释——为何某些恒等式成立，而此恒等式却不成立？

主要发现

• 在蕴含代数中，恒等式 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 一般不成立。
• 蕴含代数满足三重分配恒等式 $ \alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta $，该恒等式在结构上相似但不等价于失效的恒等式。
• 恒等式 $ R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS $ 在蕴含代数中成立，表明某些关系复合具有良好的行为特性。
• 恒等式 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 的失效令人意外，因为它与已知有效的相关恒等式所暗示的预期相矛盾。