广义k-合冲模

首先引入广义k-合冲模的概念, 然后给出了由广义k-合冲模组成的模范畴与由ω-k-挠自由模组成的模范畴是一致的一个等价刻画. 进一步研究了由广义k-合冲模组成的模范畴的扩张闭性. 推广了一些已知结果.     

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

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

构造k紧优双环网的无限族的新方法

双环网(double loop network)是具有n个结点和出度为2的有向循环图, 已广泛地应用于局域网和分布系统的设计中. 给出了构造k紧优双环网的无限族的新方法,对于k=0,1,…,40,用此方法可构造k紧优双环网的无限族, 其中结点数n_k(t,a) 是t的二次多项式且含有参数a; 并提出了一个猜想.     

有限群的极小子群与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-子群. 作为这一结果的应用, 一些已知的结果被推广.     

有理函数域上的Gross猜想

研究分圆函数域扩张k(Λ_f)/k情形下的Gross猜想, 其中k=F_q(t)是有理函数域, f是k上的首一多项式.通过直接计算,证明了在Fermat曲线(即f=t(t−1))情形时猜想成立.当f为不可约多项式时,证明了Gross猜想和Weil互反律等价.对一般情形,证明了弱Gross猜想成立.     

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中的指标.     

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

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

二部图中求正交于星的(g, f)-染色的一个多项式算法

令G是一个具有顶点集V(G)和边集 E(G)的二部图, 且令g和f是定义在 V(G)上的两个非负整数值函数,使得对每个顶点x∈V(G)都有g(x)≤f(x). G的一个(g,f)-染色是一个推广的边染色,它满足在每个顶点x每一种颜色至少出现g(x)次且至多出现f(x)次. 给出了求二部图中满足某些约束条件且具有最小颜色数的(g,f)-染色的一个多项式算法并证明了此结果是最好的可能.     

完全二部图的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−1-因子分解的充分必要条件是: (1) (2k−1)m ≤2kn, (2) (2k−1)n ≤ 2 km, (3) m+n ≡ 0 (mod 4k−1), (4) (4k−1)mn/[2(2k−1)(m+n)]是整数. 即证明了对于任意正整数k, 当v=4k−1时Ushio猜想成立.     

图的距离不大于β的点可区别的全染色

提出了D (β)-点可区别全染色这一概念, 即对图G的一个正常全染色, 距离不大于β的任意两点有不同的色集, 其中, 每个点的色集由该点和其邻边的颜色所组成. 讨论了一些特殊图的距离不大于2的任意两点可区别全染色, 同时提出了一个猜想和一个未解决问题.     

局部域的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的一个猜想.     

弱 (K1, K2) -拟正则映射的正则性

给出空间弱(K₁, K₂) -拟正则映射的定义, 并以Hodge分解及弱逆Hölder不等式为工具, 得到了其正则性结果：对任意满足 的q1, 都存在可积指数 使得对任意弱 (K₁, K₂) -拟正则映射 都有 即f为通常意义下的(K₁, K₂) -拟正则映射.     

积域上奇异积分算子的Lp有界性

用旋转法证明了对于Ω∈ L(log⁺L)² (Sⁿ-1×S^m-1),Ω(x′,y′)dσ(x′)= 0(y′∈S^m-1), Ω(x′,y′)dσy′)=0(x′∈Sⁿ-1),带核函数K(u,v)= Ω(u′,v′)|u|^-n|v|^-m的奇异积分算子T是L^p(Rⁿ×R^m)有界的,其中1<p<∞.     

6p2阶的三度半对称图

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

非正规 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-群.     

高次Koszul模

引进了高次Koszul模, 从而推广了Koszul模的概念. 对于分次代数Λ , 考察了可线性表现分次模范畴L (Λ)与其全子范畴K_t(Λ), 即t-Koszul 模范畴的关系.即使当t =2时, 对满足L (Λ)=K₂(Λ)的代数L进行分类仍是一个未解决的问题. 对于任一正整数t≥2, 给出了满足L (Λ)=K_t(Λ)的单项代数L的组合分类.     

二部多重图的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时上述猜想成立.     

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种有界波(周期波、广义紧孤立波、广义扭波和正常孤立波)的存在性,而且还给出了它们的显式表达式或隐式表达式.为验证其结果的正确性,文中还用计算机绘出了几组有界波解的图形以及它们的数值模拟图.     

p-块的结构

研究了亏群满足某些特殊条件时块的结构, 对这些块证明了K(B)-猜想成立.这些特殊条件包括:亏群中的元素在群中共轭当且仅当在亏群中共轭; p -部分共轭包含在亏群$P$中的共轭类的个数不超过|P|等.