[論文レビュー] Simple Graphs and Commutative Zero-Divisor Semigroups

Tongsuo Wu, Li Chen|ArXiv.org|Dec 26, 2005

Rings, Modules, and Algebras参考文献 11被引用数 8

ひとこと要約

本稿は、特定の単純連結グラフに同型である零因子グラフをもつ可換零因子半群の研究を行う。Γₙと呼ばれるグラフのクラスに関して一意性の結果を確立し、完全グラフKₙ（n > 3）に追加の端点を加えたものや、複数の端点をもつ完全二部グラフKₘ,ₙが、いかなる半群の零因子グラフとしても実現不可能であることを証明するとともに、K₃に2つの端点が異なる頂点に接続された場合の零因子半群を完全に特徴づける。

ABSTRACT

In this paper, we study commutative zero-divisor semigroups determined by graphs. We prove a uniqueness theorem for a class of graphs. We show two classes of graphs that have no corresponding semigroups. In particular, any complete graph $K_n$ together with more than three end vertices and any complete bipartite graph together with more than one end vertices have no corresponding semigroups. We also determine all possible zero-divisor semigroups whose zero-divisor graph is the com- plete graph $K_3$ together with two end vertices.

研究の動機と目的

• 可換零因子半群の零因子グラフとして実現可能な単純連結グラフを特定すること。
• 完全グラフや完全二部グラフに端点を追加した場合に、そのグラフに対応する半群が存在しない条件を特定すること、特にそのような構造的変更が実現可能性に与える影響に焦点を当てる。
• Γₙと呼ばれるグラフのクラスに対して一意性定理を証明し、各Γₙが同型を除いてちょうど一つの対応する半群を持つことを示すこと。
• K₃に2つの端点が異なる頂点に接続された零因子グラフと同型であるすべての零因子半群を特徴づけること。
• グラフと半群の対応関係の構造的感度を明らかにし、端点を追加するような小さな構造的変更が実現可能性を破壊する理由を示すこと。

提案手法

• n個の要素からなる集合の冪集合を共通部分で演算とする半群Pₙを構成し、空集合に対応する零元をもつ。
• Pₙの零因子グラフΓₙを定義し、2ⁿ − 2個の頂点、特定の近傍サイズ、対称的性質を示す。
• クリーク数、直径、自己同型群（Sₙ）といったグラフ論的性質を用いてΓₙを特徴づける。
• ラベル付けと同型性の議論を用い、Γ(S) ≅ Γₙを満たす任意の半群SはPₙ − {1}と同型であることを証明する。
• 2つの中心頂点a₁, b₁、2つの独立集合X₁, Y₁、および特定の隣接ルールに従う追加頂点からなる一般化されたグラフ構成Hₘ,ₙを導入する。
• 仮想の半群SについてΓ(S) ≅ Hₘ,ₙであると仮定し、その元の積に関する背理法を用いて、特定の積が零因子の公理に反する結果を導く。

実験結果

リサーチクエスチョン

• RQ1 どの単純連結グラフGに対して、可換零因子半群Sが存在し、Γ(S) ≅ Gとなるか？
• RQ2 完全グラフKₙや完全二部グラフKₘ,ₙに端点を追加した場合、どのような条件下でそのグラフに対応する半群が存在しないか？
• RQ3 K₃に2つの端点が異なる頂点に接続された零因子グラフと同型であるすべての零因子半群の構造は何か？
• RQ4 なぜグラフと半群の対応関係は、端点を追加するような小さな構造的変更に対して極めて感受的なのか？
• RQ5 与えられたグラフに対して一意な半群を対応付けることができるか？そのような一意性が成立する条件は何か？

主な発見

• Pₙ = {x_B | B ⊆ {1,…,n}}と定義される半群Pₙの零因子グラフΓₙは、2ⁿ − 2個の頂点を持ち、自己同型群がSₙである非常に対称的な構造を持つ。
• Γ(S) ≅ Γₙを満たす可換零因子半群Sは、Pₙ − {1}と同型であるため、各n ≥ 3に対して一意な半群が存在する。
• Kₙ（n > 3）に複数の端点（それぞれKₙの異なる頂点に接続）を追加したグラフは、いかなる半群に対しても零因子グラフとして実現不可能である。
• Kₘ,ₙに複数の端点（それぞれKₘ,ₙの異なる頂点に接続）を追加したグラフも、いかなる可換半群に対しても零因子グラフとして実現不可能である。
• 2つの中心頂点a₁, b₁、2つの独立集合X₁, Y₁、および追加の隣接制約を持つHₘ,ₙと呼ばれるグラフは、いかなる可換半群の零因子グラフとしても実現不可能である。
• K₃に2つの端点が異なる頂点に接続されたグラフに対しては、すべての可能な零因子半群が完全に特定され、分類されている。