非正规 Cayley 图的两个充分条件及其应用

群G的Cayley图Cay(G, S)称为是正规的, 如果G的右正则表示R(G)在Cay(G, S)的全自同构群中正规. 给出了非正规 Cayley图的两个充分条件. 应用该结果, 构造了5个连通非正规Cayley图的无限类, 并决定了A₅的所有连通5度非正规 Cayley图,从而推广了徐明曜和徐尚进关于A₅的连通3、4度Cayley图正规性结果. 此外, 决定了A₅的所有连通5度非CI Cayley图.     

交错群A5的Cayley图同构的Li-Praeger猜想

设G是有限群, S是G＼{1}的子集,并满足S=S -1. 用X=Cay(G, S )表示G关于S的Cayley图. 称S为G的CI-子集, 如果对任意同构Cay(G, S )Cay(G, T )存在α∈Aut(G), 使得Sα=T .设m是正整数,称G为m-CI-群, 如果G的每个满足S =S -1和|S|≤m的子集S都是CI的. 证明了Li-Praeger猜想：交错群A₅是4- CI-群.     

二倍无平方因子阶的3度1-正则图

一个图叫做1-正则的, 如果它的自同构群在它的弧集上作用正则. 设n是一个无平方因子的正整数. 证明了存在2n阶3度1-正则图当且仅当n=3^tp₁p₂… p_s≥13, 其中t≤1, s≥1, p_i (1≤ i≤s)为互不相同的素数且满足3|(p_i-1). 进一步, 对每个满足上述条件的整数n, 共有2^s−1个互不同构的2n阶3度1-正则图, 并且这些图均为2n阶二面体群上的Cayley图. 由此可知, 不存在4m阶3度1-正则图, 其中m为无平方因子的奇数.     

6p2阶的三度半对称图

正则图G 称为G-半对称图, 如果G 的自同构群A := AutG 有一个子群G在G 的边集上传递, 但在其点集上不传递, 特别地, 当G= A时Γ 称为半对称图. 本文旨在考察素数度的(G-)半对称图. 首先给出了素度数的(G-)半对称图的群论刻画, 其次对6p²阶的三度半对称图进行了完全分类, 其中p是奇素数.     

k-临界2k-连通图

图G 称为(n, k)-图, 如果对任一SÍ V(G) (|S|≤k)有k(G-S)=n-|S|, 其中k(G)表示G的连通度. Mader猜想当k≥3时K_2k+2-(1-因子)是惟一的(2k, k)-图. M. Kriesell 解决了k = 3, 4的特殊情形. 对k≥5的一般情形, 证明了该猜想成立.     

G-旋模型观测量代数间的C*-指标

在取值于有限群G的二维格子旋系统模型中, 可以定义场代数F. 群G的Double代数D(G), 进而由子群H决定的子Hopf代数D(G;H), 在F上有自然作用, 使得F成为模代数. 给出F的D(G; H)-不变子空间A_H的具体结构, 通过构造A_H到A_G的条件期望γ_G的拟基, 得到γ_G的C^*-指标, 等于子群H在G中的指标.     

半二面体群的小度数Cayley图

群G的一个Cayley图X=Cay(G,S)称为正规的,如果右乘变换群R(G)在Aut X中正规.研究了4m阶半二面体群G=〈a,b a2m=b2=1,ab=am-1〉的3度和4度Cayley图的正规性,其中m=2r且r>2,并得到了几类非正规的Cayley图.     

局部域的K2群中的一类挠元素

证明了(K₂Q_p(z_p))_I=G_p(Q_p(z_p)); 还证明若n|w(Q₅ (z₅)), 则(K₅Q₅(z₅))_n=G₅(Q5₅(z₅)), 这说明对于含有p次本原单位根的p局部域, 如果p|n, 则Browkin猜想一般不成立. 由此提出一个一般猜想. 另外, 否定了Urbanowicz的一个猜想.     

有限群的正规Cayley图

证明了每个有限群G有正规Cayley图除非G~₌Z₄×Z₂ 或G~₌Q₈×Z^r₂ (r≥0 ) ;每个有限群都有正规Cayley有向图 ,其中Z_m 表示m阶循环群,Q₈表示8阶四元数群.     

不含4圈的平面图的全色数

用Δ(G), χ_ve(G)分别表示图G的顶点最大度和全色数.Vizing猜想: 对任何 简单图G, Δ(G) +1≤χ_ve(G)≤Δ(G)+2. 即使对于平面图, 这一猜想仍未获得完整的证明, 唯一待完成的困难情形是Δ(G)=6. 本文证明:若Δ(G)=6的平面图G不含有4圈, 则χ_ve(G)≤8.这一结果和以前在该问题上的已知结果表明：对于不含有4圈的平面图，Vizing猜想是正确的.     

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

群G的一个Cayley图X=Cay(G,S)称为正规的,如果右乘变换群R(G)在AutX中正规.研究了4m阶拟二面体群G=a,b|a~(2m)=b~2=1,a~b=a~(m+1)的4度Cayley图的正规性,其中m=2~r,且r2,并得到拟二面体群的Cayley图的同构类型.     

