[論文レビュー] Further Functorial Properties of the Reticulation

Claudia Mureșan|arXiv (Cornell University)|Feb 13, 2009

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

ひとこと要約

この論文は、リティキュレーション関手が、再結合的ラティスにおける部分代数、有限直積、帰納的極限、およびブール的べきを保存することを確立する。また、再結合的ラティスがストーン（resp. 強くストーン、m-ストーン）であるための必要十分条件が、そのリティキュレーションがストーン（resp. 強くストーン、m-ストーン）であることであることを証明し、再結合的ラティスと有界分配的ラティスの間で性質を移転可能にする。

ABSTRACT

In this article we prove a set of preservation properties of the reticulation functor for residuated lattices (for instance preservation of subalgebras, finite direct products, inductive limits, Boolean powers) and we transfer certain properties between bounded distributive lattices and residuated lattices through the reticulation, focusing on Stone, strongly Stone and m-Stone algebras.

研究の動機と目的

• リティキュレーション関手の再結合的ラティスにおける構造的保存のより深い理解を図ること。
• リティキュレーションを通じて有界分配的ラティスと再結合的ラティスの間の橋渡しをし、代数的性質を移転すること。
• リティキュレーションを用いて再結合的ラティスにおけるストーン、強くストーン、m-ストーン性を特徴付けること。
• 擬補完ラティスの特徴付けを再結合的ラティスへ拡張する際の制限を明確にすること。
• 普遍代数学におけるカテゴリカル同型性の今後の研究の基盤をリティキュレーションを通じて提供すること。

提案手法

• 再結合的ラティス A から有界分配的ラティス L(A) へのリティキュレーション関手 λ: A → L(A) を用い、代数的構造を保存する。
• λ が部分代数を保存することを示すため、λ による部分代数の像が L(A) の部分代数であることを証明する。
• λ が有限直積を保存することを確認するため、λ(A × B) ≅ L(A) × L(B) が成り立つことを検証する。
• λ が余極限構成と可換であることを示し、λ が帰納的極限を保存することを示す。
• A と L(A) の共 annihilator 濃度のブール代数の同型を用い、性質の移転を実現する。
• |X| ≤ m のとき、m-ストーンラティスの特徴付けである恒等式 X⊤ ∨ X⊤⊤ = A を用い、再結合的ラティスにおける対応する結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 リティキュレーション関手は、再結合的ラティスの圏において部分代数と有限直積を保存するか？
• RQ2 リティキュレーション関手は、再結合的ラティスにおいて帰納的極限とブール的べきを保存するか？
• RQ3 再結合的ラティス A がストーン（resp. 強くストーン、m-ストーン）であるための必要十分条件は何か？ そのリティキュレーション L(A) がストーン（resp. 強くストーン、m-ストーン）であることである。
• RQ4 擬補完性やストーン恒等式などの性質は、再結合的ラティスとそのリティキュレーションの間でどのように移転するか？
• RQ5 ストーン擬補完ラティスの特徴付けを再結合的ラティスの文脈に拡張する際、どのような制限があるか？

主な発見

• リティキュレーション関手は、再結合的ラティスの圏において、部分代数、有限直積、帰納的極限、およびブール的べきを保存する。
• 再結合的ラティス A が m-ストーンであることと、そのリティキュレーション L(A) が m-ストーンであることは同値であり、|X| ≤ m のとき恒等式 X⊤ ∨ X⊤⊤ = A と λ(X)⊤ ∨ λ(X)⊤⊤ = L(A) の同値性によって示される。
• 再結合的ラティス A の共 annihilator 濃度のブール代数は、そのリティキュレーション L(A) のそれと同型であり、濃度論的性質の移転が可能になる。
• 再結合的ラティスは、恒等式 ¬a ∨ ¬¬a = 1 を満たさない場合でもストーン的であることがある。これは、擬補完分配的ラティスにおける標準的特徴付けが再結合的ラティスへは拡張されないことを示している。
• ストーン再結合的ラティスのリティキュレーションは自身ストーン的であるが、逆は一般には成り立たない。特に恒等式 ¬a ∨ ¬¬a = 1 はリティキュレーションによって保存されない。