王慧群,曾吉文

(1.長(zhǎng)治學(xué)院數(shù)學(xué)系,山西長(zhǎng)治046011;2.廈門大學(xué)數(shù)學(xué)科學(xué)學(xué)院,福建廈門361005)

廣義Gagola特征標(biāo)的注記

王慧群1,曾吉文2

(1.長(zhǎng)治學(xué)院數(shù)學(xué)系,山西長(zhǎng)治046011;2.廈門大學(xué)數(shù)學(xué)科學(xué)學(xué)院,福建廈門361005)

設(shè)χ∈Irr(G)是廣義Gagola特征標(biāo),V(χ)={χ(g)|g∈G}.證明了χ是廣義Gagola特征標(biāo),當(dāng)且僅當(dāng)χ忠實(shí),并且V(χ)恰好有3個(gè)Galois-軌道.在此基礎(chǔ)上,得到經(jīng)典Gagola特征標(biāo)的一個(gè)充要條件.

廣義Gagola特征標(biāo);置換特征標(biāo);線性無(wú)關(guān)

1 主要結(jié)果

設(shè)G是有限群;Irr(G)表示G的所有不可約復(fù)特征標(biāo)集合;Γ=Gal(Q|G|/Q)為域擴(kuò)張Q|G|/Q的Galois群,其中Q是有理數(shù)域,Q|G|表示Q添加|G|-次本原單位根的代數(shù)擴(kuò)域;其余未指明符號(hào)均以文獻(xiàn)[1]為準(zhǔn).

設(shè)σ∈Γ,g∈G,χ∈Irr(G),如文獻(xiàn)[1]第90頁(yè)所示,令χσ(g)=(χ(g))σ,則χσ∈Irr(G).按此定義,Γ作用在集合Irr(G)上.記該作用下χ所在軌道為χΓ,再記n(χ)為χ的非零點(diǎn)共軛類個(gè)數(shù),則有如下不等式成立:

|χΓ|+1≤n(χ).

當(dāng)特征標(biāo)χ使得上式等號(hào)成立時(shí),由文獻(xiàn)[2],稱該特征標(biāo)為廣義Gagola特征標(biāo).本研究的主要目的是給出廣義Gagola特征標(biāo)的一個(gè)等價(jià)刻畫.

記V(χ)={χ(g)|g∈G},考慮Γ在V(χ)上的自然作用.當(dāng)χ是非線性不可約特征標(biāo)時(shí),由Burnside定理,存在g∈G使得χ(g)=0.由此可知V(χ)至少有兩個(gè)不動(dòng)點(diǎn)χ(1)和0.更進(jìn)一步,V(χ)至少有3個(gè)Γ-軌道.Zhmud[3]研究了當(dāng)V(χ)恰好是3個(gè)Γ-軌道時(shí)的有限群.本研究將證明,此時(shí)的特征標(biāo)恰好是廣義Gagola特征標(biāo).

本研究的主要結(jié)論為如下定理.

定理1 設(shè)G是有限非交換群,符號(hào)Γ,V(χ)及Irr(G)如上,則χ是廣義Gagola特征標(biāo)當(dāng)且僅當(dāng)χ忠實(shí),且V(χ)恰好有3個(gè)Γ-軌道.

根據(jù)定理1,可得如下推論.

推論1 條件如定理1,則χ是Gagola特征標(biāo)當(dāng)且僅當(dāng)χ忠實(shí),且|V(χ)|=3.

推論1必要性中的Gagola特征標(biāo)最初出現(xiàn)在文獻(xiàn)[4],即滿足n(χ)=2的不可約特征標(biāo).對(duì)于充分性中的條件|V(χ)|=3,也是經(jīng)典情形,具體見(jiàn)文獻(xiàn)[5].

2 知識(shí)準(zhǔn)備

以下羅列的定義,術(shù)語(yǔ)和結(jié)論,僅為閱讀方便.

定義1 符號(hào)如上,稱χ為廣義Gagola特征標(biāo),如果

|χΓ|+1=n(χ).

根據(jù)文獻(xiàn)[2],當(dāng)χ是廣義Gagola特征標(biāo)時(shí),χΓ的所有成員都是廣義Gagola特征標(biāo),并且都是忠實(shí)的.

證明定理1之前,還需要如下的一個(gè)初等事實(shí).

引理1 設(shè)B=(aij)是秩為r-1的(r-1)×r矩陣.如果B中每行元素和均為0,則B中任意r-1個(gè)列向量均線性無(wú)關(guān).

3 定理證明

本部分內(nèi)容主要是定理1的證明,另外也包含推論1的證明.

以下是定理1的證明.

證明 (i)先證明定理的必要性,即先假定χ是廣義Gagola特征標(biāo).

由文獻(xiàn)[2],廣義Gagola特征標(biāo)χ是忠實(shí)特征標(biāo).

