[论文解读] On disjunctions of equations over finite simple semigroups

Аrtеm N. Shevlyakov|arXiv (Cornell University)|May 24, 2013

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

一句话总结

本文通过其 Rees 矩阵表示，建立了有限单半群成为等式域（即有限代数集的并集仍是代数集）的必要且充分条件。研究证明，具有平凡中心的有限单半群可以是等式域，而任何具有非平凡中心的半群（包括含零元、交换半群或非群同态半群）均不能是等式域，从而解决了半群上代数几何中的一个关键问题。

ABSTRACT

A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. For a finite simple semigroup we find necessary and sufficient conditions to be an equational domain. Moreover, we study semigroups with nontrivial center and prove that any such semigroup is not an equational domain.

研究动机与目标

• 确定有限单半群成为等式域的必要且充分条件。
• 解决是否存在非平凡半群是等式域但不是群的问题。
• 将等式域的已知结果从群推广到半群，特别是聚焦于有限单半群。
• 研究中心在半群中对等式域性质的作用。
• 建立将单位元添加到有限单等式域半群后，等式域性质得以保持的结论。

提出的方法

• 通过 Rees 矩阵半群 $S = (G, \mathbf{P}, \Lambda, I)$ 表示有限单半群，其中 $G$ 是有限群，$\mathbf{P}$ 是 $G$ 上的归一化矩阵。
• 利用半群上由方程组 $t(X) = s(X)$ 定义的代数集结构，其中项为变量与半群元素的乘积。
• 应用等式域的概念，即半群中有限个代数集的并集仍是代数集。
• 通过理想和中心元素构造反例，证明某些析取式不具备代数性。
• 使用交换性论证和元素级计算，当假设某些析取式为代数式时导出矛盾。
• 利用有限群中负指数可替换为正指数的事实，即 $x^{-1} = x^{|G|-1}$，从而将群方程转化为半群方程。

实验结果

研究问题

• RQ1 有限单半群成为等式域的必要且充分条件是什么？
• RQ2 是否存在非平凡半群是等式域但不是群？
• RQ3 非平凡中心的存在如何影响半群的等式域性质？
• RQ4 将单位元添加到有限单等式域半群是否保持其等式域性质？
• RQ5 含零元或交换半群是否可以是等式域？

主要发现

• 有限单半群 $S = (G, \mathbf{P}, \Lambda, I)$ 是等式域当且仅当 $|\Lambda| = |I| = 1$ 或 $G$ 是平凡群且 $|\Lambda| = |I| = 1$，即 $S$ 是群。
• 本文构造了一个非群有限单半群为等式域的显式例子，确认了非平凡非群等式域问题的正解。
• 将单位元添加到有限单等式域半群后，等式域性质得以保持。
• 若存在元素 $a$ 使得对中心元素 $e$ 有 $ae \neq a$，则具有非平凡中心的半群不是等式域。
• 含零元的非平凡半群、交换半群以及非群同态半群均不是等式域。
• 同态半群的核是一个群，若该半群是等式域，则它必须是群（即 $S = Ker(S)$）。