[论文解读] Special elements in lattices of semigroup varieties

B. M. Vernikov|arXiv (Cornell University)|Sep 1, 2013

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

一句话总结

本文对格中特殊元素——模、分配、中性及其他元素——在半群种类格中的表现进行了全面综述，特别聚焦于交换与超交换种类。主要贡献在于对超交换半群种类格 $Λ$ 中 $Λ$-中性、$Λ$-标准与 $Λ$-贪婪种类的完全刻画，表明它们彼此等价，并通过种类 $σ_{\lambda}$ 及其有限交集给出精确的结构描述。

ABSTRACT

We survey results concerning special elements of nine types (modular, lower-modular, upper-modular, cancellable, distributive, codistributive, standard, costandard and neutral elements) in the lattice of all semigroup varieties and certain its sublattices, mainly in the lattices of all commutative varieties and of all overcommutative ones. Several open questions are formulated. The work is regularly updated and modified as new results and/or articles appear.

研究动机与目标

• 系统研究并分类格中九类特殊元素——模、可消去、分配、余分配、标准、余标准、中性及上/下模——在半群种类格中的表现。
• 确定特殊元素在子格中的结构，特别是交换种类格 ($\mathbb{COM}$) 与超交换种类格 ($\mathbb{OC}$)。
• 解决关于 $\mathbb{OC}$ 中 $Λ$-模、$Λ$-下模与 $Λ$-上模种类刻画的开放问题，并对剩余类型进行完全刻画。
• 在 $\mathbb{OC}$ 中建立中性、标准或贪婪种类的精确代数描述，将其与基于划分的恒等式联系起来。

提出的方法

• 采用格论中特殊元素（如模、分配、中性）的定义，应用于半群种类格 $\mathbb{SEM}$、$\mathbb{COM}$ 与 $\mathbb{OC}$。
• 使用划分理论：将 $\lambda \in \Lambda_{n,m}$ 定义为将 $n$ 划分为 $m$ 个部分的划分，并通过横截集 $W_{n,m,\lambda}$ 构造相关种类 $\mathbf{S}_{\lambda}$。
• 引入“贪婪”种类的概念：即在它们所约化的横截集中，所有恒等式均被坍塌的种类，该性质被证明等价于多种特殊元素类型。
• 应用先前研究结果（[35], [36], [48], [64]）及结构引理（如命题 2.11、2.12），证明 $\mathbb{OC}$ 中各类特殊元素类型的等价性。
• 利用对偶原理，将上模、余分配与余标准元素与下模、分配与标准元素联系起来。
• 通过格恒等式与遗传性质建立等价链，尤其在超交换种类的背景下。

实验结果

研究问题

• RQ1 哪些超交换半群种类在格 $\mathbb{OC}$ 中是中性的？
• RQ2 在 $\mathbb{OC}$ 中，既是标准又是余标准的种类具有怎样的结构刻画？
• RQ3 在 $\mathbb{OC}$ 中，分配、余分配、可消去与贪婪种类的概念之间有何关联？
• RQ4 能否通过划分词集上的恒等式，完全描述 $\mathbb{OC}$-中性种类的类？
• RQ5 在 $\mathbb{OC}$ 中是否存在模或上模种类？若存在，其结构如何？

主要发现

• 一个超交换半群种类 $\mathbf{V}$ 是 $\mathbb{OC}$-中性，当且仅当它是 $\mathbb{OC}$-标准、$\mathbb{OC}$-余标准、$\mathbb{OC}$-可消去、$\mathbb{OC}$-分配、$\mathbb{OC}$-余分配或 $\mathbb{OC}$-贪婪种类。
• $\mathbf{V}$ 是 $\mathbb{OC}$-贪婪种类，当且仅当它是 $\mathbf{SEM}$ 或某些划分 $\lambda$ 对应的种类 $\mathbf{S}_{\lambda}$ 的有限交集。
• $\mathbf{S}_{\lambda}$ 定义为所有恒等式 $\mathbf{u} \approx \mathbf{v}$ 生成的种类，其中 $\mathbf{u}, \mathbf{v}$ 属于 $W_{n+i,m+i,\lambda^{(i)}}$，对某个 $i \in \{0, 1, \dots, s(\lambda)\}$。
• 通过格论对偶与恒等式链，确立了 $\mathbb{OC}$-中性、$\mathbb{OC}$-标准与 $\mathbb{OC}$-余标准元素之间的等价性。
• 在 $\mathbb{OC}$ 中的结果是精确的：尽管 $\mathbb{OC}$-模、$\mathbb{OC}$-下模与 $\mathbb{OC}$-上模种类仍为开放问题，其余六类已完全刻画。
• 证明依赖于 [35]、[36]、[48] 与 [64] 的深层结构结果，特别是横截集与贪婪性质在恒等式约化中的作用。