[論文レビュー] Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals

J. K. Truss, Edith Vargas-García|arXiv (Cornell University)|Jun 30, 2016

semigroups and automata theory参考文献 7被引用数 4

ひとこと要約

本稿は、有理数およびその色付き変種の再帰的関係の変換モノイドおよび多様写像クローンにおける自動的位相同相性結果を拡張する。先行研究の技術を適応することで、有理数上におけるbetweenness, circular order, separation関係の埋め込み、自己準同型、多様写像クローンのモノイドが、すべて小指数性質および小指数の部分群の組合せ的特徴付けに依拠して、自動的位相同相性を示すことが確立された。

ABSTRACT

We extend results from an earlier paper giving reconstruction results for the endomorphism monoid of the rational numbers under the strict and reflexive relations to the first order reducts of the rationals and the corresponding polymorphism clones. We also give some similar results about the coloured rationals.

研究の動機と目的

• 有理数の順序付き有理数から再帰的関係の有理数への自動的位相同相性結果の拡張、特にbetweenness, circular order, separation関係を含む。
• 2 ≤ |C| ≤ ℵ₀ である C-色付き有理数の埋め込みおよび自己準同型のモノイドにおける自動的位相同相性の確立。
• 円形有理数順序およびその色付き変種の自己同型群における小指数性質の検証。
• 文献[3]の手法を新しい構造に適応し、モノイドおよびクローンの同型写像が必然的に位相同型であることを保証する。
• 有理数の反射的再帰的関係およびその色付き対応物の多様写像クローンへの自動的位相同相性の拡張。

提案手法

• 文献[3]の組合せ的補題を適応し、自己同型群を点ごとに固定する埋め込みモノイドの単射自己準同型は恒等写像であることを示す。
• 自己同型群の小指数性質を用いて、埋め込みモノイドにおける自動的位相同相性を導出する。
• C-色付きの場合に色情報を組み込むために、変換族Γの構成を修正し、色を保存するか、色を避ける画像を持つ凸分解を保証する。
• 色付き構造の自己同型群における小指数の部分群が、対称的に色付けられた有限集合の安定化部分群に対応することを確立し、必要な構造を保持する。
• 自己同型群と自己準同型モノイドの指数が2であるという事実を活用し、埋め込みモノイドから自己準同型モノイドへの結果の転送を行う。
• 文献[3]の一般結果を適用し、モノイドにおける自動的位相同相性が、その多様写像クローンに対しても成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 有理数ℚ上のbetweenness関係の埋め込みモノイドは自動的位相同相性を示すか？
• RQ2 円形有理数順序およびそのC-色付き変種の自己同型群における小指数性質は確立可能か？
• RQ3 有理数の再帰的関係（betweenness, circular order, separationを含む）の自己準同型モノイドは自動的位相同相性を示すか？
• RQ4 C-色付き有理数の反射的再帰的関係の多様写像クローンは自動的位相同相性を保持するか？
• RQ5 文献[3]で用いられた手法は、3つの研究対象を超えてℚ_Cの他の再帰的関係に対しても一般化可能か？

主な発見

• 埋め込みモノイド Emb(ℚ, ≤) は自動的位相同相性を示し、[3]の結果をℚの再帰的関係に拡張した。
• 円形有理数順序(ℚ, circ)の自己同型群は小指数性質を有する。これは、拡張に不可欠な技術的結果である。
• 2 ≤ |C| ≤ ℵ₀ であるC-色付き有理数に対して、モノイド Emb(ℚ_C, ≤)、End(ℚ_C, ≤) および betw, circ, sep に対応するモノイドはすべて自動的位相同相性を示す。
• 多様写像クローン Pol(ℚ_C, ≤)、Pol(ℚ_C, betw)、Pol(ℚ_C, circ)、Pol(ℚ_C, sep) はすべて自動的位相同相性を示す。
• 再帰的関係の自己同型群における小指数の部分群は、対称的に色付けられた有限集合の安定化部分群に対応し、色付き設定においても小指数性質が成立することを保証する。
• 結果は、文献[3]の組合せ的補題および群論的道具を適応することで得られ、Γおよび関連族の構成に色制約を組み込んだ。