[論文レビュー] Congruences of fork extensions of lattices

George Grätzer|arXiv (Cornell University)|Jul 31, 2013

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

ひとこと要約

この論文は、スリムで平面的かつ半モジュラーなラティスのフォーク拡張における合同関係を調査し、$L[S]$ を導入する。これは、$L$ のすべての合同関係を保存するか、ちょうど1つの新しい結合的不可約合同関係 $\bgg(S)$ を追加する。主な結果は、$L[S]$ が合同関係拡張性を満たし、合同関係を保存するか、唯一の新しい合同関係を追加することを示している。この新しい合同関係は完全に特徴づけられている。

ABSTRACT

For a slim, planar, semimodular lattice $L$ and covering square $S$, G. Cz\'edli and E.\,T. Schmidt introduced the fork extension $L[S]$. We are going to investigate the congruences of $L[S]$. We prove that a fork extension has the Congruence Extension Property: every congruence of the lattice $L$ extends to $L[S]$. We prove that either $L[S]$ is a congruence-preserving extension of $L$ or it has exactly one new join-irreducible congruence $\bgg(S)$. We are going to examine in detail this congruence.

研究の動機と目的

• スリムで平面的かつ半モジュラーなラティス $L$ のフォーク拡張 $L[S]$ における合同関係の構造を分析すること。
• ラティス $L$ の合同関係が $L[S]$ に拡張可能かどうかを特定し、その条件を同定すること。
• $L$ の合同関係を超えて $L[S]$ に導入される可能性のある新しい合同関係を分類すること。
• 合同関係の保存が失敗した場合に生じる一意の結合的不可約合同関係 $\bgg(S)$ を特徴づけること。

提案手法

• Czédli と Schmidt が定義した、スリムで平面的かつ半モジュラーなラティス $L$ の被覆正方形 $S$ に対するフォーク拡張 $L[S]$ の構成を利用する。
• 結合的不可約元の性質および $L[S]$ 内の結合的不可約合同関係を通じて、ラティスの合同関係構造を分析する。
• すべての $L$ の合同関係が $L[S]$ に拡張されることを示すことにより、合同関係拡張性を確立する。
• 被覆正方形および結合的不可約性に関するラティス理論的議論を用いて、$L[S]$ が $L$ の合同関係を保存するか、ちょうど1つの新しい結合的不可約合同関係 $\bgg(S)$ を追加するかのいずれかであることを証明する。
• $L[S]$ の合同関係ラティスにおける $\bgg(S)$ の役割と一意性を明らかにするために、$\bgg(S)$ の詳細な構造を検討する。

実験結果

リサーチクエスチョン

• RQ1 スリムで平面的かつ半モジュラーなラティス $L$ のすべての合同関係は、そのフォーク拡張 $L[S]$ に拡張可能か？
• RQ2 $L[S]$ が $L$ のすべての合同関係を保存するのはどのような条件下か？
• RQ3 $L$ の合同関係を超えて $L[S]$ に導入される新しい合同関係の性質と構造は何か？
• RQ4 合同関係の保存が失敗した場合、$L[S]$ に一意の新しい結合的不可約合同関係が存在するか？ その特徴は何か？

主な発見

• フォーク拡張 $L[S]$ は、合同関係拡張性を満たす：$L$ のすべての合同関係が $L[S]$ に拡張可能である。
• $L[S]$ は $L$ の合同関係を保存する拡張であるか、ちょうど1つの新しい結合的不可約合同関係 $\bgg(S)$ を追加する。
• 合同関係の保存が失敗した場合、$\bgg(S)$ は $L[S]$ における唯一の新しい結合的不可約合同関係であり、本論文で完全に特徴づけられている。
• $\bgg(S)$ の存在と一意性は、$L[S]$ 内の被覆正方形および結合的不可約元のラティス理論的分析を通じて確立された。
• 本論文は、$L[S]$ の合同関係を完全に分類しており、合同関係保存の唯一の可能性として $\bgg(S)$ の追加が存在することを示している。