[論文レビュー] Coprime graph of subgroups of a group

R. Rajkumar, P. Devi|arXiv (Cornell University)|Oct 1, 2015

Finite Group Theory Research参考文献 5被引用数 4

ひとこと要約

本稿では、有限群 G の部分群の素因数グラフ、すなわち 𝒫(G) を導入する。頂点は真部分群であり、それぞれの辺は互いに素な位数の部分群を結ぶ。このグラフが弱い χ-完璧であることを示し、独立数、クリーク数、彩色数、直径、閉路長を特定する。さらに、𝒫(G) が平面的、二部グラフ、または特定の部分グラフ（K₁,₄ や K₂,₃）を含まないような群を分類し、𝒫(G) がサイクルに同型であることは不可能であることを示す。

ABSTRACT

Let $G$ be a group. We define the coprime graph of subgroups of $G$, denoted by $\mathcal P(G)$, is a graph whose vertex set is the set of all proper subgroups of $G$, and two distinct vertices are adjacent if and only if the order of the corresponding subgroups are coprime. In this paper, we study some connections between algebraic properties of a group and graph theoretic properties of its coprime graph.

研究の動機と目的

• 素因数グラフの定義と研究、ここで頂点は真部分群であり、辺は互いに素な位数の部分群を結ぶ。
• 有限群の代数的性質とその素因数グラフのグラフ的性質との間の関係を調査する。
• 素因数グラフが連結、完全、二部グラフ、平面的、または特定の部分グラフ（K₁,₄ や K₂,₃）を含まないような有限群を分類する。
• 独立数、クリーク数、彩色数、直径、閉路長といった、素因数グラフの主要な不変量を特定する。
• 任意の有限単純グラフ H に対して、ある n が存在して H が 𝒫(ℤₙ) の誘導部分グラフに同型であることを示し、埋め込みにおける普遍性を示す。

提案手法

• 頂点集合を G のすべての真部分群とし、辺集合を位数が互いに素である部分群のペアによって定義する、部分群の素因数グラフ 𝒫(G) を定義する。
• Sylow の定理、有限アーベル群および小位数の非アーベル群の分類、部分群格子解析といった群論的道具を用いる。
• k-部グラフ構造、独立数 α(G)、クリーク数 ω(G)、彩色数 χ(G)、直径、閉路長、平面性といったグラフ論的概念を適用する。
• すべての有限群 G に対して ω(𝒫(G)) = χ(𝒫(G)) が成り立つことを示し、𝒫(G) が弱い χ-完璧であることを証明する。
• p-群、位数 p²q の群、二面体群、交代群などの特定の群族を分析し、𝒫(G) が平面的であるか、禁止部分グラフを含むかを分類する。
• 任意の有限単純グラフ H に対して、ある整数 n が存在し、H が 𝒫(ℤₙ) の誘導部分グラフに同型であることを示す。これは ℤₙ の豊富な部分群構造を用いる。

実験結果

リサーチクエスチョン

• RQ1 どの有限群 G に対して、部分群の素因数グラフ 𝒫(G) が連結、完全、または二部グラフであるか？
• RQ2 G の代数的構造と、𝒫(G) のグラフ的不変量（独立数、クリーク数、彩色数など）との関係は何か？
• RQ3 どの有限群が、平面的、K₂,₃ を含まない、または K₁,₄ を含まない素因数グラフを持つのか？
• RQ4 任意の有限単純グラフ H が、ある n に対して 𝒫(ℤₙ) の誘導部分グラフとして実現可能か？また、その条件は何か？
• RQ5 𝒫(G) がサイクルに同型であることは可能か？もし不可能なら、その理由は何か？

主な発見

• 素因数グラフ 𝒫(G) は弱い χ-完璧であり、すべての有限群 G に対して ω(𝒫(G)) = χ(𝒫(G)) が成り立つ。
• 位数が p₁^α₁⋯pₖ^αₖ である群 G に対して、グラフ 𝒫(G) は k-部グラフであり、それぞれの部は異なる素数で割り切れる位数の部分群に対応する。
• 独立数 α(𝒫(G)) は、互いに素でない位数を持つ部分群の最大数であり、特定の素数冪位数の部分群の数によって上限が与えられる。
• 𝒫(G) が平面的であるのは、G が p-群、Sylow 構造が特定の条件を満たす位数 p²q の群、あるいは D₁₂ や A₄ などの特定の非アーベル群である場合であるが、K₃,₃ や K₂,₃ を部分グラフとして含む場合には非平面的である。
• 𝒫(G) はサイクルに同型であることは不可能であり、構造的および閉路長の議論によって示される。
• 任意の有限単純グラフ H に対して、ある n が存在し、H は 𝒫(ℤₙ) の誘導部分グラフに同型である。これは、素因数グラフ構成が有限単純グラフに対して普遍的であることを示している。