[论文解读] Infinite irredundant equational axiomatisability for a finite monoid

Marcel Jackson|arXiv (Cornell University)|Nov 18, 2015

Advanced Algebra and Logic参考文献 17被引用 3

一句话总结

本文构造了一个有限幂零幺半群，其等式理论具有无限非冗余基，从而解决了通用代数中的一个开放问题。通过仔细分析等式中变量出现次数和子词结构，作者证明了某些长等式无法从较短等式推导出，从而确保不存在有限子集可作为完整且非冗余的公理化体系——表明即使对于有限幺半群，无限非冗余等式公理化也是可能的。

ABSTRACT

It is shown that a finite monoid can have an infinite irredundant basis of equations.

研究动机与目标

• 为解决问题1.1，即是否存在一个有限幺半群，其幺半群恒等式具有无限非冗余基。
• 证明在幺半群符号下，即使恒等元具有强大的演绎能力，无限非冗余等式公理化仍然是可能的。
• 构造一个特定的有限幂零幺半群，其等式理论不是有限公理化的，且在任何完整公理化中均无冗余等式。
• 将先前关于半群中无限非冗余基的结果扩展到更具限制性的幺半群环境，其中此类性质预期更为稀少。

提出的方法

• 该构造依赖于对等式中词结构的分析，特别是关注变量出现次数、子词以及恒等元在简化长等式中的作用。
• 通过归纳方式定义一个代换映射 φ，将复杂词简化为更简单形式，同时保持等式推论关系，并追踪变量的位置和出现次数。
• 证明使用了代换的递归归纳构造，以保持诸如变量第一次和第二次出现的相对位置等结构不变量。
• 关键命题（如命题3、命题8）用于限制词中可能的字母序列，确保在给定条件下某些子词模式必然出现。
• 该方法表明，基中长等式无法从较短等式推导出，且任一方程的移除都会导致完备性丧失。
• 该论证确立了所构造幺半群的等式理论不是有限公理化的，且任何完备公理化都必须是无限且非冗余的。

实验结果

研究问题

• RQ1 尽管恒等元具有强大的演绎影响，一个有限幺半群是否仍可能具有无限非冗余的幺半群恒等式基？
• RQ2 一个有限代数是否可能具有不是有限公理化的等式理论，且在任何完备公理化中均无冗余等式？
• RQ3 与半群相比，幺半群中恒等元的存在如何影响无限非冗余公理化可能性？
• RQ4 在有限幺半群中，词和等式中变量出现的哪些结构特性会阻止短等式推导出长等式？
• RQ5 一个有限幺半群若存在无限非冗余等式基，是否意味着其种类具有连续统多个子种类？

主要发现

• 明确构造了一个有限幂零幺半群，其等式理论既无有限公理化，也不存在任何完整基中的冗余等式。
• 证明表明，所构造幺半群的等式理论是无限且非冗余的，即任何完整基中的每个等式在逻辑上都是必要的，无法从其他等式推导出。
• 该证明确立了由于变量出现结构和子词模式的特定性，基中的长等式无法从较短等式推导出。
• 该构造表明，恒等元的存在并不必然破坏无限非冗余公理化的可能性，这与预期相反。
• 该例子属于许多有限公理化的种类，但其自身的等式理论仍为无限且非冗余地公理化。
• 该结果确认了在幺半群符号下，无限非冗余等式公理化是可能的，从而正面解决了问题1.1。