[論文レビュー] A characterization of well-founded algebraic lattices

Ilham Chakir, Maurice Pouzet|ArXiv.org|Dec 12, 2008

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

ひとこと要約

この論文は、代数的ラティスのコンパクト要素における禁止される結合部分半順序集合を同定することによって、well-founded な代数的ラティスを特徴づけている。well-founded な代数的ラティスであるための必要十分条件を示しており、その結合部分半順序集合が $[\rho]^{<\rho}$ や $곋{\rho^*}$ のコピーを含まない、かつコンパクト要素の結合部分半順序集合が well-founded であることを要請する。モジュラーおよび well-quasi-ordered の場合における主要な帰結も提示されている。

ABSTRACT

We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$, the join-semilattice of compact elements of $L$, is well-founded and contains neither $[ω]^{

研究の動機と目的

• 代数的ラティスのコンパクト要素に対する構造的制約を用いて、well-founded な代数的ラティスを特徴づけること。
• 代数的ラティスが well-founded でなくなるのを防ぐ最小の障害、具体的には禁止される結合部分半順序集合を同定すること。
• モジュラーおよび well-quasi-ordered の文脈における well-foundedness の同値条件を確立すること。
• 無限個の独立集合や反鎖が、結合部分半順序集合におけるイデアルの well-foundedness を決定づける役割を明らかにすること。
• well-quasi-ordered poset に関する結果を、イデアル構成を用いてラティス理論的文脈へと拡張すること。

提案手法

• 代数的ラティスと結合部分半順序集合の間の双対性を、$P$ をコンパクト要素の結合部分半順序集合とするときのイデアル構成 $J(P)$ を用いて利用する。
• コンパクト要素およびラティス自体の両方に対して、well-foundedness（$ ho^*$-鎖が存在しないこと）の概念を適用する。
• 禁止される部分構造による特徴づけを採用：$L$ が well-founded であることと、$K(L)$ が $[\rho]^{<\rho}$ および $곋{\rho^*}$ を結合部分半順序集合として含まないこととは同値であることを証明する。
• 既知の独立集合および埋め込みに関する結果を活用：$K(L)$ に無限個の独立集合が存在することは、$[\rho]^{<\rho}$ のコピーの存在に同値である。
• well-founded な poset $Q$ に対して $곋{\rho^*}$ が $I_{<\rho}(Q)$ に埋め込まれることを用いて、必要条件を導出する。
• Ramsey理論的議論および位相的散乱性を用いて、$\rho$-冪集合および $\rho^{<\rho}$ の埋め込みを分析する。

実験結果

リサーチクエスチョン

• RQ1 代数的ラティスのコンパクト要素のどの結合部分半順序集合が、そのラティスが well-founded であるための禁止されるものとなるか？
• RQ2 コンパクト要素における無限個の独立集合は、ラティスの well-foundedness とどのように関係するか？
• RQ3 poset $Q$ がどのような条件下で、イデアルラティス $J(I_{<\rho}(Q))$ が well-founded となるか？
• RQ4 $K(L)$ の well-quasi-orderedness と $L$ の well-foundedness の間にはどのような関係があるか？
• RQ5 join-semilattice $P$ に対して、$J(P)$ の well-foundedness は $P$ の構造的性質のみによって特徴づけられるか？

主な発見

• 代数的ラティス $L$ が well-founded であるための必要十分条件は、$L$ のコンパクト要素の結合部分半順序集合 $K(L)$ が well-founded であり、かつ $[\rho]^{<\rho}$ や $곋{\rho^*}$ と同型な結合部分半順序集合を含まないことである。
• モジュラー代数的ラティスの場合、well-foundedness は $K(L)$ が well-founded であり、かつ無限個の独立集合を含まないことと同値である。
• $K(L)$ が何らかの well-founded poset $Q$ に対して $I_{<\rho}(Q)$ に結合部分半順序集合として埋め込まれるならば、$L$ が well-founded であることと $K(L)$ が well-quasi-ordered であることとは同値である。
• $\rho^{<\rho}$ が $K(L)$ に埋め込まれることと、$J(K(L))$ が well-founded でないこととは同値である。
• $K(L)$ が well-quasi-ordered であるならば、$J(K(L)) = L$ も well-founded であり、この条件は $K(L)$ が $I_{<\rho}(Q)$ に埋め込まれるとき、必要かつ十分である。
• $곋{\rho^*}$ は、任意の well-founded poset $Q$ に対して、$[\rho]^{<\rho}$ や $I_{<\rho}(Q)$ に結合部分半順序集合として埋め込まれない。これは重要な構造的障害である。