用可解子群的阶刻画有限单群

设G是有限群,S是有限单群. 在这篇文章中,我们证明：如果G和S的可解子群的阶集合相同,那么G与S同构,或G和S同构于B_n(q)和C_n(q), 其中q是奇数, n≥3.     

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

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

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

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

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

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

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

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

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-自由的幂零群的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-群的扩张.     

一类Block型Lie代数的最高权表示

对特征0的域F以及F的一个加法子群G, 一类Block型Lie代数B(G)定义为以{L_α,i,c|α ∈ G, -1≤ i∈Z}为基, 并满足关系 [L_α,i, L_β,j]=((i+1)β-(j+1)α)L_α+β,i+j+αδ_α,-βδ_i+j,-2c, [c,L_α,i]=0.给定群G上的一个与其群结构相融的全序以及任意的Λ∈B(G)_*⁰, 我们定义了B(G)上的Verma模M(Λ,), 并且完全决定了M(Λ,), 的可约性. 而且证明了B(Z)上的一个不可约最高权模是伪有限的当且仅当它是某个Verma 模的非平凡商模.     

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均为有限简单连通图, 是一个有顶点集合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 ₁ , X₂,…, X_n是在R^Q+1的q-维单位球面Ω_Q取值的随机变量X的iid观测值(q≥1), 其球面概率密度函数为f(X).设f_n ( X)=n^-1(h)K((1- X^ＴXⁱ)／h²)是f(X)的核估计. 在较弱的条件下建立了f_n的积分平方误差的中心极限定理.     

某些有限群的自同构群

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

Happer简并之谜与Yangian代数

Happer等人为了分析在87Rb的浓蒸汽的Zeeman效应中出现的奇怪简并,将Breit-Rabi Hamilton量H=x(K+1/2)S_z+K&#8729;S 推广到S=1并且给出在x=±1时的简并态(即Zeeman效应消失). 我们找到能够区分这些简并态的算符,并且发现这些算符满足Yangian 对易关系. 由Y(sl(2))的表示论提出了解除简并的方案, 并预言其物理特征.     

交换环上的典型群在一般线性群中的扩群

对任一有1的交换环R, 给出了R上的酉群U_2nR(n≥ 5,含辛群, 正交群和标准酉群) 在R上一般线性群GL_2n R 中扩群的完整刻画.     

借助单参数Lie群求首次积分的方法及其在陀螺系统的应用

讨论利用单参数Lie群求自治常微分方程组首次积分的方法, 并对经典陀螺系统找到其接受的一种非平凡单参数Lie群, 利用其所揭示的首次积分的特点就可用统一的思想容易地求出Euler, Lagrange及Kovalevskaya情形下的第4个首次积分, 指出并纠正了前人关于Kovalevskaya陀螺在x_G, y_G均不等于零的一般条件下第4个首次积分的错误.     

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

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

高维非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维双曲空间和球面空间中的基本不等式.另外,也提出了与此相关的一些问题和猜想.     

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.