[論文レビュー] A family of graphs that cannot occur as character degree graphs of solvable groups

Mark W. Bissler, Mark L. Lewis+1 more|arXiv (Cornell University)|Jul 10, 2017

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

ひとこと要約

この論文は、いかなる有限可解群の特徴的次数グラフ Δ(G) としても現れない新しいグラフ族を確立する。Pálfyの条件、頂点の許容性、群構造に関する帰納法に基づく技術を用いて、2つの隣接する次数2の頂点が共通の隣接頂点を持たないグラフは、いかなる可解群 G に対しても Δ(G) として現れえないことを証明する。

ABSTRACT

We investigate character degree graphs of solvable groups. In particular, we provide general results that can be used to eliminate which degree graphs can occur as solvable groups. Finally, we show a specific family of graphs cannot occur as a character degree for any solvable group.

研究の動機と目的

• 特定のグラフが可解群の特徴的次数グラフとならない構造的制約を同定すること。
• 頂点の次数と隣接関係に基づいた新しい除外基準を導入することで、特徴的次数グラフに関する既存の結果を拡張すること。
• 2つの隣接する次数2の頂点が共通の隣接頂点を持たないという特徴で特徴づけられる、特定のグラフ族が、いかなる可解群に対しても Δ(G) として現れえないことを証明すること。
• 許容頂点と正規部分群による削減の枠組みを構築し、候補となるグラフを除外するために適用すること。
• Pálfyの条件および[10]と[11]における直径3のグラフに関する結果を統合することで、以前の結果を一般化すること。

提案手法

• 頂点を、その削除（および関連する辺の削除）によって得られる部分グラフが、いかなる可解群の特徴的次数グラフともなりえない場合に、許容的であると定義する。
• 補題2.1を用いて、素数 p が許容的であるならば、O^p(G) = G であることを示し、これにより正規 p-補間が存在しないことを示す。
• 補題2.2を適用して、グラフのすべての頂点が許容的である場合、そのグラフは特徴的次数グラフにはなりえないことを示す。
• 補題2.3を用いて、特定の隣接および非隣接条件の下で、正規Sylow q-部分群が除外されることを示す。
• 正規部分群 H および商群 G/H を用いた帰納法と部分群削減を用いて、可能な特徴的次数集合を分析する。
• 中心的なSylow部分群および直径3のグラフに関する[5]、[9]、[10]の結果を活用し、候補となるグラフが現れた場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、グラフが可解群の特徴的次数グラフとならないのか。
• RQ2 2つの隣接する次数2の頂点と共通の隣接頂点を持たないグラフが、可解群 G に対して Δ(G) として現れうるか。
• RQ3 許容性とPálfyの条件がどのように組み合わさって候補となるグラフを除外するのか。
• RQ4 特徴的次数グラフに強く許容的な頂点が存在する場合、どのような構造的制約が生じるのか。
• RQ5 正規Sylow部分群の不在を用いて、特徴的次数グラフとしてありえないグラフ族全体を除外できるか。

主な発見

• k ≥ 5 個の頂点を持ち、共通の隣接頂点を持たない2つの隣接する次数2の頂点をもち、Pálfyの条件を満たすグラフ族は、いかなる可解群に対しても特徴的次数グラフにはなりえない。
• この証明は、正規部分群による削減と、商群における中心的Sylow部分群の存在に起因する矛盾を示すことで成り立つ。
• 各 k ≥ 5 に対して、仮定を満たすグラフは同型を除いてちょうど2つ存在し、両方ともいかなる可解群 G に対しても Δ(G) として現れえない。
• 著者らは、グラフのすべての頂点が許容的であるならば、そのグラフはいかなる可解群の特徴的次数グラフともなりえないことを確立した。
• この手法により、直径3で特定の頂点次数パターンを持つグラフが、[5]、[9]、[10]の結果を用いて効果的に除外された。
• このようなグラフが Δ(G) として現れると仮定すると、O^p(G) < G を満たす適切な正規部分群 H が存在し、p の許容性に反する。