[論文レビュー] Co-Stone residuated lattices

Claudia Mureșan|arXiv (Cornell University)|Jan 2, 2010

Advanced Algebra and Logic被引用数 8

ひとこと要約

本稿では、共ストーン結合的ラティスと呼ばれる構造を導入し、リティキュレーション関手を介して有界分配的ラティスと結合的ラティスの間で性質を転送する方法を確立する。本稿は、結合的ラティスが共ストーン（または強く共ストーン）であることと、そのリティキュレーションが共ストーン（または強く共ストーン）であることの必要十分条件を示し、強く共ストーン包を構成し、それがリティキュレーションのもとで保存されることを示す。これにより、分配的ラティスから結合的ラティスへの共ストーン性質の転送を可能にする圏論的枠組みが提供される。

ABSTRACT

In this paper we present some applications of the reticulation of a residuated lattice, in the form of a transfer of properties between the category of bounded distributive lattices and that of residuated lattices through the reticulation functor. The results we are presenting are related to co-Stone algebras; among other applications, we transfer a known characterization of m-co-Stone bounded distributive lattices to residuated lattices and we prove that the reticulation functor for residuated lattices preserves the strongly co-Stone hull.

研究の動機と目的

• 有界分配的ラティスから結合的ラティスへの共ストーン性質の転送を可能にする圏論的枠組みを、リティキュレーション関手を用いて構築すること。
• 結合的ラティスにおける共ストーンおよび強く共ストーン構造の定義と特徴づけを行い、それらが対応する有界分配的ラティスにおける構造のリティキュレーションと同値であることを示すこと。
• 結合的ラティスの強く共ストーン包を構成し、その普遍性およびリティキュレーションのもとでの保存性を示すこと。
• 文献に見られる代替定義とは異なり、本稿で提示された共ストーン結合的ラティスの定義がリティキュレーションを介して転送可能であることを示すことにより、その定義の妥当性を裏付けること。

提案手法

• 結合的ラティスにリティキュレーション関手を適用することで、それらを有界分配的ラティスに写像し、構造的性質の転送を可能にする。
• 本稿では、双対イデアルの順序集合上の帰納的系と帰納的極限を用いて、リティキュレーションおよびその普遍的性質を構成する。
• 強く共ストーン包は、双対イデアルによってインデックス付けられた商代数の帰納的極限として定義され、標準的商写像と準同型写像が用いられる。
• 強く共ストーン包の保存性の証明は、リティキュレートされた商代数と帰納的極限のリティキュレーションの間の可換図式の検証に依拠する。
• 有限結合的ラティス（例 2.3）における具体例を通じて、商ラティスと成分ごとの演算を用いて包を明示的に計算する。
• リティキュレーションの普遍性と、リティキュレートされた商構造の同型を用いて、結合的ラティスとそのリティキュレーションにおける共ストーン性質の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 結合的ラティスが共ストーンであるための必要十分条件は何か？ そのリティキュレーションが共ストーンであることと同値である条件は？
• RQ2 結合的ラティスの強く共ストーン包はどのように構成できるか？ また、リティキュレーション関手のもとで保存されるか？
• RQ3 本稿で提示された共ストーン結合的ラティスの定義が、文献に見られる代替定義よりも優れている理由は何か？
• RQ4 既知の m-共ストーン有界分配的ラティスの特徴づけは、リティキュレーションを介して結合的ラティスへと転送可能か？

主な発見

• 結合的ラティスが共ストーンであることと、そのリティキュレーションが共ストーンであることの必要十分条件が成立し、この性質について圏論的同値性が確立される。
• 強く共ストーン性質に対しても同様の同値性が成り立つ。つまり、結合的ラティスが強く共ストーンであることと、そのリティキュレーションが強く共ストーンであることの必要十分条件が成立する。
• リティキュレーション関手は強く共ストーン包を保存する。つまり、結合的ラティスの包のリティキュレーションは、そのラティスのリティキュレーションの包と同型である。
• 有限結合的ラティス（例 2.3）における強く共ストーン包の構成が具体例として示され、成分ごとの演算を用いた 9 要素の代数が得られる。
• 本稿で選択した共ストーン結合的ラティスの定義がリティキュレーションを介して転送可能であることが示され、文献に見られる代替定義とは異なり、このような性質を保存しない。