[論文レビュー] Embeddings of (proper) power graphs of finite groups

Alireza Doostabadi, Mohammad Farrokhi Derakhshandeh Ghouchan|arXiv (Cornell University)|Feb 6, 2014

Finite Group Theory Research参考文献 11被引用数 7

ひとこと要約

この論文は、有限群の（適切な）べきグラフが平面的、外部平面的、リング型、1-平面的、ほぼ平面的、最大平面的、トーラス的、または射影的であるような群を分類する。平面性は群内の要素の位数の集合に依存し、明確な特徴付けがなされている。例えば、適切なべきグラフが平面的であるのは、すべての要素の位数が {1,2,3,4,5,6} に含まれるときであり、全べきグラフが平面的であるのは、位数が {1,2,3,4} に含まれるときである。射影的ケースは、Z₅、D₁₀、およびフェロービウス群を含む6つの特定の群によって完全に特徴付けられている。

ABSTRACT

The (proper) power graph of a group is a graph whose vertex set is the set of all (nontrivial) elements of the group and two distinct vertices are adjacent if one is a power of the other. Various kinds of planarity of (proper) power graphs of groups are discussed.

研究の動機と目的

• （適切な）べきグラフが平面的、外部平面的、リング型、1-平面的、ほぼ平面的、最大平面的、トーラス的、または射影的である有限群をすべて分類すること。
• 有限群 G に対して、その（適切な）べきグラフが特定の曲面に埋め込まれる、または特定のトポロジカルなグラフ的性質を満たすための構造的条件を同定すること。
• （例：K₅、K₃,₃ を含む）禁止部分グラフを避ける、または特定のサイクル構造を有する（適切な）べきグラフを持つ群を特徴付けること。
• （適切な）べきグラフのトポロジカルな埋め込み可能性を決定する、要素の位数の集合 ω(G) に対する明確な条件を確立すること。
• （適切な）べきグラフの射影的埋め込みを解明し、そのような埋め込みが存在する有限群の正確なリストを同定すること。

提案手法

• 平面性を禁止部分グラフ K₅ および K₃,₃ を用いて、カラトフスキーの定理によって特徴付ける。
• 埋め込み可能性を決定する中心的不変量として、要素の位数 ω(G) を用いる。例えば、全べきグラフが平面的であるためには ω(G) ⊆ {1,2,3,4} である。
• サイクルランク、原始的サイクル性質（PCP）、彩色数／スターチャーミング数などのグラフ論的性質を用いて、構造的制約を分析する。
• フェロービウス群の構造、正規化群および中心化群の解析（例：C_G(x) = ⟨x⟩）、および自己同型群作用を用いた群論的道具を活用して、群の構造を制限する。
• 射影平面用の既知の非埋め込み可能グラフのリスト（103個）を用い、特に K₅·K₅ および 2K₅ の部分グラフの存在を検査して非埋め込み可能性をテストする。
• GAP を用いた計算的検証により、特定の部分群構成（例：位数6の巡回部分群が2つある）を持つ群の存在を除外する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群が平面的（適切な）べきグラフを持つのか。その要素の位数にどのような条件が課されるか？
• RQ2 どの有限群が射影的（適切な）べきグラフを持つのか。どのようにして一意に特徴付けられるか？
• RQ3 （適切な）べきグラフが外部平面的、1-平面的、または最大平面的であるための ω(G) に対する必要十分条件は何か？
• RQ4 K₅·K₅ や 2K₆ のような部分グラフの存在が、（適切な）べきグラフの射影平面への埋め込みにどのように影響するか？
• RQ5 （適切な）べきグラフがトーラス的である、または1-平面的埋め込みを有する場合、群 G にどのような構造的制約が生じるか？

主な発見

• 定理2.1により、全べきグラフ P(G) が平面的であるのは、ω(G) ⊆ {1,2,3,4} のときに限る。
• 定理2.2により、適切なべきグラフ P*(G) が平面的であるのは、ω(G) ⊆ {1,2,3,4,5,6} のときに限る。
• 定理4.2により、適切なべきグラフ P*(G) が射影的であるのは、G が Z₇、D₁₄、Z₇⋊Z₃、または Z₇⋊Z₆ に同型であるときである。
• 定理4.1により、全べきグラフ P(G) が射影的であるのは、G が Z₅、Z₆、D₁₀、D₁₂、Z₃⋊Z₄、または Z₅⋊F Z₄ に同型であるときである。
• 要素の位数が {1,2,3,4,5,6} に含まれる群では、適切なべきグラフは、高々1本の辺を共有する完全グラフとフレンドシップグラフの和集合であり、これにより平面的であることが保証される。
• 補題2.3により、平面的（適切な）べきグラフを持つ任意の群に対して、彩色数 χ(P*(G)) とスターチャーミング数 χₛ(P*(G)) が一致する。