[论文解读] On the structure of two generalizations of the full inverse symmetric semigroup

Ganna Kudryavtseva, Victor Maltcev|arXiv (Cornell University)|Feb 27, 2006

semigroups and automata theory参考文献 6被引用 2

一句话总结

本文引入了两个新的逆半群 ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$，作为全对称逆半群 $\IS_X$ 及其对偶 ${\mathcal{I}^{\ast}}_X$ 的推广。通过元素的几何实现，作者分析了其内部结构，并将其性质与原始半群进行比较，借助视觉与代数框架揭示了结构上的相似性与差异。

ABSTRACT

We introduce two generalisations of the full symmetric inverse semigroup ${\mathcal{I}}_X$ and its dual semigroup ${\mathcal{I}^{\ast}}_X$ -- inverse semigroups ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$. Both of them have the same carrier and contain $\IS_X$. Binary operations on ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$ are reminiscent of the multiplication in ${\mathcal{I}}_X$. We use a convenient geometric way to realise elements from these two semigroups. This enables us to study efficiently their inner properties and to compare them with the corresponding properties of $\IS_X$ and ${\mathcal{I}^{\ast}}_X$.

研究动机与目标

• 将全对称逆半群 $\IS_X$ 及其对偶 ${\mathcal{I}^{\ast}}_X$ 扩展为具有更丰富结构的更广义的逆半群。
• 定义并研究两个新的逆半群 ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$，它们推广了 $\IS_X$ 和 ${\mathcal{I}^{\ast}}_X$，同时保持关键代数性质。
• 开发这些半群中元素的几何表示，以促进其内部结构与关系的分析。

提出的方法

• 引入两个新的逆半群 ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$，其基础载体集与 $\IS_X$ 和 ${\mathcal{I}^{\ast}}_X$ 相同，但二元运算规则被修改。
• 在 ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$ 上定义二元运算，推广 $\IS_X$ 中的乘法规则，同时保持逆半群公理。
• 使用元素的几何实现——可能涉及部分双射或图示表示——来可视化并分析这些半群的结构。
• 利用该几何框架，比较 ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$ 与 $\IS_X$ 和 ${\mathcal{I}^{\ast}}_X$ 的结构特性。
• 通过几何模型分析幂等元、格林关系及其他半群理论不变量。

实验结果

研究问题

• RQ1 ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$ 的结构特性与 $\IS_X$ 和 ${\mathcal{I}^{\ast}}_X$ 相比如何？
• RQ2 几何实现如何在理解广义半群的内部结构中发挥作用？
• RQ3 ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$ 中的二元运算如何推广 $\IS_X$ 中的乘法？
• RQ4 与原始半群相比，新半群中的幂等元和格林关系表现出何种行为？
• RQ5 在推广过程中，哪些关键代数不变量被保持或改变？

主要发现

• ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$ 是逆半群，其真包含 $\IS_X$，且在所定义的二元运算下封闭。
• 几何实现为可视化和分析元素提供了有效工具，从而能够高效研究其代数性质。
• ${\mathcal{PI}^{\ast}}_X$ 和 ${\overline{\mathcal{PI}^{\ast}}}_X$ 中的二元运算推广了 $\IS_X$ 中部分双射的复合规则，同时保持了逆半群结构。
• 与 $\IS_X$ 和 ${\mathcal{I}^{\ast}}_X$ 的结构比较揭示了格林关系和幂等元结构在行为上的相似性与差异性。
• 几何框架使得广义半群与其经典对应物的内在性质得以系统性比较。