[论文解读] 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 條件、頂點可接受性以及群結構上的歸納法的技術，作者證明：若一個圖形有兩個相鄰的度數為二的頂點且無共同鄰居，則該圖形無法作為任何可解群 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.

研究动机与目标

• 識別阻止某些圖形成為可解群特徵次數圖的結構約束。
• 透過基於頂點度數與鄰接關係的新排除標準，擴展現有的特徵次數圖結果。
• 證明一類特定圖形家族——特徵為兩個相鄰度數為二的頂點且無共同鄰居——無法作為任何可解群 G 的 Δ(G)。
• 發展並應用可接受頂點與正規子群約化框架，以排除候選圖形。
• 透過整合 Pálfy 條件以及 [10] 和 [11] 對直徑為三的圖形的結果，推廣先前關於特徵次數圖的研究。

提出的方法

• 定義一個頂點為可接受，若其移除（及其關聯邊）後所形成的子圖無法是任何可解群的特徵次數圖。
• 利用引理 2.1 表明：若素數 p 是可接受的，則 O^p(G) = G，表示不存在正規的 p-補。
• 應用引理 2.2 表明：若圖形中所有頂點皆為可接受，則該圖形無法是特徵次數圖。
• 利用引理 2.3 在特定鄰接與非鄰接條件下排除正規 Sylow q-子群的可能。
• 採用歸納法並透過正規子群 H 和 G/H 的子群約化，分析可能的特徵次數集合。
• 利用 [5]、[9] 和 [10] 中關於中心 Sylow 子群與直徑為三的圖形的結果，當出現候選圖形時推導出矛盾。

实验结果

研究问题

• RQ1 在何種條件下，圖形會無法成為可解群的特徵次數圖？
• RQ2 具有兩個相鄰度數為二的頂點且無共同鄰居的圖形，是否可能作為可解群 G 的 Δ(G)？
• RQ3 可接受性與 Pálfy 條件如何相互作用以排除候選圖形？
• RQ4 特徵次數圖中強可接受頂點的存在會引發何種結構約束？
• RQ5 能否利用 Sylow 子群的不存在性來排除整個圖形家族作為特徵次數圖的可能性？

主要发现

• 對於 k ≥ 5 個頂點、具有兩個相鄰度數為二的頂點且無共同鄰居、並滿足 Pálfy 條件的圖形家族，無法是任何可解群的特徵次數圖。
• 證明的關鍵在於透過正規子群約化與商群中中心 Sylow 子群的存在性，導出矛盾。
• 對於每個 k ≥ 5，恰好存在兩種滿足條件的圖形（同構意義下），且兩者皆無法作為任何可解群 G 的 Δ(G)。
• 作者確立：若圖形中所有頂點皆為可接受，則該圖形無法是任何可解群的特徵次數圖。
• 該方法成功地利用 [5]、[9] 和 [10] 的結果，排除了直徑為三且具特定頂點度數模式的圖形。
• 矛盾產生於假設此類圖形確實作為 Δ(G) 出現，進而導致存在一 proper 正規子群 H，使得 O^p(G) < G，違反 p 的可接受性。