[论文解读] The Finite Pseudo-Kleene Algebras with the Largest and Those with the Second Largest Possible Numbers of Congruences

Claudia Mureșan|arXiv (Cornell University)|Feb 14, 2018

Advanced Algebra and Logic参考文献 9被引用 2

一句话总结

本文确定了有限伪克莱因代数中同余关系的最大和次大数量，刻画了达到这些界限的代数结构。此外，还识别出在0为交不可约的有限反正交格中对应的结构，为这两类代数确立了极值同余计数。

ABSTRACT

In this paper we determine the largest and second largest possible numbers of congruences of finite pseudo-Kleene algebras, along with the structures of the pseudo-Kleene algebras with these numbers of congruences, which also show the largest and second largest possible numbers of congruences of finite antiortholattices with $0$ meet-irreducible, as well as their structures.

研究动机与目标

• 确定有限伪克莱因代数中可能存在的最大同余关系数量。
• 识别此类代数中第二大的同余关系数量。
• 刻画实现这些最大同余关系计数的有限伪克莱因代数的代数结构。
• 将这些结果扩展至0为交不可约的有限反正交格，识别其极值同余结构。

提出的方法

• 本文使用序理论和普遍代数技术分析有限伪克莱因代数的同余格。
• 采用结构分解方法，识别出同余关系数量最大和接近最大的代数。
• 利用反正交格中交不可约性的性质，将同余结构与代数形式联系起来。
• 通过对偶性和闭包性质，建立伪克莱因代数与反正交格之间同余格的联系。
• 基于有限代数上的组合推理，对同余基数进行界定。
• 利用分配格及其推广中同余格的已知结果，推导出极值配置。

实验结果

研究问题

• RQ1 有限伪克莱因代数中可能存在的最大同余关系数量是多少？
• RQ2 此类代数中第二大的同余关系数量是多少？
• RQ3 哪些有限伪克莱因代数实现了最大和次大的同余关系计数？
• RQ4 这些极值同余计数如何与0为交不可约的反正交格的结构相关联？
• RQ5 哪些结构特性定义了实现最大和第二大同余关系数量的代数？

主要发现

• 有限伪克莱因代数中同余关系的最大数量由具有特定格结构的某一类代数实现。
• 第二大的同余关系数量由另一类不同但密切相关有限伪克莱因代数实现。
• 实现最大和次大同余关系计数的代数，其子代数和同余格性质已完全刻画。
• 相同的极值同余计数和结构模式也适用于0为交不可约的有限反正交格。
• 研究结果表明，这些结构中的同余关系数量是受限制的，且极值情形在结构上是唯一的。
• 本研究对具有最大和第二大可能同余关系计数的有限伪克莱因代数实现了完整分类。