[論文レビュー] 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

ひとこと要約

本稿では、全対称逆半群 $\IS_X$ 及びその双対 $\mathcal{I}^{\ast}_X$ の一般化として、2つの新しい逆半群 ${\mathcal{PI}^{\ast}}_X$ と ${\overline{\mathcal{PI}^{\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$ という2つの新しい逆半群を定義し、$\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$ との構造的比較から、グリーンの関係式やべき等元構造において類似性と相違点が明らかになった。
• 幾何的枠組みにより、一般化された半群の内部的性質とその古典的類似物との系統的比較が可能になった。