[論文レビュー] On disjunctions of equations over finite simple semigroups

Аrtеm N. Shevlyakov|arXiv (Cornell University)|May 24, 2013

semigroups and automata theory参考文献 1被引用数 3

ひとこと要約

この論文は、有限単純半群が代数的集合の有限和が代数的であることを意味する等式的領域（equational domain）であるための必要十分条件を、そのリース行列表現を用いて確立している。有限単純半群が自明でない中心を持つ場合、等式的領域にはなり得ないが、中心が自明な半群は等式的領域になり得ることを証明しており、半群上の代数幾何学における重要な問いに答えている。

ABSTRACT

A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. For a finite simple semigroup we find necessary and sufficient conditions to be an equational domain. Moreover, we study semigroups with nontrivial center and prove that any such semigroup is not an equational domain.

研究の動機と目的

• 有限単純半群が等式的領域であるための必要十分条件を特定すること。
• 非自明な半群が群でないにもかかわらず等式的領域である可能性があるかどうかを解明すること。
• 群から半群への既知の等式的領域の結果を、特に有限単純半群に拡張すること。
• 中心が半群における等式的領域性に与える影響を調査すること。
• 有限単純等式的領域半群に単位元を付加しても、等式的領域性が保たれることを確立すること。

提案手法

• 有限単純半群を $S = (G, \mathbf{P}, \Lambda, I)$ の形のリース行列半群として表現する。ここで $G$ は有限群であり、$\mathbf{P}$ は $G$ 上の正規化された行列である。
• 変数と半群の元の積からなる項 $t(X) = s(X)$ の形の式系によって定義される代数的集合の構造を用いる。
• 有限個の代数的集合の和が代数的であるような半群として等式的領域の概念を適用する。
• イデアルと中心的要素を用いて、特定の論理和が代数的でないことを示す反例を構成する。
• 可換性の議論と要素レベルの計算を用いて、ある論理和が代数的であると仮定した場合の矛盾を導出する。
• 有限群では $x^{-1} = x^{|G|-1}$ により負の指数を正の指数に置き換えられることを活用し、群の等式を半群の等式に翻訳可能であることを活用する。

実験結果

リサーチクエスチョン

• RQ1 有限単純半群が等式的領域であるための必要十分条件は何か？
• RQ2 群でない非自明な半群が等式的領域になり得るか？
• RQ3 非自明な中心の存在が、半群における等式的領域性に与える影響は何か？
• RQ4 有限単純等式的領域半群に単位元を付加しても、等式的領域性は保たれるか？
• RQ5 零元をもつ半群や可換半群が等式的領域になり得るか？

主な発見

• 有限単純半群 $S = (G, \mathbf{P}, \Lambda, I)$ が等式的領域であるための必要十分条件は、$|\Lambda| = |I| = 1$ または $G$ が自明でかつ $|\Lambda| = |I| = 1$ である、すなわち $S$ が群であることである。
• 本論文は、群でない有限単純半群が等式的領域である明示的な例を構成し、非自明な非群等式的領域の存在を肯定的に示した。
• 有限単純等式的領域半群に単位元を付加しても、等式的領域性は保たれる。
• 中心的要素 $e$ に対して $ae \neq a$ を満たす要素 $a$ が存在する場合、非自明な中心を持つ任意の半群は等式的領域ではない。
• 零元をもつ非自明な半群、可換半群、非群のホモグラフは等式的領域ではない。
• ホモグラフの核は群であり、もしその半群が等式的領域であれば、それは群でなければならない（すなわち $S = Ker(S)$ でなければならない）。