[论文解读] Pro-aperiodic monoids via saturated models

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

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

一句话总结

本文提出了一种基于Stone对偶性和饱和模型的新型模型论方法，用于研究自由pro-非周期性幺半群，证明了其元素与伪有限词的初等等价类一一对应。该方法为ω-项的字问题提供了全新的、直观的证明，无需依赖McCammond的正规形式，同时通过ω-饱和模型扩展了关于分解和等分性的结构结果。

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.

研究动机与目标

• 开发一种使用模型论工具的自由pro-非周期性幺半群的新结构理论。
• 提供一种替代且简化的ω-项字问题证明，避免使用McCammond的复杂正规形式。
• 将自由pro-非周期性幺半群的元素表征为有限字母表上伪有限词的初等等价类。
• 通过ω-饱和模型扩展已知的结构结果，如等分性和分解性质。
• 建立模型论饱和性与pro-非周期性幺半群代数结构之间的对应关系。

提出的方法

• 使用Stone对偶性将自由pro-非周期性幺半群的元素识别为一阶可定义语言布尔代数中的超滤子。
• 将元素表示为在带有端点的离散线性序上定义的伪有限词的初等等价类。
• 应用模型论饱和性：聚焦于实现实现所有一致1-型及初等等价意义下分解的ω-饱和模型。
• 证明将ω-饱和词代入ω-饱和词可得到另一个ω-饱和词，从而保持结构性质。
• 使用紧致性定理证明每个A-词的初等等价类中均存在ω-饱和模型。
• 利用k-对应关系和类型等价性，将模型论性质传递到代数分解行为中。

实验结果

研究问题

• RQ1 能否在不依赖McCammond正规形式的前提下解决非周期性幺半群上ω-项的字问题？
• RQ2 如何利用模型论饱和性来表征自由pro-非周期性幺半群的结构？
• RQ3 伪有限词的初等等价性与pro-非周期性幺半群中的代数分解性质之间存在何种关系？
• RQ4 ω-饱和模型在ω-项中是否保持代入和分解下的封闭性？
• RQ5 能否使用模型论方法重新推导出等分性和稳定子关系等结构结果？

主要发现

• 自由pro-非周期性幺半群的元素与有限字母表上伪有限词的初等等价类之间存在双射关系。
• 每个A-词的初等等价类中均包含一个ω-饱和模型，其能实现实现所有一致的1-型和分解。
• 将ω-饱和词代入ω-饱和词可得到另一个ω-饱和词，从而支持归纳性的结构分析。
• 通过该方法可判定ω-项的字问题，且其正确性证明独立于McCammond的恒等式基。
• 利用模型论饱和性和类型实现，恢复了自由pro-非周期性幺半群的等分性性质。
• 本文建立了弱饱和性与一阶逻辑中标准ω-饱和定义之间的模型论等价性。