满足某些条件的有限单群的分类

进一步探讨了有限非交换单群的素图,考虑了顶点度数对其结构的影响,利用数论知识,素图完全图的分类,以及有限非交换单群的素图连接标准,得到了群阶不超过1010的素图每个分支为完全图且7∈π(G),dG(7)=1的有限非交换单群的分类.该分类问题进一步完善了有限单群的素图信息,借助此方法,还可以解决群阶包含其他素数的有限非交换单群的分类.     

有限群可解性的正规指数刻画

有限群G的极大子群M的正规指数是指G的主因子H/K的阶，其中H为M在G中的极小正规补．文中利用正规指数的概念刻画有限群的可解性，给出了有限群可解的几个充分条件．     

关于内幂零群结构定理的一个注记

研究了极小非平凡的群作用.将域F上有限维向量空间线性变换不可约的等价条件推广到初等交换p-群上,再结合极小非平凡作用的定义,得到了Hall-Higman简化定理的充要条件形式,从而给出了极小非平凡作用的另一种刻画,利用此种刻画探讨了p-群的一个p′-自同构何时在Frattini商群上的诱导作用不可约,重新证明了Schmidt定理.作为上述两个结果的综合应用,给出了内幂零群结构定理的一个新的描述和简化证明.     

一类拟二面体群的三度Cayley图的正规性

有限群G的一个Cayley图X=Cay（G,S）称为正规的,如果右乘变换群R（G）在AutX中正规.决定Cayley图是否正规,对于确定它的自同构群的有重要意义.本文综合运用有限群的知识与图的组合技巧证明了一类4m阶拟二面体群G=〈a,b｜a2m=b2=1,ab=am＋1〉的3度无向连通Cayley图的正规性,其中m=2r,且r〉2,并得到该类正规Cayley图.     

3-3群图的构造

本文用局部分析的方法研究了下列问题:若群G由它的两个有限子群生成,G=,其中P_1∩P_2在P_1、P_2的指数都为3,且P_1∩P_2不包含G的非平凡正规子群,则总共有15个群对(P_1,P_2) 满足以上条件。用这种方法,不但简化了证明过程,突出了问题的本质,还可以得出有限单群的新结论。     

奇阶群特征标次数素因子集的一个不等式

假定G是一个有限群，ρ(G)表示G的不可约复特征标次数的所有素因子集，σ(G)表示G的一个特征标次数包含素因子的最大个数.有限群的特征标论中有一个著名的猜想：|ρ(G)|≤2σ(G).利用模论的方法Espuelas证明了：如果G是奇阶群且其每一正规Sylow子群是交换的，则这个猜想成立；Gluck和Manz证明了：|ρ(G)|≤3σ(G)+32；后来这一结果又被改进成|ρ(G)|≤3σ(G)+2；Palfy利用图论的方法证明了：当特征标次数图不连通时，这个猜想是正确的.运用Dolfi关于奇阶作用群有大轨道这个新结果证明了：当G/F(G)是可解奇阶群或超可解群时，Huppert猜想的弱形式是成立的，即|ρ(G)|≤3σ(G)成立.     

一类32维半单Hopf代数的拟三角结构

Kac和Paljutkin构造了一类非交换非余可换的半单Hopf代数K_8,后来Masuoka用提升方法重新构造了这类代数. Ore扩张方法是构造新的非交换非余可换Hopf代数的一类很重要的方法,通过它可以得到许多有意义的量子代数.人们用Ore扩张方法构造了更为广泛的非交换非余可换半单Hopf代数H_2n_2,其余代数乘法由Drinfeld扭元及代数自同构所确定.推广了Hopf代数K_8,首先给出一类32维非交换非余可换的半单Hopf代数H32的定义,此类Hopf代数可以通过给定域上的Abel群代数K[C_4×C_4]利用特殊的Ore扩张得到,它有一个子Hopf代数,恰好同构于8维非交换非余交换的唯一的半单Hopf代数K_8.然后,主要研究Hopf代数H_(32)的拟三角性.通过详细计算,精确地得到Hopf代数H_(32)的所有泛R-矩阵,结合Wakui得出的结论,得知H_8为极小拟三角,而H_(32)非极小拟三角.     

有限p-群中子群和商群的一些幂导性质

