[論文レビュー] 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代数の有限生成かつ有限公理化可能な部分クラスとして正確に特徴づけられることであり、特に有限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})$ のような多様体内の部分準変則的クラスの構造を調査すること。

提案手法

• 臨界MV代数を特徴づけるために、$ (n-1)(\neg x) \approx x \Rightarrow x \approx 1 $ が成り立つのは、$ \mathbf{L}_n $ が代数に埋め込み可能でない場合に限ることを用いる。
• 格順位付きアーベル群に強い単位元を持つ単位区間とMV代数の同値性を用いて代数的構造を分析する。
• 準等式論理を用いて、前提 $\Rightarrow$ 結論の形の含意によって準変則的クラスを定義し、特に $ (n-1)(\neg x) \approx x \Rightarrow x \approx 1 $ の条件を用いて $ \mathbf{L}_n $ を除外する。
• 与えられた有限MV代数 $ \mathbf{A}_1, \dots, \mathbf{A}_k $ を含む最小の準変則的クラス $ \mathbb{Q}(\mathbf{A}_1, \dots, \mathbf{A}_k) $ を構成し、それが縮小積および部分構造に関して閉じていることを示す。
• $\mathbb{V}(\mathbf{L}_p, \mathbf{L}_q)$ 内の部分準変則的クラスのラティス構造を用いて、方程式と準等式の組み合わせによりすべてのクラスを分類・公理化する。
• $\mathbb{V}(\mathbf{L}_{p^r})$ 内の3種類の部分準変則的クラスに対して、明示的な有限公理化を提供する。方程式 $ 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})$ において、すべての部分準変則的クラスは3つのタイプに分類される：$ \mathbf{L}_{p^s} $ によって生成されるもの、$ n < m $ を満たす $ \mathbf{L}_{p^n} \times \mathbf{L}_{p^m} $ によって生成されるもの、および $ n < s < m $ を満たす $ \mathbf{L}_{p^n} \times \mathbf{L}_{p^m} $ と $ \mathbf{L}_{p^s} $ を含む混合生成子によって生成されるもの。
• $\mathbb{V}(\mathbf{L}_{p^r})$ 内の3つのタイプの部分準変則的クラスは、すべて $ 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 $ のような含意を含む有限個の等式と準等式によって完全に公理化可能である。