不可约特征标维数对群结构地影响.pdfVIP

(2)cd(G)={1，3，13，39}； (4)cd(G)={1，P，q，pqm}，其中P，q是不同素数且m1 定理4．3设G是PPC+一单群当且仅当G兰A5． 定理4．5设G是不可解PPC+一群且G=G’，则G皇A5． 下面列出本文所使用的主要符号和定义． 所有群都是有限群． 特征标总指复特征标． 字母G总表示一个有限群． 若n是一个正整数，”(n)表示扎的全体素因子所构成的集合，”(G)=z(1G})． Irr(G)表示G的所有不可约特征标构成的集合， X∈ Irrl(G)表示G的所有非线性不可约特征标的集合，记作：打rt(G)=仅j ，rr(G)，x(1)≠1)． cd(G)={)((1)Ix∈frr(G)}． cdl(G)={x(1)I)(∈Jrr-(G))． Irr(GlO)=及∈Irr(G)}[XN，创≠o)，其中N里G，口∈Irr(N)． b∈cdg(G cd(G)中所有覆盖。的维数的集合． c坛(Gjn)，其中x为K的一个连通分支． cdK(GIX)=U。∈x Irr(GlO)={x∈Irr(G)l氏_v，卅≠o)，(其中N塑G，目∈』rr(Ⅳ))． 在本文中，我们使用的群论的术语和符号参照D．J．S．Robinson的著作即文f5]， [20】 6 §2 预备引理 Irr(G)，有x≠贾． 引理2．2(文[9]中定理)若G可解且lcd(G)I=4，则dl(G)≤4． 3． 引理2．3(文f20】中定理19．9)设G为有限群，则n(△(G))S 引理2．4(文[20】中定理18，8)设G是可解群，则 (1)diam(A(G)≤3)； (2)若A(G)有两个连通分支△·，△2，则△l，△z均为完全图． 引理2．5(文[20】定理18．7)设G可解，”是维数图△(G)的顶点的子集，若 …≥3，则存在不同点u，V，对某一x∈lrr(G)使“lx(1)． 引理2．6(文[13】中主要定理)设G可解，则A(G)有两个连通分支的充分必要 条件是G为下列6类群之一： C=cp(K)，P，∈C，且P的每一个非线性不可约特征标关于P／G是全分歧的． 例(2)G是其子群日作用在子群P上的半直积．其中P是9阶初等交换群， 用就相当于SL2(3)在P上的自然作用． 例(3)G是其子群日作用在子群尸上的半直积．其中P是9阶初等交换群， 的作用就相当于GL2(3)在P上的自然作用． 例(4)G是其子群日作用在一初等交换p一群y上的半直积．其中P是素数． 的方幂．z∈z(日)，K／Z是交换的，耳不可约的作用在V上，(m，{K：Z1)=1， 且(q”一1)／(q—1)整除}K：Z1． 例(5)G有一非交换正规2一子群和一交换2一补，恰好使得IG：ⅣQ】=2且 个非线性不可约特征标关于Q／c是全分歧的．对某个正整数a，Q／c是22。阶的一 7 初等交换2一群．Q／C在Ⅳ的作用下不可约，K／z是2。+1阶交换群． 例(6)G是一交换群D互素的作用在一群T上的半直积．陬D】是一 作用下不变． A／A’在口的作用下不可约．令m=1D：CD(A)I，q是P的方幂， lA：』4’I=q“，(q“一1)／(q一1)整除B． 引理2．8(文[19】中推论)设G是不可解群，若所有非线性不可约特征标维数均 为素数方幂，则G=A×S(A为Abel群)，S∈(如，SL2(8))． 引理2．9(文[17】中引理3．2)设G可解，存在Ⅳ是G的极大正规子群，使G／K 为非交换p-群扫为某一素数)，X是F(K)的一个连通分支，若a是x中的最小 大值，则n≥1且x有印‘形式的元，i≤(n一1)． 引理2．10(文[18】中引理2)设G可解，存在Ⅳ是G的极大正规子群，使G／K 中i21)． 引理2．n(3c[18】中引理3)设G可解，存在Ⅳ是G的极大正规子群，使G／K 若存在b1，