[論文レビュー] Pro-aperiodic monoids via saturated models

Samuel J. van Gool, Benjamin Steinberg|arXiv (Cornell University)|Sep 25, 2016

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

ひとこと要約

この論文は、ストーン双対性と飽和モデルを用いた、自由なプロ-非周期的モノイドに対する新しいモデル理論的アプローチを提案する。要素が擬有限語の論理同値類に対応することを示し、マッカモンドの標準形に依存せずにω-項の語問題を明示的かつ透明な形で証明する。さらに、ω-飽和モデルを用いて、因数分解や等除法性に関する構造的結果を拡張する。

ABSTRACT

We apply Stone duality and model theory to study the structure theory of free pro-aperiodic monoids. Stone duality implies that elements of the free pro-aperiodic monoid may be viewed as elementary equivalence classes of pseudofinite words. Model theory provides us with saturated words in each such class, i.e., words in which all possible factorizations are realized. We give several applications of this new approach, including a solution to the word problem for $ω$-terms that avoids using McCammond's normal forms, as well as new proofs and extensions of other structural results concerning free pro-aperiodic monoids.

研究の動機と目的

• モデル理論的道具を用いて、自由なプロ-非周期的モノイドの新しい構造理論を構築すること。
• マッカモンドの複雑な標準形に依存しない、ω-項の語問題の代替的で簡略化された証明を提供すること。
• 自由なプロ-非周期的モノイドの要素を、有限アルファベット上の擬有限語の論理同値類として特徴付けること。
• ω-飽和モデルを用いて、既知の構造的結果（例えば等除法性や因数分解性）を拡張すること。
• モデル理論的飽和とプロ-非周期的モノイドにおける代数的構造との間の対応を確立すること。

提案手法

• ストーン双対性を用いて、自由なプロ-非周期的モノイドの要素を、一階論理で定義可能な言語のブール代数における超フィルターと特定する。
• 離散的な線形順序に端点をもつ構造上での擬有限語の論理同値類として要素を表現する。
• モデル理論的飽和の応用：すべての整合的な1型と因数分解を、論理同値の意味で実現するω-飽和モデルに焦点を当てる。
• ω-飽和語にω-飽和語を代入すると、再びω-飽和語が得られ、構造的性質が保存されることを証明する。
• コンパクト性定理を用いて、A-語の各論理同値類に、ω-飽和モデルが存在することを示す。
• k-対応と型同値性を用いて、モデル理論的性質を代数的因数分解行動へと移す。

実験結果

リサーチクエスチョン

• RQ1 非周期的モノイド上のω-項の語問題は、マッカモンドの標準形に依存せずに解けるか？
• RQ2 モデル理論的飽和は、自由なプロ-非周期的モノイドの構造を特徴付けるのにどのように利用できるか？
• RQ3 擬有限語の論理同値とプロ-非周期的モノイドにおける代数的因数分解性の間にどのような関係があるか？
• RQ4 ω-飽和モデルは、代入および因数分解に関して閉じているか？
• RQ5 等除法性や安定化子関係といった構造的結果は、モデル理論的手法を用いて再導出可能か？

主な発見

• 自由なプロ-非周期的モノイドの要素は、有限アルファベット上の擬有限語の論理同値類と一対一対応する。
• A-語の各論理同値類には、すべての整合的な1型と因数分解を実現するω-飽和モデルが存在する。
• ω-飽和語にω-飽和語を代入すると、再びω-飽和語が得られ、帰納的構造的解析が可能になる。
• この方法により、ω-項の語問題は決定可能であり、マッカモンドの恒等式基底に依存しない正当性証明が可能である。
• モデル理論的飽和と型実現を用いて、自由なプロ-非周期的モノイドの等除法性が回復される。
• 本論文は、一階論理における弱い飽和と標準的なω-飽和の定義との間のモデル理論的同値性を確立する。