[論文レビュー] 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 $ の準極である。
• 理想積による双極の特徴づけは、正則超半群におけるこのような部分集合を特定する構成的手段を提供する。
• 半群論的証明を超半群に転用することは、超構造の文脈で結果を導出するための実用的で効果的な戦略である。
• 本稿は、正則性および超半群における構造的挙動を決定づける理想の役割を明確にする基盤的同等性を確立している。