[論文レビュー] Algebra in superextensions of inverse semigroups

Тарас Банах, Volodymyr Gavrylkiv|arXiv (Cornell University)|Sep 6, 2011

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

ひとこと要約

この論文は、超拡張——特に最大連結アップファミリーの半群 $\lambda(X)$、フィルター $\varphi(X)$、連結アップファミリー $N_2(X)$、およびアップファミリー $\upsilon(X)$——が逆半群であるような逆半群 $X$ を特徴づけている。$\lambda(X)$, $\varphi(X)$, $N_2(X)$, $\upsilon(X)$ が逆半群であるための必要十分条件は、$X$ が有限線形半帯 $L_n$ もしくは2元群 $C_2$ に同型であることである。主な結果として、これらの拡張半群を用いた代数的分類により、このような半群を完全に特定している。

ABSTRACT

We find necessary and sufficient conditions on an (inverse) semigroup $X$ under which its semigroups of maximal linked systems $λ(X)$, filters $ϕ(X)$, linked upfamilies $N_2(X)$, and upfamilies $\upsilon(X)$ are inverse.

研究の動機と目的

• 逆半群 $X$ に対して、その超拡張 $\lambda(X)$, $\varphi(X)$, $N_2(X)$, $\upsilon(X)$ が逆半群であるための必要十分条件を同定すること。
• フィルター、連結アップファミリー、最大連結アップファミリー、アップファミリーの半群が逆半群であるようなすべての逆半群 $X$ を分類すること。
• 群や半帯の拡張に関する先行研究を拡張し、逆半群およびクリフォード半群の文脈において、超拡張の代数的構造を特徴づけること。
• 超拡張半群 $\upsilon(X)$ や $N_2(X)$ におけるべき等元の可換性および正則性の性質を分析することで、$X$ の構造を解明すること、特に $X$ に非自明な部分群や非線形構造が存在しないことを示すこと。

提案手法

• 著者たちは、$X$ 上の二項演算をアップファミリーの空間 $\upsilon(X)$ に拡張し、$\mathcal{A} * \mathcal{B} = \big\langle \bigcup_{a\in A} a * B_a : A\in\mathcal{A}, \{B_a\}_{a\in A} \subset \mathcal{B} \big\rangle$ により半群演算を定義している。
• 彼らは、$\beta(X)$, $\lambda(X)$, $\varphi(X)$, $N_2(X)$, $X$ が閉部分空間として含まれるコンパクトハウスドルフ右位相的半群としての $\upsilon(X)$ の構造を分析している。
• この論文では、既知の逆半群およびクリフォード半群の特徴づけ——たとえば、べき等元の可換性や正則性——を適用し、それらの性質が超拡張にどのように拡張されるかを調査している。
• 位相的および代数的技法を用い、特に $\upsilon(X)$ や $N_2(X)$ における非可換なべき等元の同定により、$X$ に非線形的または非自明な群成分が存在しないことを示している。
• 証明は背理法に基づいており、非自明な部分群が存在すると仮定し、可換性を満たさないフィルターとアップファミリーを構成することで、必要な逆半群の公理に反することを示している。
• 特に、逆半群がクリフォード半群であるための必要十分条件（任意の $x$ に対して $xx^{-1} = x^{-1}x$）およびクリフォード半群がべき等元が可換な群の和集合であるという事実を、既知の結果として活用している。

実験結果

リサーチクエスチョン

• RQ1 どの逆半群 $X$ に対して、最大連結アップファミリーの半群 $\lambda(X)$ が逆半群となるか？
• RQ2 どの $X$ に対して、$X$ 上のフィルター半群 $\varphi(X)$ が逆半群となるか？
• RQ3 $X$ にどのような条件が課わられると、連結アップファミリー半群 $N_2(X)$ が逆半群となるか？
• RQ4 どの条件下で、全アップファミリー半群 $\upsilon(X)$ が逆半群となるか？
• RQ5 任意の超拡張 $\lambda(X)$, $\varphi(X)$, $N_2(X)$, $\upsilon(X)$ が逆半群である場合、$X$ の完全な代数的構造は何か？

主な発見

• $\lambda(X)$ が逆半群であるための必要十分条件は、$X$ が有限線形半帯 $L_n$ または2元群 $C_2$ に同型であること。
• $\varphi(X)$ が逆半群であるための必要十分条件は、$X$ が $L_n$ または $C_2$ に同型であることであり、この証明は $\varphi(X)$ におけるべき等元の可換性および非自明な部分群の不在に依拠している。
• $N_2(X)$ が逆半群であるための必要十分条件は、$X$ が $L_n$ または $C_2$ に同型であることであり、非自明な部分群が存在すると $N_2(X)$ におけるべき等元が非可換になることから示されている。
• $\upsilon(X)$ が逆半群であるための必要十分条件は、$X$ が有限線形半帯 $L_n$ に同型であることである。非自明な部分群が存在すると $\upsilon(X)$ におけるべき等元が非可換になるため。
• 論文は、$X$ が $L_1 \sqcup C_2 = \{0,1,-1\}$ に同型である場合、$N_2(X)$ が逆半群でないことを証明しており、非可換なべき等元 $\Delta$ と $\mathcal{F}$ の存在が原因であるため、この構造は分類から除外される。
• 分類は完全である：$\lambda(X)$, $\varphi(X)$, $N_2(X)$, $\upsilon(X)$ のいずれかが逆半群であるような逆半群 $X$ は、$L_n$ または $C_2$ に同型であるものに限る。