[论文解读] 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

一句话总结

本文将关于有理数及其着色变体的变换幺半群和多秩克隆的自动同胚结果扩展至更广范围。通过借鉴先前工作的技术，本文证明了有理数上邻域关系、循环序关系和分离关系（单色及 $C$-着色，其中 $2 \leq |C| \leq \aleph_0$）的嵌入、自同态及多秩克隆的幺半群均具有自动同胚性，其依据为小指标性质与小指标子群的组合刻画。

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.

研究动机与目标

• 将有序有理数的自动同胚结果推广至有理数的子结构，包括邻域关系、循环序关系与分离关系。
• 为 $2 \leq |C| \leq \aleph_0$ 的 $C$-着色有理数，建立其嵌入与自同态幺半群的自动同胚性。
• 验证循环有理序及其着色变体的自同构群的小指标性质。
• 将 [3] 中的方法适配至新结构，确保幺半群与克隆的同构必为同胚映射。
• 将自动同胚性扩展至有理数的自反子结构及其着色对应物的多秩克隆。

提出的方法

• 将 [3] 中的组合引理进行改编，以证明：任何保持自同构群点固定不动的嵌入幺半群的单射自同态必为恒等映射。
• 利用自同构群的小指标性质，推导出嵌入幺半群的自动同胚性。
• 修改变换族 $\Gamma$ 的构造，以在 $C$-着色情形下纳入颜色信息，确保图像具有保色或避色的凸分解性质。
• 证明：在着色结构的自同构群中，小指标子群对应于有限对称着色集的稳定化子，从而保持所需结构。
• 利用自同构群在自同态幺半群中的指标为 2 的事实，将嵌入幺半群的结果转移至自同态幺半群。
• 应用 [3] 中的一般性结果：若幺半群具有自动同胚性，则其多秩克隆亦具有自动同胚性。

实验结果

研究问题

• RQ1 有理数上邻域关系的嵌入幺半群是否具有自动同胚性？
• RQ2 能否为有理数上的循环序及其 $C$-着色变体建立自同构群的小指标性质？
• RQ3 有理数子结构（包括邻域关系、循环序与分离关系）的自同态幺半群是否具有自动同胚性？
• RQ4 自反子结构的 $C$-着色有理数的多秩克隆是否保持自动同胚性？
• RQ5 用于有序有理数的方法能否推广至 $\mathbb{Q}_C$ 的其他子结构，而不仅限于本文研究的三种？

主要发现

• 嵌入幺半群 $\mathrm{Emb}(\mathbb{Q}, \leq)$ 具有自动同胚性，将 [3] 的结果推广至 $\mathbb{Q}$ 的子结构。
• 循环有理序 $({\mathbb{Q}}, \mathrm{circ})$ 的自同构群具有小指标性质，这是推广工作的关键技术结果。
• 对于满足 $2 \leq |C| \leq \aleph_0$ 的 $C$-着色有理数，幺半群 $\mathrm{Emb}(\mathbb{Q}_C, \leq)$、$\mathrm{End}(\mathbb{Q}_C, \leq)$ 及其在 $\mathrm{betw}$、$\mathrm{circ}$ 和 $\mathrm{sep}$ 上的对应物均具有自动同胚性。
• 多秩克隆 $\mathrm{Pol}(\mathbb{Q}_C, \leq)$、$\mathrm{Pol}(\mathbb{Q}_C, \mathrm{betw})$、$\mathrm{Pol}(\mathbb{Q}_C, \mathrm{circ})$ 与 $\mathrm{Pol}(\mathbb{Q}_C, \mathrm{sep})$ 均具有自动同胚性。
• 在子结构的自同构群中，小指标子群对应于有限对称着色集的稳定化子，从而确保在着色情形下小指标性质成立。
• 通过改编 [3] 中的组合引理与群论工具，现将颜色约束纳入 $\Gamma$ 及相关族的构造中，从而确立了所有结果。