关于K (B)–L (B)=1的块

运用局部表示论以及Brauer的一些原始思想研究了满足条件K (B)–L (B)=1的块, 得到了这种块的结构及其亏群的一些性质. 特别地, 作为这些性质的一个推论, 对这种块证明了K (B)猜想.     

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

设G是一个有限π-可分群, 其中π是一些素数的集合. I. M. Isaacs定义了G的B_π特征标, 这种特征标可以看作``π-模"特征标, 并且B_p’特征标是一个p-模特征标的标准提升. 在Isaacs工作的基础上, M. C. Slattery把Brauer关于p-块的三大主要定理成功地推广到有限π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的一般情形, 证明了该猜想成立.     

一类p-自由的幂零群的p-自同构

设G=KP, 其中K是有限生成的p′-自由的幂零群, P是有限秩的幂零p-群, 并且[K,P]=1, 即G是K和P的中心积, α和β是G的两个p-自同构, 记I:=<(αβ (g))·(βα(g))(¹)|g\in G>, 则 (i) 当I是有限循环群时, <α,β>是一个有限p-群; (ii) 当I是拟循环p -群时, <α,β>是一个可解的剩余有限p-群, 它是有限生成的无挠幂零群被有限p-群的扩张; (iii) 当I是无限循环群时, <α,β>是一个可解的剩余有限p-群, 其幂零长度不超过3; 特别地, 当上述群K是一个FC-群时, 若I是无限循环群, 则<α,β>是有限生成的无挠幂零群被有限p-群的扩张.     

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

LR-正规纯正群并半群

引进和研究了一类新的正则纯正群并半群, 即LR-正规纯正群并半群. 特别地,在构作LR- 正规纯正群并半群中引进了啮合技术来处理强半格中的半群分量.     

连通域上Toeplitz代数的K群

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

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

某些正则p-群的分类及其应用

给出了型不变量为(e,1,1,1) (e≥2)和 (1,1,1,1,1)的正则p-群的分类, 并由此给出了p⁵ (p≥5且p为奇素数)阶群的分类.     

积域上奇异积分算子的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<∞.     

正合Borel子代数的旗导出的强共轭作用

设拟遗传代数A有强正合Borel子代数. 证明了对$A$的任意标准半单子代数S,均存在A的正合Borel子代数B, 使得S是B的极大半单子代数. 由正合Borel子代数构成的旗的最大长度等于A的半径与其Grothendick群的秩之差加1. 正合Borel子代数的共轭类惟一当且仅当A是basic代数;正合Borel子代数的共轭类个数为2当且仅当A是半单代数.非basic非半单拟遗传代数的正合Borel子代数的共轭类个数或者为0或者不小于3. 正合Borel子代数的内自同构群诱导出在A上的强共轭作用, 其全体的集合与$A$的全体极大半单子代数之集合的强轨道的集合一一对应. 所有正合Borel子代数彼此是基共轭的, 即若B与C均是A的正合Borel子代数, 则存在A的幂等元e及可逆元u, 使得eCe=u^-1eBeu.     

某些G-M型Banach空间及其上算子代数的K-群

按分解与合成性质给出G-M型Banach空间的若干新品种, 讨论这些空间上的算子构成; 通过对含于Riesz算子类的算子理想的K-群的计算, 讨论这些G-M型Banach空间上算子代数的K-理论.     

6p2阶的三度半对称图

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

随机环境中的q-过程的存在惟一性

引进了随机(半)转移函数、随机环境中的q-函数、随机环境中的q-过程等基本概念, 并给出了一些基本引理. 对任意连续的随机环境中的q-函数, 证明了随机环境中的q-过程总是存在的, 总是满足随机Kolmogorov倒退方程的, 并证明了最小随机环境中的q-过程总是存在的. 对连续的保守的随机环境中的q-函数而言, 给出了随机环境中的q-过程存在惟一性的充分必要条件. 讨论了一类特殊场合, 即时齐的随机转移函数和时齐的随机环境中的q-过程.     

二部图中求正交于星的(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)-染色的一个多项式算法并证明了此结果是最好的可能.     

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

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

高次Koszul复形

推广了Koszul复形以及Koszul代数,引入了高次Koszul ( t -Koszul)复形和高次Koszul (t-Koszul)代数的概念, 其中t为不小于2的正整数. 证明了代数为高次Koszul代数当且仅当其相应的高次Koszul复形的高阶(≥1)同调群为0. 还通过引入t次对偶代数的概念, 对t-Koszul代数的上同调代数进行了具体的刻画, 证明了对任意的非负整数m, 其中L₀是L的所有单模的直和, 而L^!是L的t次对偶代数.     

齐型空间上的一些新的Triebel-Lizorkin空间及其标架

设(X, ρ, μ)_d,θ是齐型空间, ε∈(0,θ), |s|<ε且 max{d/(d+ε), d/(d+s+ε)}<q≤∞. 引进了一类新的Triebel-Lizorkin空间F^s_∞q(X),并通过先建立与空间F^s_∞q(X)的范数相关的Plancherel-Pólya型不等式的方法建立了这些空间的标架特征; 给出了当|s|<ε, max{d/(d+ε), d/(d+s+ε)}<p≤∞且0<q≤∞时, Besov 空间B^s_pq(X),以及当|s|<ε, max{d/(d+ε), d/(d+s+ε)}<p<∞且max{d/(d+ε), d/(d+s+ε)}<q≤∞时, Triebel-Lizorkin空间F^s_∞q(X)的标架特征; 此外, 还引进了与给定仿增函数b相关的新的Triebel-Lizorkin空间bF^s_∞q(X)和HF^s_∞q(X), 并且建立了空间bF^s_∞q(X)和空间HF^s_∞q(X)的相互关系; 进一步证明了如果s=0且q=2, 则HF^s_∞q(X)=F^s_∞q(X). 因为F^s_∞q(X), 所以事实上这也给出了空间BMO(X)一个新的特征刻画.     

有理函数域上的Gross猜想

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

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