连通域上Toeplitz代数的K群

证明了任何连通域上Toeplitz代数的K₀群总是同构于对应连续函数代数的K₀群. 此外,计算了某些连通区域的本性边界的上同伦群及这些区域上连续函数代数的K₀群.     

CH-γ方程的4类有界波解

最近,许多作者研究过下面的CH-γ方程 u_t+c₀ u_x+ 3uu_x-α²(u_xxt+ uu_xxx+2u_xu_xx)+γ u_xxx=0,其中α², c₀和γ是参数.在该方程的有界波研究中,已有的文献主要考虑α²>0的情形,对于α²<0的情形,Dullin等叙述了3种有界波(正常孤立波、紧孤立波和周期尖波)的存在性,但没有给出具体证明.在这篇文章中,主要考虑α²<0的情形,文中不仅证明4种有界波(周期波、广义紧孤立波、广义扭波和正常孤立波)的存在性,而且还给出了它们的显式表达式或隐式表达式.为验证其结果的正确性,文中还用计算机绘出了几组有界波解的图形以及它们的数值模拟图.     

π-块上第一主要定理的扩张

设G是一个有限π-可分群, 其中π是一些素数的集合. I. M. Isaacs定义了G的B_π特征标, 这种特征标可以看作``π-模"特征标, 并且B_p’特征标是一个p-模特征标的标准提升. 在Isaacs工作的基础上, M. C. Slattery把Brauer关于p-块的三大主要定理成功地推广到有限πp-可分群的π-块上. 本文在π-块的第一主要定理的基础上,进一步讨论了第一主要定理的扩张问题.     

2p2阶3度Cayley图

Cayley图Cay(G,S)称之为正规的,如果G的右正则表示是Cay(G,S)全自同构群的正规子群。本文决定了2p~2(p为素数)阶群上3度连通Cayley图的正规性,作为该结果的一个应用,对每一个1(?)s(?)5,对2p~2阶3度s-正则Cayley图作了分类。     

有限群的极小子群与p-幂零性

有限群G的子群H称为在G中是c-可补的(c-supplemented in G), 如果存在G的子群K, 使得G = HK且H∩K≤core(H). 获得了如下结论: 设G是与S₄无关的有限群, 如果P∩G^N 的每一极小子群均在N_G(P)中c-可补, 且当p= 2时P与四元素群无关, 则G是p-幂零的. 这里p是G的阶的最小素因子, P是G的Sylow p-子群. 作为这一结果的应用, 一些已知的结果被推广.     

Banach空间上算子代数的K0群

对G-M型Banach空间的某些分类予以简化性合并;讨论Banach空间X上算子代数B(X)的K₀群K₀(B(X))=0的条件, 得到了改进Laustsen充分条件的一个结果,举例说明了X≈X₂不是K₀(B(X))=0的充分条件.     

二部多重图的P4k-1-因子分解

如果二部多重图λK_m,n的边集可以划分为λK_m,n 的P_v-因子, 则称 λK_m,n存在P_v-因子分解. 当v是偶数时,Ushio, Wang和本文的第2作者给出了λK_m,n存在P_v-因子分解的充分必要条件. 同时提出了当v是奇数时λK_m,n存在P_v-因子分解的猜想, 但是至今为止仅知当v=3时该猜想成立. 对于正整数k,本文证明λK_m,n存在P_4k-1-因子分解的充分必要条件是：(1)(2k-1)m ≤2kn, (2) (2k-1)n≤2km, (3) m+n ≡0(mod 4k-1), (4) λ(4k-1)mn/[2(2k-1)(m+n)]是整数, 即证明:对于任何正整数k, 当v=4k-1时上述猜想成立.     

一类3p~2阶4度1-正则图

设p为大于3的素数,群G=和H=(其中r(?)1(mod p~2),r~3≡1(mod p~2),3|(p-1))是两类3p~2阶非交换群.通过研究Cayley图的正规性,完成了对G和H的所有4度Cayley图的分类,并得到了一类新的4度1-正则图.     

完全二部图的P4k-1-因子分解

如果完全二部图K_m,n的边集可以划分为K_m,n的P_v-因子,则称K_m,n存在P_v-因子分解. 当v是偶数时, Ushio和Wang 给出了K_m,n存在P_v-因子分解的充分必要条件. Ushio同时提出了当v是奇数时K_m,n存在P_v-因子分解的猜想, 但是至今为止仅知当v=3时Ushio猜想成立. 对于正整数k,本文证明K_m,n存在P_4k&#8722;1-因子分解的充分必要条件是: (1) (2k&#8722;1)m ≤2kn, (2) (2k&#8722;1)n ≤ 2 km, (3) m+n ≡ 0 (mod 4k&#8722;1), (4) (4k&#8722;1)mn/[2(2k&#8722;1)(m+n)]是整数. 即证明了对于任意正整数k, 当v=4k&#8722;1时Ushio猜想成立.