常學(xué)武，王娜

(山西大學(xué)數(shù)學(xué)科學(xué)學(xué)院, 山西 太原 030006)

0 引言

設(shè)G為任意有限群,p為素數(shù),通常記Irrp′(G)={χ∈Irr(G)|p?χ(1)}為G的次數(shù)不被p整除的所有不可約復(fù)特征標(biāo)構(gòu)成的集合.如果P∈Sylp(G)為G的一個Sylowp-子群,則著名的McKay猜想斷言|Irrp′(G)|=|Irrp′(NG(P))|.事實上,有限群表示論近50年來的一個主要目標(biāo)就是證明McKay猜想及其各種變形和加強,至今取得了很多重大的進展和突破,但尚未徹底攻克該猜想,具體成果和相關(guān)文獻可參考Navarro在2018年出版的最新專著[1],我們在此僅提及幾個與本研究有關(guān)的經(jīng)典結(jié)果.第一個進展是1973年Isaacs[2]證明了McKay猜想對奇數(shù)階群成立,特別地,他構(gòu)造了一個典范雙射Irrp′(G)→Irrp′(NG(P)).1978年Wolf[3]證明了McKay猜想對任意可解群都成立,而p-可解群的McKay猜想是Dade[4]以及Okushima和Wajima[5]在1979年分別獨立地證明的.作為p-可解群的推廣,π-可分群的McKay猜想也是成立的,即當(dāng)G為π-可分群時,設(shè)H∈Hallπ(G)為Hallπ-子群,則|Irrπ′(G)|=|Irrπ′(NG(H))|,其中Irrπ′(G)為G的具有π′-次數(shù)的所有不可約復(fù)特征標(biāo)的集合.該結(jié)果的證明可見Isaacs在2018年出版的最新特征標(biāo)專著第6章[6].

值得指出的是,在G為可解群時,雖然已證明|Irrp′(G)|=|Irrp′(NG(P))|,但偶數(shù)階可解群G一般不存在從Irrp′(G)到Irrp′(NG(P))的典范雙射,一個典型的反例是G=GL(2,3)且p=3.在研究McKay猜想時,一個基本而重要的問題是探討何時存在典范雙射.Isaacs[7]研究M-群的Hall子群時,證明了下述重要結(jié)果(即該文中定理B和定理C),意義在于從單項特征標(biāo)的角度具體構(gòu)造了McKay猜想中的一個典范雙射.

Isaacs定理設(shè)G為可解群,π為一個素數(shù)集合,H∈Hallπ(G)為G的Hallπ-子群.如果Irrπ′(G)中成員均為單項特征標(biāo),則存在一個典范雙射

f:Irrπ′(G)→Irrπ′(NG(H))

使得對每個χ∈Irrπ′(G), 只要χ=λG,其中λ∈Irr(U)為線性特征標(biāo),并且H≤U≤G,就有f(χ)=(λNU(H))NG(H).特別地,Irrπ′(NG(H))中成員也都是單項特征標(biāo).

關(guān)于Brauer特征標(biāo)的McKay猜想,目前已經(jīng)證明對p-可解群成立,即當(dāng)G為p-可解群時,則|IBrp′(G)|=|IBrp′(NG(P))|,在此IBrp′(G)表示G的次數(shù)不被素數(shù)p整除的所有不可約p-Brauer特征標(biāo)的集合.值得提及的是該結(jié)果對非p-可解群一般不成立.此外,Wolf[8]考慮了Isaacs的π-部分特征標(biāo),證明了相應(yīng)的McKay猜想(見該文定理A),包含了上述p-可解群的McKay猜想.這是非常一般化的結(jié)果,但Wolf并沒有進一步探討何時兩個相應(yīng)的不可約π-部分特征標(biāo)(簡稱為Iπ-特征標(biāo))集合存在一個典范雙射.關(guān)于Iπ-特征標(biāo)的定義和性質(zhì),可見本文中第2節(jié),或參考Isaacs最新特征標(biāo)著作[6].

本文中主要研究π-部分特征標(biāo)理論中的McKay猜想,在Wolf工作的基礎(chǔ)上(見定理A[8]),我們給出了上述Isaacs定理的π-部分特征標(biāo)版本,即在π-部分特征標(biāo)理論的McKay猜想中,具體構(gòu)造出相應(yīng)兩個Iπ-特征標(biāo)集合之間的一個典范雙射.

定理A設(shè)G為π-可分群,H∈Hallπ(G),則存在一個典范雙射

f:{φ∈Iπ(G)|φ(1)為π′-數(shù)}→{ξ∈Iπ(NG(H))|ξ(1)為π′-數(shù)}

