[論文レビュー] Right-topological semigroup operations on inclusion hyperspaces

Volodymyr Gavrylkiv|arXiv (Cornell University)|Feb 13, 2008

Fuzzy and Soft Set Theory参考文献 4被引用数 19

ひとこと要約

この論文は、離散的半群 $X$ 上の包含超空間の空間 $G(X)$ における右位相的半群構造へ、離散的半群演算を拡張する。$G(X)$ が $\beta X$ を閉部分半群として含むコンパクト Hausdorff 右位相的半群になると証明する。主な貢献は、$n \leq 3$ の $G(\mathbb{Z}_n)$ の構造的解析であり、最小イデアル、中心、および横断的半群の同定を含む。特に $G(\mathbb{Z}_2)$ と $G(\mathbb{Z}_3)$ は、ケイリー表と軌道分解により完全に記述されている。

ABSTRACT

We show that for any discrete semigroup $X$ the semigroup operation can be extended to a right-topological semigroup operation on the space $G(X)$ of inclusion hyperspaces on $X$. We detect some important subsemigroups of $G(X)$, study the minimal ideal, the (topological) center, left cancelable elements of $G(X)$, and describe the structure of the semigroups $G(\IZ_n)$ for small numbers $n$.

研究の動機と目的

• 離散的半群 $X$ 上の包含超空間の空間 $G(X)$ における右位相的半群構造への離散的半群演算の拡張を目的とする。
• 代数的および位相的性質 $G(X)$ の研究、特に最小イデアル、位相的中心、および左可消去元の性質を含む。
• 有限群 $H$ に対して $G(H)$ の構造を特定すること、特に小さな $n$ に対する $\mathbb{Z}_n$ を対象とし、軌道、横断的半群、および分解可能性を分析すること。
• $G(X)$ が $\beta X$、$\lambda X$、$N_k(X)$、および $\mathrm{Fil}(X)$ などの重要な部分半群を含むことを示し、$G(X)$ のラティス構造との関係を調査すること。

提案手法

• 離散的集合 $X$ 上の包含超空間の空間 $G(X)$ を定義し、$X$ の開集合 $U$ に対して $U^+$ および $U^-$ を生成する基本開集合を備えた位相を備える。
• 左および右の平行移動の連続拡張を用いて、$X$ 上の半群演算 $*$ を $G(X)$ へ拡張し、積演算の右連続性を保証する。
• 交わり $\wedge$ および和 $\vee$ を用いる $G(X)$ のラティス構造（演算）を用いて、べき等元、零元、イデアルなどの代数的性質を分析する。
• $G(H)$ が分解可能である場合に、商写像 $\pi: G(H) \to G(H)/H$ のセクションを用いて $G(H)$ の横断的半群 $T(H)$ を構成し、$G(H)$ と $T(H) \times H$ の間の半群準同型を関係付ける。
• 構造理論を適用して $G(\mathbb{Z}_2)$ および $G(\mathbb{Z}_3)$ を明示的に計算し、それぞれ 4 個および 18 個の要素を列挙し、群作用による軌道に分解する。
• ケイリー表を用いて横断的半群における乗法を記述し、特に $G(\mathbb{Z}_3)$ において単位元、右零元、およびべき等元を同定する。

実験結果

リサーチクエスチョン

• RQ1 離散的半群 $X$ 上の半群演算は、$X$ 上の包含超空間の空間 $G(X)$ における右位相的半群演算へ拡張可能か？
• RQ2 $G(X)$ の最小イデアル、位相的中心、および左可消去元は何か？それらは $X$ のラティス構造および群構造とどのように関係するか？
• RQ3 どの有限群 $H$ に対して半群 $G(H)$ は分解可能であり、その横断的半群の構造はいかなるものか？
• RQ4 $\mathbb{Z}_2$ および $\mathbb{Z}_3$ の包含超空間は、群作用による軌道にどのように分解され、その代数的性質は何か？
• RQ5 $n \leq 3$ に対して $G(\mathbb{Z}_n)$ の完全な代数的および位相的構造は何か？特に単位元、べき等元、および右零元の同定を含む。

主な発見

• 任意の離散的半群 $X$ に対して、半群演算は $G(X)$ における右位相的半群演算へ一意に拡張可能であり、$G(X)$ は $\beta X$ を閉部分半群として含むコンパクト Hausdorff 右位相的半群となる。
• $G(\mathbb{Z}_2)$ には正確に 4 個の包含超空間が存在する：$e$、$a$、$e \wedge a$、および $e \vee a$。これらは 2 個の右零元と 1 個の単位元を持つ横断的半群を形成する。
• $G(\mathbb{Z}_3)$ には 18 個の包含超空間が存在し、$\mathbb{Z}_3$-作用による 8 個の軌道に分解される。3 個のシフト不変右零元が存在する：$e \wedge a \wedge a^{-1}$、$e \vee a \vee a^{-1}$、および $(e \vee a) \wedge (e \vee a^{-1}) \wedge (a \vee a^{-1})$。
• 横断的半群 $T(\mathbb{Z}_3)$ は $G(\mathbb{Z}_3)/\mathbb{Z}_3$ に同型であり、7 要素の線形順序部分半群を含み、すべての 49 個の積を記述するケイリー表により完全に記述されている。
• 半群 $G(\mathbb{Z}_3)$ には 3 個のべき等元が存在する：$e$、$e \vee (a \wedge a^{-1})$、および $e \wedge (a \vee a^{-1})$。ここで $e$ は乗法的単位元として機能する。
• $n \leq 3$ に対して半群 $G(\mathbb{Z}_n)$ は分解可能であるが、$n = 5$ に対しては分解不可能である。これは $\lambda(\mathbb{Z}_5)$ の非分解可能性により確立され、$n = 5$ で構造的相転移が生じることを示唆している。