[论文解读] Geometric Semigroup Theory

Jon McCammond, John Rhodes+1 more|arXiv (Cornell University)|Apr 12, 2011

semigroups and automata theory参考文献 23被引用 9

一句话总结

本文通过将有限半群的自动机扩展为类似于自由Burnside半群右Cayley图的形式，提出了一种几何方法，从而简化了拓扑与几何分析。关键贡献在于一种有限扩展（McCammond $M^c$-扩展），该扩展在保持代数结构的同时，赋予自动机类似分形的、规则的几何特性，从而促进了对半群中词问题与正则语言的研究。

ABSTRACT

Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show how a number of easily-defined expansions on finite semigroups and automata lead to simplifications of the graphs on which the corresponding finite semigroups act. We show in particular that every finite semigroup can be finitely expanded so that the expansion acts on a labeled directed graph which resembles the right Cayley graph of a free Burnside semigroup in many respects.

研究动机与目标

• 开发一种利用自动机拓扑与几何分析有限生成半群的几何框架。
• 将研究Burnside半群时所用的几何技术推广至任意有限半群。
• 构造任意有限半群的有限扩展，使得其在标记有向图上的作用模仿自由Burnside半群右Cayley图的几何特性。
• 在扩展的自动机上建立代数秩函数与几何秩函数之间的对应关系，以实现一致的稳定性分析。

提出的方法

• 利用McCammond覆盖构造，将给定的有限自动机转换为更具结构化、几何规则的形式。
• 对有限半群应用$M^c$-扩展，生成一个新的自动机，该自动机在具有分形样、路径结构简化的标记有向图上忠实作用。
• 在扩展的自动机上定义一个尊重原半群中标签代数秩的几何秩函数。
• 使用$\rJ'$-映射与Mal’cev扩展，以在半群扩展过程中保持并分析$\rJ$-序结构。
• 利用唯一简单路径性质与环路路径（lp）构造，确保按其代数秩对环路标签进行拓扑排序。
• 借助根图的基本幺半群，分析扩展自动机中稳定子结构与幂等元链。

实验结果

研究问题

• RQ1 是否每个有限半群都能被有限扩展，使其在标记有向图上的作用类似于自由Burnside半群右Cayley图的几何结构？
• RQ2 $\rJ'$-映射与Mal’cev扩展在半群扩展过程中如何保持或变换代数秩函数？
• RQ3 扩展自动机上的几何秩函数与原半群中元素的代数秩之间存在何种关系？
• RQ4 McCammond扩展在多大程度上能简化有限半群中词问题与正则语言的分析？
• RQ5 扩展自动机中环路与稳定子的结构在多大程度上反映了原半群的$\rJ$-序与幂等元链结构？

主要发现

• 每个有限$A$-半群都存在一个有限$M^c$-扩展，其在标记有向图上的作用忠实，并具有类似于自由Burnside半群$\mathcal{B}(m,n)$（$m \geq 6$）右Cayley图的几何特性。
• $M^c$-扩展保持了原半群的$\rJ$-序结构，确保扩展图的基本幺半群反映了原半群的正规$\rJ$-类。
• 扩展自动机上的几何秩函数与代数秩函数相容：若$\mathsf{Rank}_S(y) < \mathsf{Rank}_S(z)$，则对应粗箭头的几何秩满足$r(e) < r(f)$。
• 对于任意满射$\rJ'$-映射$\varphi: S \to T$，代数秩被保持：对所有$s \in S$，有$\mathsf{Rank}_S(s) = \mathsf{Rank}_T(\varphi(s))$。
• 提升引理保证：对任意$t \in T$，存在$s \in S$使得$\varphi(s^\omega) = t^\omega$且$\mathsf{Rank}_S(s) \geq \mathsf{Rank}_T(t)$，从而在满射下确保秩的相容性。
• 有限$\rJ$-上半群的子半群也是$\rJ$-上，且其代数秩由环境半群的秩有上界：对所有$t \in T \subseteq S$，有$\mathsf{Rank}_T(t) \leq \mathsf{Rank}_S(t)$。