使得對任意φ∈Iπ(G)且φ(1)為π′-數(shù),均有f(φ)=(λNU(H))NG(H),其中U為G的子群且包含H,λ∈Iπ(U)為線性特征標(biāo),并且φ=λG.特別地,f(φ)不依賴于U和λ的不同選取,并且這兩個Iπ-特征標(biāo)集合中的所有成員均為單項Iπ-特征標(biāo).

取π={p}′為素數(shù)p的余集,熟知π-可分群即通常的p-可解群,而Iπ-特征標(biāo)等同于關(guān)于素數(shù)p的不可約Brauer特征標(biāo),即Iπ(G)=IBr(G).下述結(jié)果可看成是Brauer特征標(biāo)中一種“對偶”的McKay猜想,即將Sylowp-子群P∈Sylp(G)替換為一個p-補Q∈Hallp′(G).

推論B設(shè)G為p-可解群,Q為G的一個p-補,則存在一個典范雙射

f:{φ∈IBr(G)|φ(1)為p-數(shù)}→{ξ∈IBr(NG(Q))|ξ(1)為p-數(shù)}

使得對任意φ∈IBr(G)且φ(1)為p-數(shù),均有f(φ)=(λNU(Q))NG(Q),其中U為G的子群且包含Q,λ∈IBr(U)為線性特征標(biāo),并且φ=λG.特別地,f(φ)不依賴于U和λ的不同選取.此外,上述兩個Brauer特征標(biāo)集合中的所有成員均為Brauer單項特征標(biāo).

再取π={p}為素數(shù)p的集合,則I{p}簡記為Ip,這又是一類很重要的π-部分特征標(biāo),可視為關(guān)于素數(shù)p的Brauer特征標(biāo)的一種對偶,在M-群和超單項特征標(biāo)的研究中自然地出現(xiàn),并提供有效的證明技術(shù),相關(guān)文獻可見[9-10].下述結(jié)果同樣可看成是特征標(biāo)π-理論中McKay猜想的另外一種對偶版本.

推論C設(shè)G為p-可解群,P∈Sylp(G),則存在一個典范雙射

f:{φ∈Ip(G)|φ(1)為p′-數(shù)}→{ξ∈Ip(NG(P))|ξ(1)為p′-數(shù)}

使得對任意φ∈Ip(G)且φ(1)為p′-數(shù),均有f(φ)=(λNU(P))NG(P),其中U為G的子群且包含P,λ∈Ip(U)為線性特征標(biāo),并且φ=λG.特別地,f(φ)不依賴于U和λ的不同選取,并且上述兩個Ip-特征標(biāo)集合中的成員均為單項Ip-特征標(biāo).

本研究只考慮有限群,復(fù)特征標(biāo)的符號和術(shù)語可參考Isaacs的兩本著作[6,11],關(guān)于Brauer特征標(biāo)可參考Navarro的教材[12].

1 Iπ-特征標(biāo)及其提升

本節(jié)簡介所需的π-部分特征標(biāo)的概念和性質(zhì),主要參考文獻[6].

設(shè)G為π-可分群,通常記G0為G的所有π-元素構(gòu)成的集合,則G的每個復(fù)特征標(biāo)χ∈Char(G)在G0上的限制χ0稱G的一個π-部分特征標(biāo).如果G的π-部分特征標(biāo)χ0不能表為兩個π-部分特征標(biāo)之和,即不存在χ0=φ0+ψ0,其中φ,ψ為G的復(fù)特征標(biāo),則稱χ0為G的一個不可約π-部分特征標(biāo),簡稱為G的Iπ-特征標(biāo),G的全體不可約π-部分特征標(biāo)的集合記為Iπ(G).關(guān)于π-部分特征標(biāo)到子群的限制和從子群的誘導(dǎo),可按通常復(fù)特征標(biāo)的限制和誘導(dǎo)定義.設(shè)H≤G,θ∈Char(H)且χ∈Char(G),則定義(χ0)H=(χH)0和(θ0)G=(θG)0.

從定義不難看出:當(dāng)π={p}′為素數(shù)p的余集且G為p-可解群時,根據(jù)模表示論中著名的Fong-Swan定理,可知π-部分特征標(biāo)即通常關(guān)于素數(shù)p的Brauer特征標(biāo),而Iπ-特征標(biāo)等同于關(guān)于素數(shù)p的不可約Brauer特征標(biāo),亦即Iπ(G)=IBr(G),表明Iπ-特征標(biāo)恰為不可約Brauer特征標(biāo)在π-可分群中的直接推廣.