記χ的非零點(diǎn)共軛類為C1=1,C2,…,Cr.設(shè)nj為Cj的代表元,其中j=1,2,…,r.令aj=χ(nj),則V(χ)={χ(1)=a1,a2,…,ar,0}.因?yàn)棣?1)和0都是Γ-不動(dòng)點(diǎn),為完成必要性證明,只需證明a2,…,ar恰是一個(gè)Γ-軌道.記U={a2,…,ar},則?？梢宰饔迷赨上,以下證明Γ在U上是傳遞作用.

由廣義Gagola特征標(biāo)的定義,可設(shè)χ的Γ-軌道χΓ={χ1=χ,χ2,…,χr-1}.記W=χΓ,定義

則Γ可以作用在W上,并且是傳遞的.

設(shè)X是特征標(biāo)表所確定的矩陣.在X中,選取χ1, χ2,…,χr-1所在行,C2,…,Cr所在列的r-1階子矩陣A=(cik),其中cik=χi(nk+1).考慮Γ在上述兩個(gè)集合U和W的作用,只要A可逆,模仿文獻(xiàn)[1]定理6.32的證明,就能得到兩個(gè)作用的置換特征標(biāo)相同.再由文獻(xiàn)[1]推論5.15,可知兩個(gè)作用的軌道數(shù)相同.而Γ在W上是傳遞作用,故在U上也是傳遞作用.為此,需驗(yàn)證A是可逆矩陣.

在特征標(biāo)表X中,由χ1,χ2,…,χr-1所在行,C1=1,C2,…,Cr所在列確定的子矩陣記為(cij)(r-1)×r,其中cij=χi(nj).由于X可逆,可知該矩陣的秩為r -1.令B=(|Cj|cij),可知B的秩也是r-1.考察以B為系數(shù)矩陣的齊次線性方程組,可知該方程組的基礎(chǔ)解系僅含一個(gè)解.注意到主特征標(biāo)1和χ的內(nèi)積[1,χi]=0,可知(1,1,…,1)′即為基礎(chǔ)解系.換言之, B滿足引理2的條件,因此任意B的任意r-1列都是線性無(wú)關(guān)的.特別地,B劃去第一列所得子矩陣是可逆的,從而得到A可逆.

(ii)再證充分性,即假定χ忠實(shí),且V(χ)恰好有3個(gè)Γ-軌道.

設(shè)V(χ)的3個(gè)Γ-軌道為χ(1),0,{a2,a3,…, ar}.記Cj={g∈G|χ(g)=aj},由文獻(xiàn)[3]結(jié)論1,可知Cj恰是G的共軛類,即得n(χ)=r.

又因?yàn)閍2,a3,…,ar是r-1個(gè)互不相同的數(shù),可知|χΓ|≥r-1,迫使|χΓ|+1=r=n(χ),故χ是廣義Gagola特征標(biāo).

以下是推論1的證明.

證明 如果χ是Gagola特征標(biāo),由文獻(xiàn)[4]可知χ忠實(shí)且|V(χ)|=3.反之,如果χ忠實(shí)且|V(χ)|= 3,記V(χ)={χ(1),0,a}.再記C={g∈G|χ(g)= a}.重復(fù)上述充分性的證明過(guò)程,可知n(χ)=2,也即χ是Gagola特征標(biāo).

[1] ISAACS I M.Character theory of finite groups[M].New York:Academic Press,1976:90.

[2] WANG H Q,CHANG Xuewu,JIN Ping.On generalized Gagola characters[J].Arch Math,2015,104:501-508.

[3] ZHMUD E.Finite groups possessing a faithful nonlinear irreducible character with three classer of algebraically conjugate values[J].Journal of Algebra,2000,226: 225-235.

[4] GAGOLA S M.Characters vanishing on all but two conjugacy classes[J].Pac J Math,1983,109:363-385.

[5] BERKOVICH Y,CHILLAG D,ZHMUD E.Finite groups in which all nonlinear irreducible characters have three values[J].Houston J Math,1995,21(1):17-28.

[6] LEWIS M L.Bounding fitting heights of character degree graphs[J].Journal of Algebra,2001,242:810-818.

A Note on Generalized Gagola Characters

WANG Huiqun1,ZENG Jiwen2

(1.Department of Mathematics,Changzhi Collage,Changzhi 046011,China; 2.School of Mathematical Science,Xiamen University,Xiamen 361005,China)

Let G be a finite group,χ∈Irr(G)be a generalized Gagola character,and V(χ)={χ(g)|g∈G}.This note gives a necessary and sufficient condition for the generalized Gagola character,and it is also proved thatχis a generalized Gagola Character if and only ifχis faithful and|V(χ)|=3.

generalized Gagola characters;permutation character;linear independence

O 152

A

0438-0479(2016)06-0927-02

10.6043/j.issn.0438-0479.201509018

2015-09-18 錄用日期:2015-12-24

國(guó)家自然科學(xué)基金(11261060)

jwzeng@xmu.edu.cn

王慧群,曾吉文.廣義Gagola特征標(biāo)的注記[J].廈門大學(xué)學(xué)報(bào)(自然科學(xué)版),2016,55(6):927-928.

WANG H Q,ZENG J W.A note on generalized Gagola characters[J].Journal of Xiamen University(Natural Science), 2016,55(6):927-928.(in Chinese)