论文部分内容阅读
利用特征标维数图刻画群的结构是受到广泛关注的群表示论中的重要研究课题.1985年以来出现了一系列研究成果,如文[5],[9],[14],[15],[16],[17],[18],[24].在文[10]中Mark L.Lewis对于有两个连通分支的有限可解群的结构作了完整的分类研究.在文[11]中Mark L.Lewis研究得出了满足条件(*)的一种拟连通的可解群的Fitting高至多是4.条件(*)的定义:群G的特征标维数图Γ(G)的顶点集ρ(G)=π<,1> ∪π<,2>∪{p},其中|π<,1>|,|π<,2>|≥1,π<,1> ∩π<,2>=φ,且π<,1>与π<,2>中顶点不相邻.在文[11]的基础上,我们进一步研究满足条件(*)的可解群.我们得到如下定理:定理3.1若G是有限可解群,且满足条件(*).则2≤n(G)≤4,dl<,p>(G)≤6.且G是例1-例20中的群之一.(见第三节)1998年I.M.Isaacs与G.Knutson在文[7]中研究了非核特征标集合Irr(G|N)={X∈Irr(G)|N不包含在ker<,X>中}对于正规子群N的影响.因为N G时,我们有Irr(G)=Irr(G/N)∪Irr(G|N).但显然特征标集合Irr(G/N)只能决定G/N的结构,因此正规子群N的结构及N对G的扩张性质应该由Irr(G|N)来决定.已有不少关于Irr(G|N)结果得出,如文献[18],[7],[8]等.该文对其中部分结果做了推广,考虑IBr<,p>(G|N)对正规子群N的结构及N对G的扩张性质的影响.得到下列结果:定理4.1.5NG,G/N是p-群.则对任意的非线性ψ∈IBr<,p>(G|N),素数p ψ(1) N有正规Sylow p-子群.定理4.3.2 G是p-可解群,G/N是{p,q}-群,N G.素数p≠q.若对所有非线性ψ∈IBr<,p>(G|N)有q|ψ(1).则N有一正规q-补.定理4.3.4 G是p-可解群,G/N是p-群,N G.素数p≠q.若对所有非线性ψ∈IBr<,p>(G|N)有q |ψ(1).则N有一正规q-补.早在1957年B.Huppert就在文[6]中给出了可解群G的导长dl(G)的一个对数界.1986年J.Dixon在文[2]中及1993年O.Manz,T.R.Wolf在书[18]中都作了改进,我们在第五节进一步"改进"(除特殊情况外)得到如下定理:定理5.1设G是可解群.(a)若G≤Sn,则dl(G)≤(7/3)log3(n).除非G≌GL(2,3)∝(Z<,3>×Z<,3>)(9个文字上的本原置换群),这时dl(G)=5.(b)若V≠0是任意域F上的n维忠实完全可约F[G]模.则dl(G)≤8+(7/3)log<,3>(n/8).