关于型为L_2(p)的单K_4-群的一个新刻画（英文）

设G是型为L_2(p)的单K_4-群,其中p是不等于2~n-1的素数,σ_1(G)表示群G的最高阶元素的阶.本文证明了该类单K_4-群能被其阶|G|和最高阶元素的阶σ_1(G)唯一确定.所谓K_4-群指的是阶刚好含4个不同素因子的群.     

关于单K_3-群的自同构群的刻画

本文用最高阶元素的阶和群的阶刻画了单K_(3-)群的自同构群.     

局部连通图的群Z_3-连通性

本文研究了局部连通图的群连通性的问题.利用不断收缩非平凡Z_3-连通子图的方法,在G是3-边连通且局部连通的无爪无沙漏图的情况下,获得了G不是群Z_3-连通的当且仅当G是K_4或W_5.推广了当G是2-边连通且局部3-边连通时,G是群Z_3-连通的这个结果.     

单K3-群的一个特征性质

设G是一群,用nse(G)表示G中同阶元长度的集合.本文对单K3-群给出了新的刻画,即证明了, G≌M,其中M为一单K3-群,当且仅当下面条件成立:(1)|G|=|M|,(2)nse(G)=nse(M).     

3阶全矩阵代数的H_8-模代数结构

设H_8是非交换非余交换的8维半单Hopf代数,C[K_4]是克莱因四元群的群代数,M_3(C)是复数域上的3阶全矩阵代数.通过方阵和方阵对的弱相似给出了同构意义下M_3(C)上全部的C[K_4]-模代数结构.在此基础上结合H_8与C[K_4]的关系,刻划了同构意义下M_3(C)上所有的H_8-模代数结构.     

散在单群的一个新刻画

设G是一个有限群,K_1(G)表示G的最高阶元的阶.证明了每一个散在单群G均可被|G|和K_1(G)唯一刻画.     

几类新的上可嵌入图

讨论了几类上可嵌入的边连通简单图,得到了如下结果:若G为简单连通图,且满足以下条件1)-3)之一:1)G为1-边连通的,且不含完全图K_3,α(G)≤3,2)G为2-边连通的,且不含完全图K_3,α(G)≤5,3)G为3-边连通的,且不含完全图K_3,α(G)≤10,则G是上可嵌入的,且在上述相应条件下,独立数上界都分别是最好的.     

“关于Γ-图的判定”中的猜测问题

本刊1988年第4期的“关于Г-图的判定”一文中有一个猜测: 猜测 G是Г-图当且仅当G中不含如下的子图为导出子图: (1) C_(2n 1),n≥2;(2)K_3·3K_2(i),0≤i≤3;(3)5K_3. 这个猜测的结论是不成立的.举例说明如下: 设G为图1或图2所示的图.它的所有导出子图中,没有C_(2n 1)(n≥2)或K_3·3K_2(i)和     

K_(1,4)-受限图的最长路

图G中同构于K_(1,p)的子图叫G的p-爪(p≥3).如果G中任意一个p-爪中1度顶点之间边(在G中的边)的数目≥p-2,则称G为K(1,p-)-受限图,它是无爪图(p=3)时的推广.本文证明了:连通的K_(1,4-)受限图G,若|G|≥7,则G有Hamilton路或有长至少为2δ+2的路.     

关于单K_3-群的ONC-刻画（英文）

设G为有限群,o_1(G)表示G中最高阶元素的阶,n_1(G)表示G中最高阶元素的个数.设G—共有r个o_1 (G)阶元,其中心化子的阶两两不同,并依次设这些中心化子的阶为c_1(G), c_2(G),…,c_r(G).令ON_1(G)={o_1(G);n_1(G)},ONC_1(G)={o_1(G);n_1(G);c_1(G),c_2(G),…,c_r(G)}.我们分别称ON_1(G),ONC_1(G)为G的第1 ON-度量和第1 ONC-度量.本文用群的第1 ON-度量和第1 ONC-度量刻画了单K3-群,其中K3-群指的是阶刚好含3个不同素因子的群.     

内-p-闭群

以下所讨论之群恒为有限. 一个群G叫内-∑群,如果G不具有性质∑,但G的每真子群具有性质∑. 一个群∑叫p-闭的,如果G的p-sylow子群在G内正规.特别,当p |G|时,G为p-闭. 这篇短文证明了内-p-闭群G或者为p~αq~β阶q-基本群,或G/φ(G)为复阶单群,并利用Thompson极小单群的分类证明了内-2-闭群为可解从而给出了它的简明的定义关系.本文还利用极小单群的分类给出了几个可解群的充分及必要条件.     

关于有限3-群的幂结构

<正> A.Mann 在[1]中考察了有限 p-群中的下述三个性质:P_1:对于任意正整数 n,(?)_n(G)由 G 中元素之 p~n 次幂组成;P_2:对于任意正整数 n,exp(?)_n(G)≤p~n;P_3:对于任意正整数 n,|(?)_n(G)|=|G:(?)_n(G)|.他规定,如果群 G 的每个部分群(即子群、商群和子群的商群的统称)都具有性质 P_i,i=1,2,3,则称 G 为 P_i-群;而如果 G 同时为 P_i-群,i=1,2,3,则称 G 为 P-群.他证明了 P_3-群是 P_2-群,P_2-群是 P_1-群,从而 P-群和 P_3-群等价.在该文§4,他对 p=2的情形较详细地研究了 P_i-群,并给出了有限2-群是 P_i-群的一些充分必要条件([1,定理26]).本文的目的是对 p=3的情形做同样的研究,这是 A.Mann 在[1]中提出的值得进一步研究的第一个问题.     

