[论文解读] AF inverse monoids and the structure of countable MV-algebras

Mark V. Lawson, Philip Scott|arXiv (Cornell University)|Aug 6, 2014

Advanced Algebra and Logic参考文献 37被引用 7

一句话总结

本文引入了AF反素幺半群——通过布雷泰利图构造——作为布尔代数的非交换推广，表明每个可数MV-代数均可作为此类幺半群的主理想格出现，从而通过反素半群结构对所有可数MV-代数实现坐标化。

ABSTRACT

We define a class of inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to one constructed in this way from such a monoid. We prove that every countable MV-algebra can be so co-ordinatized. The particular inverse monoids needed to establish this result are examples of what we term AF inverse monoids. These are constructed from Bratteli diagrams and arise naturally as direct limits of finite direct products of finite symmetric inverse monoids.

研究动机与目标

• 通过引入一类主理想格可生成MV-代数的反素幺半群，建立可数MV-代数与反素半群之间的结构联系。
• 定义并研究AF反素幺半群，将其作为对称反素幺半群有限积的直极限构造，基于布雷泰利图。
• 证明每个可数MV-代数同构于某个AF反素幺半群的主理想格，从而对所有此类MV-代数实现坐标化。
• 证明交换的AF反素幺半群恰好对应于可数布尔代数，强化其作为非交换类比的角色。
• 通过在幺半群上关联超滤子，将构造与非交换斯通对偶性联系起来，其中广群元素对应于布雷泰利图中尾等价路径。

提出的方法

• 利用布雷泰利图将AF反素幺半群构造为有限对称反素幺群的直极限，其中顶点表示层级，边定义态射。
• 在反素幺半群的元素上定义权重函数以追踪结构深度，通过边连接操作在层级间实现保权重映射。
• 利用反素幺半群的同质正交完备化构造一个分配性反素幺半群，其主理想形成一个格。
• 在每个层级上，通过模拟层级间边连接的限制映射，建立从幺半群到其局部子幺半群的同态。
• 应用非交换斯通对偶性，为幺半群关联一个豪斯多夫的拓扑广群，其广群元素被识别为从同一源点到根的三元路径组。
• 证明幺半群上的同余关系≡由权重减少映射εp所诱导的等价关系生成，且该同余关系由这些识别关系生成。

实验结果

研究问题

• RQ1 每个可数MV-代数是否都能实现为某个反素幺半群的主理想格？
• RQ2 哪一类反素幺半群可使其主理想格构成MV-代数？
• RQ3 布雷泰利图与对称反素幺群的直极限构造如何产生布尔代数的非交换推广？
• RQ4 在非交换斯通对偶性下，反素幺半群结构的广群理论解释是什么？
• RQ5 权重函数与映射εp如何编码反素幺半群及其主理想的结构？

主要发现

• 每个可数MV-代数同构于某个AF反素幺半群的主理想格，证明了所有可数MV-代数均可通过此构造实现坐标化。
• 与[0,1]中二进制有理数的MV-代数相关联的AF反素幺半群是CAR代数的离散版本，提供了具体的实现。
• 交换的AF反素幺半群恰好是可数布尔代数，确认了其作为布尔代数非交换推广的角色。
• 与AF反素幺半群相关联的广群同构于底层布雷泰利图的尾等价广群，将代数结构与拓扑动力系统联系起来。
• 幺半群上的同余≡由映射εp诱导的识别关系生成，且在布尔反素幺半群上平凡，但在同质完备化中跨层级非平凡。
• 映射η: S → e₁De₁诱导出一个严格递减的幂等元序列，且限制映射εp: Dp → Dp+1模拟了布雷泰利图中的边连接，保持幺半群结构。