[论文解读] Tense operators on m-symmetric algebras

Aldo V. Figallo, Carlos Gallardo+1 more|arXiv (Cornell University)|Mar 24, 2012

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

一句话总结

本文将 $m$–对称代数通过引入时态算子 $G$ 和 $H$ 推广为时态 $m$–对称代数，作为时态代数的推广。利用 Urquhart 对 Ockham 代数的对偶性以及 Goldblatt 对带运算的有界分配格的对偶性，作者在时态 $m$–对称代数的范畴与 $tms$–空间的范畴之间建立了对偶等价，从而通过对偶空间中的闭 $tms$–子集，完整刻画了其同余格。

ABSTRACT

Here we initiate an investigation of the equational classes of m-symmetric algebras endowed with two tense operators. These varieties is a generalization of tense algebras. Our main interest is the duality theory for these classes of algebras. In order to do this, we require Urquart's duality for Ockham algebras and Goldblatt's duality for bounded distributive lattice with operations. The dualities enable us to describe the lattices of congruences on tense m-symmetric algebras.

研究动机与目标

• 通过在 $m$–对称代数中扩展时态算子 $G$ 和 $H$，推广时态代数。
• 为时态 $m$–对称代数的等式类发展对偶理论。
• 利用拓扑与序理论的对偶结构，描述时态 $m$–对称代数上的同余格。
• 在时态 $m$–对称代数的范畴与 $tms$–空间的范畴之间建立对偶等价。
• 通过对偶 Priestley 空间中的闭 $tms$–子集刻画同余。

提出的方法

• 利用 Urquhart 对 Ockham 代数的对偶性，将 $m$–对称代数表示为带有递减连续映射 $g$ 的 $OP$–空间。
• 应用 Goldblatt 对带运算的有界分配格的对偶性，将对偶性扩展以包含时态算子 $G$ 和 $H$。
• 将 $tms$–空间定义为三元组 $(X, g, R_G, R_H)$，其中 $X$ 是 Priestley 空间，$g$ 是递减连续映射，$R_G$ 和 $R_H$ 是满足特定公理的二元关系。
• 通过反变函子，在时态 $m$–对称代数的范畴（TmS）与 $tms$–空间的范畴（tmS）之间构造对偶等价。
• 将时态 $m$–对称代数上的同余刻画为对偶空间中满足 $tms1$ 和 $tms2$ 公理的闭子集 $Y$。
• 证明时态 $m$–对称代数上的 $tms$–同余格与对偶 $tms$–空间的 $tms$–子集格之间反同构。

实验结果

研究问题

• RQ1 如何在 $m$–对称代数中代数化地扩展时态算子 $G$ 和 $H$，以形成时态代数的推广？
• RQ2 时态 $m$–对称代数的对偶空间结构是什么？时态算子如何与 $m$–对称结构相互作用？
• RQ3 对偶 Priestley 空间的闭子集需满足何种条件，才能对应于时态 $m$–对称代数中的同余？
• RQ4 时态 $m$–对称代数与 $tms$–空间之间的对偶性如何促进其同余格的描述？
• RQ5 在对偶空间的术语下，同余格的精确拓扑与序理论刻画是什么？

主要发现

• 时态 $m$–对称代数的范畴与 $tms$–空间的范畴之间存在对偶等价，为该类代数建立了完整对偶。
• 时态 $m$–对称代数上的同余与对偶 $tms$–空间中满足 $tms1$ 和 $tms2$ 公理的闭子集之间存在双射对应。
• $tms1$ 确保关系 $R_G$ 和 $R_H$ 在对偶空间中保持序结构，并与时态算子兼容。
• $tms2$ 通过要求在对偶空间中 $g^{2m-1}(Y) = Y$，强制实现 $m$–对称条件 $N^{2m}(x) = N^0(x)$。
• 时态 $m$–对称代数上的 $tms$–同余格与对偶 $tms$–空间的 $tms$–子集格之间反同构。
• 该对偶性允许对同余格进行完整的拓扑与序理论描述，推广了已知的时态代数结果。