研究了有限p-群G中三元生成正规子群和商群G/Z(G)的幂导性.采用极小阶反例的方法,应用幂导嵌入的性质,通过亚交换群换位子公式运算,给出了幂导p-群(p≥5)中三元生成正规子群幂导的必要性条件.同时,通过讨论有限p-群的G导群G′所满足的条件,得出G的商群G/Z(G)关于幂导的一个充分条件和必要条件.     

有限可解群不可约特征标的非零元素

对于有限可解群G,元素g∈G被称作是G的一个非零元,如果对于G的任一不可约特征标χ均有χ(g)≠0.有公开问题断言:可解群G的非零元素均在G的极大幂零正规子群(Fitting子群)里.我们利用群作用理论及正则轨道的方法证明了:如果可解群G的Sylow2-子群没有因子群同构于圈积Z2wrZ2,那么此猜想对G成立.     

大轨道问题与Gluck猜想

设G是一个有限亚Abe l群(即G”=1),V是一个有限完全可约忠实G-模.本文证明了:存在x,y∈V满足CG(x)∩CG(y)=1,即G在V里存在一个大轨道.利用这一结果,证明了G luck猜想对亚交换群是成立的,即|G:F(G)|≤b(G)2,b(G)表示G的最大不可约特征标次数.还证明了G luck猜想的共轭类形式对亚交换群也是成立的,即|G:F(G)|≤bcl(G)2,bcl(G)表示G的最大共轭类长度.     

图C_4∪K_(m,n)的k-优美性及算术性

给出了一类非连通图C4∪Km ,n。论证了当k>1 (k∈N)时 ,该图是k优美图 ;当k >[(n - 1 )m +1 ]d +1 (d >1 ;m ,n ,d∈N)时 ,图C4∪Km ,n是 (k ,d)算术图。由此推广了文献 [7]中的一些结论。     

一类3-正则3-连通平面Hamilton图

设Гk由带如下结构的3-正则3-连通平面图G所组成的图类：G中含一个圈C．使得G—E（C）产生女个不相交的树，并且每个树具有至少三条边．本文证明Г1中所有的图都是Hamilton图．     

两类不交并图的序列性

考察了m重-四角鲜人掌图的序列性,给出了两类不交并图,并且证明了它们是序列图。     

两类H-cordial图的构造

给出了图G是H-cordial图的一个必要条件,证明了基于两个正则图而构造的新图G*是H-cordial图,从而得到了两大类H-cordial图的构造方法,由此可推导出一系列图都是H-cordial图.     

两类联图的优美性

给出了两类联图Ｐ１∨（Ｐ１∨２Ｐｎ）及ｓｔ（ｎ）∨Ｔ,论证了这两类图都是优美图,由此推出一些有意义的结论。     

王冠图的调和性

Grace证明了n为奇数时,王冠图Qn为调和图,针对对此问题证明了n为偶数时,王冠图Qn是序列图,从而证明了Qn为调和图。     

对矢量图形的组合拆分算法及编程实现

组合拆分是编辑矢量图形不可缺少的操作，如保证图元的显示顺序不被打扰，以及保证整幅图形的显示效果是一个很关键的问题。利用面向对象的方法，通过设计适当的类，将图形元素对象化，并且设计了组合图元类CComboDraw，较好地实现了对图元对象的组合拆分操作。论述了在VC＋＋6．0环境下利用MFC类库对图元进行组合及拆分操作的算法和编程实现。另外，图形元素经组合或拆分操作后，图形的显示顺序（即图元的图层）会发生改变，为此又给出了图形的显示算法和编程实现。     

图S_m S_n和S_m 的优美性和强协调性

本文给出了 Sm Sn 和 Sm Kn 是优美的也是强协调的。     

帽挂图的调和性

提出了帽挂图Ｍ（ｎ，ｔ，Ｇ）的概念，并证明了，当ｎ＝２ｍ＋１，ｍ≥１，ｔ≥１并Ｇ为一个强调和图时Ｍ（２ｎ＋１，ｔ，Ｇ）是调和图的结论同时也对Ｍ（２ｍ，ｔ，Ｇ）的调和性给出了评述。     

构造极大平面图的三种方法

对极大平面图的构成方法做了进一步的研究,提出了三种构成方法：规范的“加点法”与“删步法”以及非规范的“任意法”,并对三种构成方法进行了比较分析。同时对同阶非同构极大平面图的计数问题进行了理论分析。以命题形式给出了８个结论,这些结论对研究极大平面图的点着色问题有其理论与应用价值。