[论文解读] Locally Finite Quasivarieties of MV-algebras

Joan Gispert, Antoni Torrens|arXiv (Cornell University)|May 29, 2014

Advanced Algebra and Logic参考文献 5被引用 5

一句话总结

本文通过分析临界 MV-代数，证明了每个局部有限的 MV-代数拟簇都是有限生成且有限公理化的。关键贡献在于将局部有限拟簇表征为 MV-代数中有限生成且有限公理化的子类，且为特定情况提供了显式的有限公理化。

ABSTRACT

In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties.

研究动机与目标

• 确定局部有限的 MV-代数拟簇是否是有限生成且有限公理化的。
• 表征临界 MV-代数，并证明它们生成所有局部有限的拟簇。
• 为包含在有限 MV-代数生成的种类中的局部有限拟簇类，提供有限公理化。
• 阐明在 MV-代数拟簇背景下，有限生成与有限公理化之间的关系。
• 探讨 $\mathbb{V}(\mathbf{L}_p, \mathbf{L}_q)$ 和 $\mathbb{V}(\mathbf{L}_{p^r})$ 等种类中子拟簇的结构。

提出的方法

• 通过条件 $ (n-1)(\neg x) \approx x \Rightarrow x \approx 1 $ 成立当且仅当 $ \mathbf{L}_n $ 不能嵌入代数，来表征临界 MV-代数。
• 利用 MV-代数与具有强单位的格序阿贝尔群单位区间之间的等价性，分析代数结构。
• 应用拟等式逻辑，通过形如 $ \text{前提} \Rightarrow \text{结论} $ 的蕴含式定义拟簇，特别利用条件 $ (n-1)(\neg x) \approx x \Rightarrow x \approx 1 $ 排除 $ \mathbf{L}_n $。
• 将拟簇构造为 $ \mathbb{Q}(\mathbf{A}_1, \dots, \mathbf{A}_k) $，即包含给定有限 MV-代数的最小拟簇，并证明其对约化积和子结构是封闭的。
• 利用 $ \mathbb{V}(\mathbf{L}_p, \mathbf{L}_q) $ 内部子拟簇的格结构，通过方程与拟等式组合对所有此类类进行分类与公理化。
• 为 $ \mathbb{V}(\mathbf{L}_{p^r}) $ 内部三类子拟簇提供显式有限公理化，使用方程 $ v_{p^m}(x) \approx 1 $、拟等式 $ (p^{n+1}-1)(\neg x) \approx x \Rightarrow x \approx 1 $，以及涉及 $ v_{p^m}(y) \approx 1 $ 的蕴含式。

实验结果

研究问题

• RQ1 所有局部有限的 MV-代数拟簇是否都是有限生成的？
• RQ2 所有局部有限的 MV-代数拟簇是否都是有限公理化的？
• RQ3 临界 MV-代数在生成局部有限拟簇中起什么作用？
• RQ4 能否为 $ \mathbb{V}(\mathbf{L}_p, \mathbf{L}_q) $ 和 $ \mathbb{V}(\mathbf{L}_{p^r}) $ 的子拟簇构造显式的有限公理化？
• RQ5 哪些方程与拟等式条件能完全表征 MV-代数的子拟簇？

主要发现

• 每个局部有限的 MV-代数拟簇都是有限生成的，如定理 2.7 所示，该定理确立了局部有限与有限生成拟簇的重合。
• 每个局部有限的 MV-代数拟簇都是有限公理化的，如定理 2.10 所证明，通过表明此类拟簇由有限条方程与拟等式公理化。
• 临界 MV-代数类由拟等式 $ (n-1)(\neg x) \approx x \Rightarrow x \approx 1 $ 表征，该式成立当且仅当 $ \mathbf{L}_n $ 不能嵌入代数。
• 所有 $ \mathbb{V}(\mathbf{L}_p, \mathbf{L}_q) $ 的子拟簇被分类为格结构，并为每类提供了显式有限公理化。
• 在 $ \mathbb{V}(\mathbf{L}_{p^r}) $ 中，所有子拟簇分为三类：由 $ \mathbf{L}_{p^s} $ 生成的，由 $ \mathbf{L}_{p^n} \times \mathbf{L}_{p^m} $（其中 $ n < m $）生成的，或由包含 $ \mathbf{L}_{p^n} \times \mathbf{L}_{p^m} $ 与 $ \mathbf{L}_{p^s} $（其中 $ n < s < m $）的混合生成元生成的。
• 在 $ \mathbb{V}(\mathbf{L}_{p^r}) $ 中，三类子拟簇中的每一类均由一组有限的方程与拟等式完全公理化，包括 $ v_{p^m}(x) \approx 1 $、$ (p^{n+1}-1)(\neg x) \approx x \Rightarrow x \approx 1 $，以及形如 $ rx \approx 1 \&\ r(\neg x) \approx 1 \Rightarrow v_{p^m}(y) \approx 1 $ 的蕴含式。