為了研究π-部分特征標(biāo)理論, Isaacs采用了類似于Fong-Swan定理給出的提升技術(shù),核心內(nèi)容是定義了所謂Bπ-特征標(biāo)集合Bπ(G)?Irr(G),作為Iπ(G)的一種典范提升,即特征標(biāo)的π-限制χ|→χ0給出了一個典范雙射:Bπ(G)→Iπ(G).但Bπ-特征標(biāo)的定義相當(dāng)復(fù)雜,難以在此精確地給出,并且通常判定一個不可約復(fù)特征標(biāo)χ∈Irr(G)是否為Bπ-特征標(biāo),也是很困難的問題.在2∈π的情形, Isaacs定義了一個關(guān)于群G和素數(shù)集合π的域自同構(gòu)τ,可用來簡單地判別Bπ-特征標(biāo),具體內(nèi)容可見文獻[6].

引理1.1設(shè)G為π-可分群, 2∈π,并且τ為關(guān)于G和π的域自同構(gòu).如果χ∈Irr(G),則χ∈Bπ(G)當(dāng)且僅當(dāng)χτ=χ且χ0∈Iπ(G).

引理1.1的證明見定理5.2[6].

但在2?π的情形,則上述Bπ-特征標(biāo)的判別方法失效,并且此時Bπ-特征標(biāo)的誘導(dǎo)和限制等過程均難以控制.為此Isaacs[9，13]又定義了Dπ-特征標(biāo),同樣指定了一個子集Dπ(G)?Irr(G),作為Iπ-特征標(biāo)在2?π時的又一種典范提升,即特征標(biāo)的π-限制χ|→χ0也是一個雙射:Dπ(G)→Iπ(G).值得指出的是Bπ-特征標(biāo)和Dπ-特征標(biāo)一般是不同的,但在奇數(shù)階群中這兩類特征標(biāo)是一致的.

事實上,Dπ-特征標(biāo)的定義同樣很復(fù)雜的,特別是涉及到子群H在G中所謂的π-標(biāo)準(zhǔn)符號特征標(biāo)δ(G,H),屬于一類取值為±1的特殊的線性特征標(biāo).此外,如果θ∈Char(H),則定義θ到G的π-誘導(dǎo)θπG=(δ(G,H)θ)G.相關(guān)概念和性質(zhì),均可參考文獻[6]或上段提及的兩篇文獻.

我們需要判別特征標(biāo)的π-誘導(dǎo)何時恰為通常誘導(dǎo),下述即為所需的一個充分條件.

引理1.2設(shè)G為π-可分群且2?π,J≤G使得|G:J|為π′-數(shù).如果α∈Char(J)為J的一個復(fù)特征標(biāo),則απG=αG.

引理1.2的證明因為|G:J|為π′-數(shù),從定理2.5[13]可知J在G中的π-標(biāo)準(zhǔn)符號特征標(biāo)δ(G,J)=1J,再從特征標(biāo)π-誘導(dǎo)的定義得到απG=(δ(G,J)α)G=αG.

下述是Dπ-特征標(biāo)的判別定理,即著名的Dade定理.

引理1.3設(shè)G為π-可分群且2?π,如果H≤G,θ∈Irr(H)和χ∈Irr(G),滿足θπG=χ,則θ∈Dπ(H)當(dāng)且僅當(dāng)χ∈Dπ(G).

引理1.3的證明見定理E[9].

通常在研究Iπ-特征標(biāo)時,考慮到Bπ-特征標(biāo)和Dπ-特征標(biāo)各自具有的技術(shù)便利,人們往往區(qū)分兩種情形,即2∈π和2?π.方便起見,我們引入一個概念.

在本文中主要定理的證明中,我們將使用上述標(biāo)準(zhǔn)提升技術(shù),把Iπ-特征標(biāo)的結(jié)果提升為復(fù)特征標(biāo)的相應(yīng)結(jié)果,再借助Isaacs定理完成證明.為此,我們還需要用到Isaacs[7]的一個基本引理.

引理1.5設(shè)G為任意群,H∈Hallπ(G),U,V≤G，H≤U∩V,λ∈Irr(U)和μ∈Irr(V)均為線性特征標(biāo),使得λG,μG∈Irr(G).令N=NG(H).如果(λU∩N)N=(μV∩N)N則λG=μG.

引理1.5的證明即引理2.3[13]的特例.

最后,本文中還要用到下述Wolf定理,內(nèi)容證明了Iπ-特征標(biāo)的McKay猜想.

引理1.6設(shè)G為π-可分群,H∈Hallπ(G),則下述兩個Iπ-特征標(biāo)的集合具有相同的基數(shù):

|{φ∈Iπ(G)|φ(1)為π′-數(shù)}|=|{ξ∈Iπ(NG(H))|ξ(1)為π′-數(shù)}|.

引理1.6的證明屬于定理A[8]的特例,取其中素數(shù)集合ω=π即可.

2 主要結(jié)果及證明

我們先建立一個基本結(jié)果,在定理A的證明中有重要作用.

定理2.1設(shè)G為π-可分群,H∈Hallπ(G),并且φ∈Iπ(G).如果φ(1)為π′-數(shù),則存在G的子群U≥H以及線性Iπ-特征標(biāo)λ∈Iπ(U)使得φ=λG.進而,對任意如此的子群U和線性Iπ-特征標(biāo)λ,均有(λNU(H))NG(H)不可約.

