[论文解读] Automaton semigroups: new construction results and examples of non-automaton semigroups

Tara Brough, Alan J. Cain|arXiv (Cornell University)|Jan 6, 2016

semigroups and automata theory参考文献 10被引用 3

一句话总结

该论文证明了有限半群的自由积以及自动机幺半群与有限幺半群的半直积（wreath product）总是自动机半群，解决了关于这些构造下自动机半群是否封闭的开放问题。此外，论文进一步证明了 (N, +) 或 (N₀, +) 的任何非平凡子半群都不是自动机半群，从而首次给出了有限生成、剩余有限且字问题可解但不是自动机半群的示例。

ABSTRACT

This paper studies the class of automaton semigroups from two perspectives: closure under constructions, and examples of semigroups that are not automaton semigroups. We prove that (semigroup) free products of finite semigroups always arise as automaton semigroups, and that the class of automaton monoids is closed under forming wreath products with finite monoids. We also consider closure under certain kinds of Rees matrix constructions, strong semilattices, and small extensions. Finally, we prove that no subsemigroup of $(\mathbb{N}, +)$ arises as an automaton semigroup. (Previously, $(\mathbb{N},+)$ itself was the unique example of a finitely generated residually finite semigroup that was known not to arise as an automaton semigroup.)

研究动机与目标

• 解决自动机半群在自由积和与有限幺半群的半直积下是否封闭的开放问题。
• 研究某些半群构造（如 Rees 矩阵构造、强半格和小扩张）是否保持自动机半群的性质。
• 识别出新的有限生成、剩余有限且字问题可解但不是自动机半群的示例，以填补理论中的长期空白。
• 提出一种通用技术，用于证明某些半群不是自动机半群，特别关注 (N, +) 的子半群。

提出的方法

• 通过状态映射和半直积递归技术，为有限半群的自由积构造自动机实现。
• 通过证明当 S 是自动机幺半群且 T 是有限幺半群时，S ≀ T 可通过递归状态行为嵌入为自动机幺半群，从而证明其在半直积下的封闭性。
• 利用半直积分析检测假设的 (N₀, +) 子半群的自动机实现中可能出现的周期性元素。
• 应用引理 14，该引理指出：若一个状态仅递归到自身和零状态，则其表示一个周期性元素。
• 分析状态幂（如 qₖˡ 和 qₗᵏ）的半直积结构，当假设存在 (N₀, +) 的非平凡子半群的有限自动机时，推导出矛盾。
• 利用 (N, +) 的子半群是有限生成且为大子半群的事实，说明由于自动机实现中的周期性约束，此类半群不可能是自动机半群。

实验结果

研究问题

• RQ1 有限半群的自由积是否总是自动机半群？
• RQ2 自动机幺半群类在与有限幺半群的半直积下是否封闭？
• RQ3 在特定条件下，自动机半群上的 Rees 矩阵构造是否能产生自动机半群？
• RQ4 自动机半群的强半格是否自身也是自动机半群？
• RQ5 自动机半群的小扩张是否必然仍是自动机半群？特别是，一个非自动机半群在添加零元素后是否会变成自动机半群？

主要发现

• 有限半群的自由积总是自动机半群，解决了开放问题，并推广了‘有限群的自由积是自动机群’的结果。
• 自动机幺半群与有限幺半群的半直积总是自动机幺半群，为此前部分结果提供了完整解答。
• (N₀, +) 的任何非平凡子半群——包括 (N, +) 的任何子半群——都不是自动机半群，确立了首个已知的有限生成、剩余有限且字问题可解但不是自动机半群的示例。
• 该证明依赖于表明：任何假设中实现 (N₀, +) 的非平凡子半群的自动机都必须包含一个表示周期性元素的状态，这与这些半群无非平凡周期性元素的事实相矛盾。
• 该结果意味着 (N, +) 的子半群即使在添加零后也无法成为自动机半群，从而排除了关于此类扩张可能为正解的潜在可能性。
• 提出了一种基于半直积和周期性检测的通用技术，作为证明某些半群不是自动机半群的工具，为未来研究提供了类似‘泵送引理’的潜在准则。