[论文解读] On hypersemigroups

Niovi Kehayopulu, Michael Tsingelis|arXiv (Cornell University)|May 4, 2015

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

一句话总结

本文证明了在正则超半群 $ H $ 中，其非空子集 $ B $ 是双理想当且仅当 $ B = A * C $，其中 $ A $ 是 $ H $ 的右理想，$ C $ 是 $ H $ 的左理想。此外，本文进一步证明：$ H $ 是正则的当且仅当其右理想与左理想均为幂等的，且任意右理想 $ A $ 与左理想 $ B $ 的乘积 $ A * B $ 是拟理想，从而通过基于半群的推理迁移，为超半群结构提供了基础性洞见。

ABSTRACT

We prove that a nonempty subset $B$ of a regular hypersemigroup $H$ is a bi-ideal of $H$ if and only if it is represented in the form $B=A*C$ where $A$ is a right ideal and $C$ a left ideal of $H$. We also show that an hypersemigroup $H$ is regular if and only if the right and the left ideals of $H$ are idempotent, and for every right ideal $A$ and every left ideal $B$ of $H$, the product $A*B$ is a quasi-ideal of $H$. Our aim is not just to add a publication on hypersemigroups but, mainly, to publish a paper which serves as an example to show what an hypersemigroup is and give the right information concerning this structure. We never work directly on an hypersemigroup. If we want to get a result on an hypersemigroup, then we have to prove it first for a semigroup and transfer its proof to hypersemigroup. But there is further interesting information concerning this structure as well, we will deal with at another time.

研究动机与目标

• 阐明双理想在超半群中的结构定义及其作用。
• 利用理想理论性质，建立超半群正则性的必要与充分条件。
• 展示半群理论中的结果如何被系统性地改编并迁移至超半群。
• 为该领域的新手研究人员提供超半群的教育性与示范性示例。
• 为未来深入探索超半群的更深层次结构性质奠定基础。

提出的方法

• 理想分解的使用：在正则超半群中，将双理想表示为 $ A * C $ 的形式，其中 $ A $ 是右理想，$ C $ 是左理想。
• 半群理论证明的适配：将适用于半群的结果翻译至超半群设定。
• 拟理想概念的应用：研究右理想 $ A $ 与左理想 $ B $ 的乘积 $ A * B $。
• 利用代数闭包与超运算性质，验证超半群中理想的行为。
• 基于右理想与左理想幂等性的等价条件，建立正则性的判定。
• 在正则超半群背景下，正式证明通过理想积表征双理想。

实验结果

研究问题

• RQ1 在正则超半群 $ H $ 中，其子集 $ B $ 何时是双理想？
• RQ2 右理想与左理想的哪些条件可推出超半群 $ H $ 的正则性？
• RQ3 如何系统性地将半群理论中的结果迁移至超半群？
• RQ4 在超半群中，右理想 $ A $ 与左理想 $ B $ 的乘积 $ A * B $ 何时是拟理想？
• RQ5 以理想格的结构性质而言，哪些特征可定义一个超半群为正则？

主要发现

• 在正则超半群 $ H $ 中，其非空子集 $ B $ 是双理想当且仅当其可表示为 $ B = A * C $，其中 $ A $ 是 $ H $ 的右理想，$ C $ 是 $ H $ 的左理想。
• 超半群 $ H $ 是正则的当且仅当其所有右理想与左理想均为幂等的。
• 在正则超半群 $ H $ 中，对任意右理想 $ A $ 与左理想 $ B $，其乘积 $ A * B $ 是 $ H $ 的拟理想。
• 通过理想积表征双理想的方法，为在正则超半群中识别此类子集提供了构造性手段。
• 将半群理论证明迁移至超半群是推导超代数结构中结果的可行且有效策略。
• 本文建立了基础性等价关系，阐明了理想在决定超半群正则性与结构行为中的作用。