定理2.1的證明根據(jù)Iπ-特征標(biāo)的Huppert定理(見推論5.5[6]),則Iπ-特征標(biāo)存在π-次誘導(dǎo),即存在子群U≤G以及λ∈Iπ(U)，使得φ=λG且λ(1)為π-數(shù).此時φ(1)=|G:U|λ(1),已知φ(1)為π′-數(shù),故|G:U|和λ(1)均為π′-數(shù).由此可知λ(1)=1,即λ為線性的Iπ-特征標(biāo),并且U包含G的Hallπ-子群,從G為π-可分群可知其所有的Hallπ-子群彼此共軛,故H包含在U的某個G-共軛Ug中.此時(Ug,λg)也是φ的一個π-次誘導(dǎo)對,滿足H≤Ug且λg(1)=λ(1)=1.我們用(Ug,λg)替換(U,λ)，即得所需的子群U和線性特征標(biāo)λ.

固定任意一個Iπ-特征標(biāo)對(U,λ)滿足所述條件,為了便于歸納,我們將證明一個稍微一般的結(jié)論:只要子群J≤G使得|U:U∩J|為π′-數(shù),就有(λU∩J)J∈Iπ(J).通過取J=NG(H),則U∩J=NU(H)≥H,顯然滿足指數(shù)為π′-數(shù)的條件,故得所證結(jié)論(λNU(H))NG(H)不可約.為此,我們將用反證法,假設(shè)(λJ∩U)J是可約的,在所有反例中,我們依次選取|G|, |G:U|和|G:J|盡可能的小,分以下幾步完成證明.

1) 我們斷言J必為G的極大子群.事實上,如果J不是極大子群,則存在中間子群V使得J

2) 任取N?G,只要N≤U∩J,我們將證明φN必然是齊次的,即僅有唯一的Iπ-分量.為此,選取θ∈Iπ(N)在λ∈Iπ(U)的下方,因為λ是線性的Iπ-特征標(biāo),故λN=θ.特別地,θ是U-不變的.令T=IG(θ)為θ在G中的慣性群,則U≤T. 假設(shè)φN不是齊次的,因為θ也是φN的不可約分量,故φN非齊次等價于θ不是G-不變的,即T

3) 我們證明φJ是可約的.如果φJ不可約,則(λG)J=φJ∈Iπ(J),任取μ∈Irr(U)為λ∈Iπ(U)的提升,即μ0=λ,則((μG)J)0=((μ0)G)J=(λG)J=φJ不可約,迫使復(fù)特征標(biāo)(μG)J也不可約,由Mackey定理可知G=UJ.此時(μU∩J)J=(μG)J,兩邊再做π-限制得到

(λU∩J)J=((μ0)U∩J)J=((μU∩J)J)0=((μG)J)0=((μ0)G)J=φJ∈Iπ(J),

與極小反例的假設(shè)矛盾,故φJ是可約的.

4) 因為φ不能是線性特征標(biāo),否則U=G且λ=φ,而U∩J=J,此時λJ∈Iπ(J),結(jié)論成立,與極小反例矛盾.已知φ(1)是π′-數(shù),故φ(1)不能是π-數(shù).使用引理5.12[6],存在某個G的正規(guī)子群M,使得φM的任意不可約分量γ的次數(shù)均為π-數(shù),但γ不是G-不變的,等價于φM不是齊次的.因為φ=λG從U誘導(dǎo),再由引理5.21[6]可知|MU:U|為π-數(shù).但|G:U|整除φ(1)為π′-數(shù),迫使MU=U,即M≤U.

如果M?J,從J為極大子群可知G=MJ,從而|M:M∩J|為π′-數(shù).此時M∩J包含M的一個Hallπ-子群,仍從引理5.14[6]推出φM的不可約分量γ在M∩J上的限制不可約.此時φ∈Iπ(G|γ),再根據(jù)引理5.20[6],可知φJ也不可約,又與(3)中結(jié)論矛盾,故M≤J.

至此即證M≤U∩J,但M?G且φM不是齊次的,又與2)中結(jié)論矛盾,證畢.

以下是本文中定理A,可視為定理B和定理C[7]的π-版本.類似復(fù)特征標(biāo)的單項性,我們稱φ∈Iπ(G)為一個單項的Iπ-特征標(biāo),如果φ可從子群的線性Iπ-特征標(biāo)誘導(dǎo),即φ=λG,對某個λ∈Iπ(U),其中λ(1)=1且U≤G.

定理2.2設(shè)G為π-可分群,H∈Hallπ(G),則存在一個典范的雙射

不難看出本文中推論B和推論C可直接中從定理A得到,證明從略.