[論文レビュー] Algebra in superextensions of groups, I: zeros and commutativity

Тарас Банах, Volodymyr Gavrylkiv+1 more|arXiv (Cornell University)|Feb 13, 2008

semigroups and automata theory参考文献 5被引用数 15

ひとこと要約

この論文は、群 $X$ の超拡張 $λ(X)$ の代数的構造を調査する。$λ(X)$ は群演算を拡張する右位相的半群である。右零元は不変な最大連結系として特徴付けられ、$λ(X)$ が右零元をもつのは、$X$ のすべての元の位数が奇数である場合に限る。$λ(X)$ が可換であるのは $|X| \leq 4$ の場合に限り、零元をもつのは $|X| \leq 5$ でかつ位数が奇数のときである。

ABSTRACT

Given a group $X$ we study the algebraic structure of its superextension $\lambda(X)$. This is a right-topological semigroup consisting of all maximal linked systems on $X$ endowed with the operation $$\mathcal A\circ\mathcal B=\{C\subset X:\{x\in X:x^{-1}C\in\mathcal B\}\in\mathcal A\}$$ that extends the group operation of $X$. We characterize right zeros of $\lambda(X)$ as invariant maximal linked systems on $X$ and prove that $\lambda(X)$ has a right zero if and only if each element of $X$ has odd order. On the other hand, the semigroup $\lambda(X)$ contains a left zero if and only if it contains a zero if and only if $X$ has odd order $|X|\le5$. The semigroup $\lambda(X)$ is commutative if and only if $|X|\le4$. We finish the paper with a complete description of the algebraic structure of the semigroups $\lambda(X)$ for all groups $X$ of cardinality $|X|\le5$.

研究の動機と目的

• 超拡張 $λ(X)$ の代数的性質を分析すること。$λ(X)$ は群 $X$ 上の最大連結系から構成される右位相的半群である。
• $λ(X)$ が右零元、左零元、または可換である条件を特定すること。
• $|X| \leq 5$ であるすべての群 $X$ について、$λ(X)$ の代数的構造を完全に特徴付けること。
• 群論的性質（例：要素の位数、群のサイズ）と $λ(X)$ の半群構造との関係を明確にすること。

提案手法

• $λ(X)$ を $X$ 上のすべての最大連結系の集合として定義し、群演算を拡張する二項演算を備える。
• 演算 $\mathcal{A} \circ \mathcal{B} = \{ C \subset X : \{x \in X : x^{-1}C \in \mathcal{B}\} \in \mathcal{A} \}$ を用いて半群構造を定義する。
• 右零元を、不変な最大連結系、すなわち群の平行移動に関して閉じた最大連結系として特徴付ける。
• 最大連結系と不変性の性質を用いて、$λ(X)$ が右零元をもつのは、$X$ のすべての要素の位数が奇数である場合に限ることを証明する。
• $λ(X)$ が左零元をもつのは、零元をもつときであり、かつそのときのみであり、これは $|X| \leq 5$ かつ $|X|$ が奇数のときに限り成立することを確立する。
• $|X| \leq 5$ であるすべての群について $λ(X)$ を完全に分類し、個々のケースごとにその半群構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 群 $X$ の超拡張 $λ(X)$ が右零元をもつのはいつか？ そのような要素はどのように特徴付けられるか？
• RQ2 $λ(X)$ に零元が存在するのと、$X$ の要素の位数との間にどのような関係があるか？
• RQ3 どの群 $X$ に対して半群 $λ(X)$ が可換になるか？
• RQ4 $λ(X)$ が左零元をもつのはどのような条件下か？ これは零元の存在とどのように関係するか？
• RQ5 $|X| \leq 5$ であるすべての群について、$λ(X)$ の完全な代数的構造は何か？

主な発見

• 半群 $λ(X)$ が右零元をもつのは、$X$ のすべての要素の位数が奇数である場合に限る。
• 半群 $λ(X)$ が左零元をもつのは、零元をもつときであり、かつそのときのみであり、これは $|X| \leq 5$ かつ $|X|$ が奇数のときに限り成立する。
• 半群 $λ(X)$ が可換であるのは、$|X| \leq 4$ の場合に限る。
• $|X| \leq 5$ であるすべての群 $X$ について、本稿では $λ(X)$ の代数的構造を完全に記述しており、零元の有無や性質、可換性を含む。
• 右零元は、不変な最大連結系、すなわち $X$ の要素による左平行移動に関して閉じた最大連結系として特徴付けられる。
• $|X| \leq 5$ の場合の $λ(X)$ の構造は完全に分類されており、群の位数と要素の位数に基づいて、半群の性質を明示的に特定している。