关于 E.Artin 的一个问题

本文用有限单群分类定理解决了 E.Artin 所提出的如下问题:定出所有Sylow 子群的阶大于 g~(1/3)(g-|G|)的有限单群 G.     

完全二部图K_(1,n),K_(2,n)和K_(3,n)的点强可区别全染色

设f是图G的一个正常全染色.对任意x∈V(G),令C(x)表示与点x相关联或相邻的元素的颜色以及点x的颜色所构成的集合.若对任意u,v∈V(G),u≠v,有C(u)≠C(v),则称.f是图G的一个点强可区别全染色,对一个图G进行点强可区别全染色所需的最少的颜色的数目称为G的点强可区别全色数,记为X_(vst)(G).讨论了完全二部图K_(1,n),K_(2,n)和L_(3,n)的点强可区别全色数,利用组合分析法,得到了当n≥3时,X_(vst)(K_(1,n)=n+1,当n≥4时,X_(vst)(K_(2,n)=n+2,当n≥5时,X_(vst)(K_(3,n))=n+2.     

一类正的K_0-群同态的提升

设0→I→A■B→0为C~*-代数扩张,其中I为AF-代数,A为有单位元的C~*-代数.设D为一类AF-代数.本文利用投影元的保序提升和K_0-群的归纳极限来研究K_0(D)到K_0(B)的群同态被K_0(π)提升的问题.从而得到,如果Φ为从K_0(D)到K_0(B)的正的群同态且Φ([1_D]_0)=[1_B]_0,则Φ可以被K_0(π)提升.     

变换图的正则性和谱半径

在前人对八种变换图研究的基础上,探讨了变换后满足正则性的原图的性质,得到了如下结果:G~( )及G~(---)是正则图当且仅当G是正则图;G~( -)和G~(-- )为正则图的充要条件是G为C_n、K_(2,n-2)或K_4;G~( - )和G~(- -)是正则图当且仅当G为C_5、K_7、K_2、K_(3,3)或G_0;G~(- )和G~( --)是正则的当且仅当G是(n-1)/2-正则图．同时还讨论了变换图的谱半径上界,并对这些上界进行了估计．     

关于广义Dedekind群

如果群G的任意循环子群H满足|HG:H|≤p,其中p是素数,那么称G是C*(p)-群.若群G是有限C*(p)-p-群,则当p＞3时,该群的幂零类至多为2;若p=3,该群的幂零类至多为3,而且当cl(G)=3时,exp(G)=9;同时,若G与任意有限C*(p)-p群G × K直积是C*(p)-P-群G×K,则G是初等阿贝尔p-群.最后还对局部幂零的C*(p)-群进行了探讨.     

关于2-边连通3正则图荫度的一个注（英文）

图G的点荫度a(G)是G的使得每个子集诱导一个森林的顶点划分中子集的最少个数.我们熟知对任何平面图G,a(G)≤3,且对任何直径最大是2的平面图有a(G)≤2.文献[European J.Combin.,2008,29(4):1064-1075]中给出下列猜想:任何没有3-圈的平面图都有一个顶点的划分(V_1,V_2)使得V_1是独立集,V_2诱导一个森林.本文证明了任何2-边连通上可嵌入的3-正则图G(G≠K_4)都有一个顶点的划分(V_1,V_2)使得V_1是独立集,V_2诱导一个森林.     

完全多部图K_(1*r,3*(k-2))的m数

如果对一个图G的每个顶点v,任给一个k-列表L(v),使得G要么没有正常列表染色,要么至少有两种正常列表染色,则称图G具有M(k)性质.定义图G的m数为使得图G具有M(k)性质的最小整数k,记为m(G).已有研究表明,当k=3,4时,图K_(1*r,3*(k-2))具有M(k)性质,且当r≥2时,m(K_(1*r,3*(k-2)))=k.本文将上述结论推广到每一个k,证明了对任意r∈N~+,k≥3,图K_(1*r,3*(k-2))具有M(k)性质,且当k≥4,r≥(k-2)时,m(K_(1*r,3*(k-2)))=k.此外,得到图K_(1,3,3,3)的m数为4,该图是图K_(1*r,3*(k-2))中r=1,k=5时的特殊情况,同时也是现有研究中尚未解决的一个问题.     

完全二部图的K_(p,p)-分解大集的存在谱

令H,G是两个简单图,G是H的一个子图.H的G-分解,记为(λH,G)-GD,是指将图λH的所有边分拆为若干个与G同构的子图(称为G-区组).H的G-分解的大集,记为(λH,G)-LGD,是指图H的所有与G同构的子图的一个分拆Β_1,Β_2,…,Β_m,使得每个B_j(1≤j≤m)为一个(λH,G)-GD (称为小集).本文中,我们对完全二部图的K_(p,p)-分解的大集进行了研究,利用K_v的λ重K_κ-因子大集的存在性结果,采用直接构造的方法,得到了大集(λK_(m,n),K_(p,p))-LGD的存在谱,其中p为任意素数.