[論文レビュー] Toroidal and projective commuting and non-commuting graphs

Mojgan Afkhami, Mohammad Farrokhi Derakhshandeh Ghouchan+1 more|arXiv (Cornell University)|Feb 20, 2014

Finite Group Theory Research参考文献 9被引用数 10

ひとこと要約

この論文は、トーラスまたは射影平面に埋め込めるようなすべての有限非アーベル群を分類し、平面性の結果を拡張している。非可換グラフがトーラルまたは射影的であることはなく、すべての非可換グラフは平面的であることが示され、グラフの生成数とクロスキャップ数理論を用いて、可換グラフが平面的、トーラル、または射影的であるような群の構造を完全に特徴付けている。

ABSTRACT

In this paper, all finite groups whose commuting (non-commuting) graphs can be embed on the plane, torus or projective plane are classified.

研究の動機と目的

• 可換グラフが平面的、トーラル、または射影的であるすべての有限非アーベル群を分類すること。
• トーラスまたは射影平面上に埋め込めるような有限非アーベル群の非可換グラフを特定すること。
• 非可換グラフの既知の平面性結果を、より高い生成数およびクロスキャップ面へと拡張すること。
• グラフの生成数およびクロスキャップ数理論を用いて、可換および非可換グラフの埋め込み性質に基づき、群構造を特徴付けること。

提案手法

• 平面性および高生成数埋め込み性を決定するために、クラトフスキーの定理および生成数／クロスキャップ数の公式を適用する。
• 定理1.1および定理1.2を用いて、可換および非可換グラフに埋め込まれた完全グラフおよび完全二部グラフの生成数を制限する。
• 定理1.4によるブロック分解を用いて、部分グラフ成分から生成数を計算する。
• 商群 $\overline{G} = G/Z(G)$ を通じて群構造を分析し、要素の位数および共役類に注目する。
• GAP計算代数システムを用いて、埋め込み制約下での群の位数および構造的制約を検証する。
• 誘導部分グラフが $K_{m,n}$ や $K_n$ と同型である場合の背理法的議論を用いて、高生成数またはクロスキャップ埋め込みを除外する。

実験結果

リサーチクエスチョン

• RQ1 どの有限非アーベル群の可換グラフがトーラスまたは射影平面上に埋め込めるか？
• RQ2 非可換グラフがトーラルまたは射影的であるような有限非アーベル群は存在するか？
• RQ3 可換または非可換グラフの生成数が1またはクロスキャップ数が1である場合に、どのような群論的制約が生じるか？
• RQ4 群のスペクトル $\omega(G)$ および指数 $\exp(G)$ は、可換および非可換グラフの生成数およびクロスキャップ数とどのように関係するか？
• RQ5 平面的非可換グラフの分類を、トーラルおよび射影的埋め込みへと拡張できるか？

主な発見

• トーラルな非可換グラフは存在しない。すべての非可換グラフは平面的であり、非可換グラフが平面的であるのは $S_3$、$D_8$、$Q_8$ のみである。
• 射影的非可換グラフは存在しない。$K_{3,6}$ や $K_{8,8}$ と同型な誘導部分グラフがクロスキャップ制約に反するためである。
• 有限非アーベル群の可換グラフが平面的であるのは、$|G|$ が $2^4 \cdot 3 \cdot 5 \cdot 7$ を割り切り、$|Z(G)| \leq 4$ かつ $\omega(\overline{G}) \subseteq \{1,2,3,4\}$ である場合に限る。
• 可換グラフがトーラルであるためには、$|G| \mid 2^4 \cdot 3 \cdot 5 \cdot 7$ かつ $\omega(\overline{G}) \subseteq \{1,2,3,4\}$ を満たし、さらに要素の位数および中心の大きさに関する追加制約が必要である。
• 可換グラフが射影的であるのは、$|G|$ が $2^4 \cdot 3 \cdot 5 \cdot 7$ を割り切り、$\omega(\overline{G}) \subseteq \{1,2,3\}$ かつ $|Z(G)| \leq 3$ である場合に限る。
• 非可換グラフが平面的である唯一の群は $S_3$、$D_8$、$Q_8$ であり、それらの群は生成数1またはクロスキャップ数1の非平面的非可換グラフをもたない。