[论文解读] For a few elements more: A survey of finite Rees index

Alan J. Cain, Victor Maltcev|arXiv (Cornell University)|Jul 31, 2013

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

一句话总结

本文综述了在半群理论中，有限 Rees 指数扩张与子半群下有限性及几何性质的继承性。研究证明，词超曲面性被有限 Rees 指数子半群继承，而几何超曲面性在有限几何类型的幺半群内被有限 Rees 指数扩张与子半群保持，同时提供了改进的反例并整理了一份全面的已知结果汇总表。

ABSTRACT

This paper makes a comprehensive survey of results relating to finite Rees index for semigroups. In particular, we survey of the state of knowledge on whether various finiteness properties (such as finite generation, finite presentability, automaticity, and hopficity) are inherited by finite Rees index subsemigroups and extensions. We survey other properties that are invariant under passing to finite Rees index subsemigroups and extensions, such as the cofinality and number of ends. We prove some new results: inheritance of word-hyperbolicity by finite Rees index subsemigroups, and inheritance of (geometric) hyperbolicity by finite Rees index extensions and subsemigroups within the class of monoids of finite geometric type. We also give some improved counterexamples. All the results are summarized in a table.

研究动机与目标

• 全面综述半群中有限 Rees 指数扩张与子半群下有限性及结构性质继承性的已知结果。
• 研究关键性质（如有限生成性、有限表现性、自动性与霍普夫性）是否在有限 Rees 指数子半群与扩张中保持。
• 建立新的理论结果，包括词超曲面性被有限 Rees 指数子半群继承，以及在有限几何类型的幺半群中几何超曲面性被有限 Rees 指数扩张保持。
• 改进并优化现有反例，特别是针对全局幂零性与共霍普夫性等性质。
• 编制一份详细的汇总表，系统整理所有已知的继承结果，以供参考与未来研究。

提出的方法

• 作者采用系统综述方法，综合超过 30 篇半群理论中的关键论文，特别聚焦于 Reidemeister–Schreier 类型的重写技术。
• 他们分析 Rees 指数的定义，其中子半群 T 在 S 中的指数为 |S − T| + 1，并据此定义大子半群与小扩张。
• 针对每个性质，他们检验其是否在有限 Rees 指数扩张（S 是 T 的小扩张）或子半群（T 是 S 的大子半群）下保持，使用已知定理与逻辑推导。
• 他们应用重写系统与标准形来证明新结果，特别是针对词超曲面性与几何超曲面性，使用如 abd → ea 和 yab → af 等关系。
• 通过分析标准形与推导路径，构建改进的反例，以说明全局幂零性与共霍普夫性等性质在继承中的不成立。
• 他们整理并验证了一份全面的汇总表，列出所有性质是否被小扩张或大子半群继承，并附上原始证明的参考文献。

实验结果

研究问题

• RQ1 词超曲面性是否在有限 Rees 指数子半群下保持？
• RQ2 几何超曲面性是否在有限几何类型的幺半群中被有限 Rees 指数扩张与子半群保持？
• RQ3 霍普夫性、共霍普夫性与有限 Malcev 表示性等性质是否被有限 Rees 指数子半群或扩张继承？
• RQ4 对于全局幂零性或有限完备重写系统等性质的非继承性，现有反例能否被改进或优化？
• RQ5 诸如理想数量或格林关系等结构性质，在有限 Rees 指数扩张或子半群下是否保持不变？

主要发现

• 词超曲面性被有限 Rees 指数子半群继承，如定理 10.1 所证明。
• 几何超曲面性在有限几何类型幺半群中被有限 Rees 指数扩张与子半群保持，如定理 11.6 所确立。
• 具有有限多个子半群的性质被小扩张与大子半群共同继承，如 Ruškuc 所示。
• 所有左理想均为大子半群的性质不被小扩张继承，如 Ruškuc 的反例所展示。
• 全局幂零性不被大子半群继承，如 Guba、Maltcev、Miasnikov 与 Ruškuc 的工作中的反例所示。
• 自动性与异步自动性的继承性分别在小扩张与大子半群中得到确认，参考了现有定理。