[論文レビュー] Proper congruence-preserving extensions of lattices

George Grätzer, Friedrich Wehrung|arXiv (Cornell University)|Jan 25, 2005

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

ひとこと要約

この論文は、1つ以上の要素を持つ任意のラティスが、適切な同値関係を保つ拡張をもつことを証明し、ラティス理論における長年の未解決問題を解決した。著者らは、任意のラティス $L$ を、すべての同値関係を保ちながらより大きなラティスに埋め込むことのできる、新しい構成 $M_3\langle L\rangle$ を導入した。この構成により、同値関係ラティスは同一型でありながら、元の構造は厳密に拡張される。

ABSTRACT

We prove that every lattice with more than one element has a proper congruence-preserving extension.

研究の動機と目的

• 1つ以上の要素を持つ任意のラティスが、適切な同値関係を保つ拡張をもつかどうかという未解決問題を解明すること。
• 分配的ラティスに対して既に知られていた $M_3[D]$ の構成を、任意のラティスへ一般化すること。
• 同値関係を保ちつつ、厳密に拡張される新しいラティス構成 $M_3\langle L\rangle$ を導入し、その性質を分析すること。
• すべてのラティスの変種 ($\mathbf{L}$) が同値関係を保つ拡張性質（CPEP）を満たすことを確立すること。

提案手法

• $L^3$ 内のブール三つ組を、恒等式 $x = (x\vee y)\wedge(x\vee z)$, $y = (y\vee x)\wedge(y\vee z)$, $z = (z\vee x)\wedge(z\vee y)$ を満たす三つ組として定義する。
• $M_3\langle L\rangle$ を $L^3$ 内のすべてのブール三つ組の集合とし、成分ごとの積和演算および結合に関する閉包を備えたものとする。
• $M_3\langle L\rangle$ がラティスであり、埋め込み $x \mapsto \langle x,0,0\rangle$ を通じて $L$ を部分ラティスとして含むことを証明する。
• すべての $L$ 上の同値関係が $M_3\langle L\rangle$ に一意に拡張されることを示し、これが同値関係を保つ拡張であることを保証する。
• $L$ が1つ以上の要素を持つとき、$\langle 1,0,0\rangle \notin \{\langle x,0,0\rangle \mid x \in L\}$ を示すことにより、$M_3\langle L\rangle$ が厳密な拡張であることを確立する。
• ブール三つ組の構造を用いて、$M_3\langle L\rangle$ がモジュラーであるのは $L$ が分配的である場合に限ることを証明し、$L$ が非分配的であれば $M_3\langle L\rangle$ が $N_5$ を部分ラティスとして含むことから、ラティスの型を保つことを示す。

実験結果

リサーチクエスチョン

• RQ1 1つ以上の要素を持つ任意のラティスは、適切な同値関係を保つ拡張をもつのか？
• RQ2 分配的ラティスのための $M_3[D]$ の構成は、任意のラティスへ一般化可能か？
• RQ3 すべてのラティスの変種 ($\mathbf{L}$) は同値関係を保つ拡張性質（CPEP）を満たすのか？
• RQ4 どのような条件下で $M_3\langle L\rangle$ が同値関係をすべて保ちつつ、厳密な拡張となるのか？
• RQ5 モジュラーまたは分配的ラティスなどの他の代数的変種も、CPEP を満たすのか？

主な発見

• 1つ以上の要素を持つ任意のラティス $L$ は、適切な同値関係を保つ拡張 $K$ をもつ。これは、Grätzer と Schmidt が提起した問いに肯定的に答えている。
• $M_3\langle L\rangle$ の構成により、1つ以上の要素を持つ任意のラティス $L$ に対して、適切な同値関係を保つ厳密な拡張ラティスが得られる。
• $L$ の同値関係ラティスは、自然な制限写像によって $M_3\langle L\rangle$ の同値関係ラティスと同一型である。
• $M_3\langle L\rangle$ の構成は、既存の分配的ラティス向け $M_3[D]$ の構成を任意のラティスへ一般化したものである。
• $L$ が非分配的であれば、$M_3\langle L\rangle$ は $N_5$ に同型な部分ラティスを含むため、モジュラーではないが、依然としてラティスの性質を保つ。
• すべてのラティスの変種 ($\mathbf{L}$) は同値関係を保つ拡張性質（CPEP）を満たすが、有限生成の変種（例：$ olinebreak\mathbf{D}$、分配的ラティス）は満たさない。