与有限特殊射影酉群有相同Sylow正规化子阶的有限群

证明了有限群G同构于有限特殊射影酉群U_n(q)当且仅当对每一个素数r,它们有相同的 Sylow r-正规化子的阶.     

有限交换齐次循环群的增广商群的结构

令G是有限交换群, 并且它的Sylow p-子群是阶为p^r的循环群的直和,即G是一个有限交换齐次循环群. 令Δⁿ(G)表示增广理想Δ(G)的n次幂. 对每个自然数n本文给出了连续商群Q_n(G)=Δⁿ(G)/Δⁿ⁺¹(G)的结构, 并由此解决了有关这类有限交换群的Karpilovsky未解决问题.     

交错群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-群.     

无限可解群全形的剩余有限性质

给出了S₀-群的特征群列Abel商因子的排序, 得到了S₁ -群全形的剩余有限性质, 证明了: 若S₁-群G的Fitting子群的中心是既约的, 则其全形Hol(G)是剩余有限π-群, 这里π是有限个素数的集合.     

高维非Euclid几何的几个基本不等式

通过提出n维双曲空间Hⁿ中有限点集 Σ_n(H(A))共超球的概念和n维球面空间Sⁿ 中有限点集Σ_n(S(A))共超平面的概念,使得n维双曲空间Hⁿ(或球面空间Sⁿ)中共超球(或共超平面)的有限点集Σ_n(H(A))(或Σ_n(S(A)))的Cayley-Menger矩阵 (或的秩不超过n+2. 再利用特征根的方法,建立了n维双曲空间和球面空间中的杨-张型不等式、Neuberg-Pedoe型不等式以及度量加型不等式,这些几何不等式分别是n维双曲空间和球面空间中的基本不等式.另外,也提出了与此相关的一些问题和猜想.     

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

图的全符号控制数

本文考虑的图G均为有限简单连通图, 是一个有顶点集合V边集合E的有限简单连通图，用V(G) 和E(G) 分别表示G的顶点集和边集. f 是一个从V(G)∪E(G)→{-1, 1}的函数. f 的权重定义为 w(f)=∑_{x∈V(G)∪E(G)}f(x). 对任一元素x∈V(G)∪E(G), 定义f[x]=∑_y∈NT[x]f(y). 图G的全符号控制函数f : V(G)∪ E(G)→{-1, 1}是一个对所有的x∈ V(G)∪ E(G), 都满足f[x]≥1的函数. G的所有全符号控制函数中最小的权定义为G 的全符号控制数，记作γ_s^*(G). 讨论了图的全符号控制数, 证明了图的全符号控制数的下界, 并对一些特殊的图类C_n 和P_n本文得到了全符号控制数的精确值.     

重尾β混合随机变量序列的大偏差

设{X_n; n≥1}是重尾平稳非负随机变量序列, 研究其部分和 S_n=X₁+X₂+…+X_n的对数渐近性质. 对于适当的x, 在混合条件下, 给出了估计P(Sn>n^x)≈n^−αx+1, 其中α是特定的参数. 验证了Gantert提出的相关的猜想, 并且证明了所谓的上确界大偏差原理.     

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

Dedekind zeta函数与Dedekind和

Dedekind和表示两个实二次数域的Dedekind zeta函数在-1处值的积,给出了不同于Siegel的表示公式. 为应用,得到ζ_K(-1)的一个多项式表示:1/45 (26n³-41n±9), n≡±2(mod5),这里K=Q(Ö5q),素数q = 4n²+1,且实二次数域K ₂=Q(Öq)的类数为1.     

作用在有限线性空间上基柱为3D4(q) 的几乎单群

旗传递线性空间的分类完成以后, 人们开始关注线传递线性空间. 线传递线性空间可以分为非点本原和点本原两种情形. 根据 Delandtsheer-Doyen 理论, 非点本原线传递分类比较容易解决. 而点本原的情形, 根据 O''Nan-Scott 理论和 Camina 的一些前期工作, 又可以分成基柱为初等交换群或非交换单群两种情形. 本文考虑 T 是非交换单群, T≤ G≤ Aut(T) 且 G 线传递作用在有限线性空间上的情形. 并获得了一些有用的引理. 特别地, 证明了当 T 同构于 ³D₄(q) 时, T 是线传递的, 这里 q 是素数 p 的方幂.     

Woronowicz C*代数交叉积的正则与协变表示

A是Woronowicz C^*代数, G是作用于其上的离散群, 主要证明了它们的交叉积代数A×_αG的正则表示和协变表示都对应于乘法酉算子,同时证明了正则协变的C^*代数也是一个对应乘法酉算子的Woronowicz C^*代数,最后给出了C(SU_q(2)×_αZ对应的乘法酉算子的一个明确表示.     

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

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的一般情形, 证明了该猜想成立.     

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

完全二部图Km,n的Kp,q-因子分解

如果完全二部图K_m,n的边集可以划分为K_m,n的K_p,q-因子, 则称K_m,n存在K_p,q-因子分解. 给出K_m,n存在K_p,q-因子分解的一个充分条件. 同时证明: 对于任意正整数k, 当p:q = k:(k + 1)时, K_m,n存在K_p,q-因子分解, 即Martin的BAC猜想成立.     

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

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

图的三阶边连通度的优化问题

设F是图G的一个边子集,若G-F不连通且它的每个连通分支至少有3个顶点, 则称F为G的一个三阶边割. 若G有三阶边割, 把G的最小的三阶边割所含有的边数叫作G的三阶边连通度,记作λ₃(G). 研究λ₃(G)的优化问题, 首先引进λ₃(G)的极大性和超级性这两个组合优化概念,然后分别给出λ₃(G)实现极大性和超级性的Ore型充分条件. 这些概念和结果在网络可靠性分析中有重要应用.     

某些有限群的自同构群

证明了: 若n是大于1的奇数, 使得对任意素数p都有p⁴æn, 则不存在有限群G, 使得|Aut(G)| = n.     

与强奇异 Calderón-Zygmund 算子相关的Toeplitz型算子

研究与强奇异Calderón-Zygmund 算子和Lipschitz函数b∈Λ^∙_β0（Rⁿ）相关的Toeplitz型算子T_b(f)从 L^p（Rⁿ）到L^q（Rⁿ） 的有界性和 L^p（Rⁿ）到F^∙β₀,∞ _p的有界性,1/q=1/p-β₀/n. 得到了广义Toeplitz型算子Θ^b_α0 是 L^p（Rⁿ）到L^q（Rⁿ）有界的,1/q=1/p-(α₀+β₀)/n.上述结果包含了相应的交换子的有界性.同时还得到了与强奇异Calderón-Zygmund 算子和BMO函数b相关的 Toeplitz型算子 T_b(f)的L^p（Rⁿ）有界性, 1ápá∞ .