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

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

某些有限群的自同构群

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

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

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

求异常椭圆曲线上的DLP的一个算法

对Semaev给出的求异常椭圆曲线E(F_p)上的离散对数的方法作进一步改进,给出一个更加容易实现的从E(F_p)到F_p的同构映射,进而给出一个求异常椭圆曲线E(F_p)上的离散对数的优化算法.     

图的全符号控制数

本文考虑的图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本文得到了全符号控制数的精确值.     

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

球面稳定同伦群中的一个非平凡积

设p≥7为任意奇素数, A为模p的Steenrod代数. 1962年, A. Liulevicius在他的文章中指出元素h_i, b_k∈Ext^*_A(Z_p, Z_p)分别具有双次数(1, 2pⁱ(p&#8722;1))和(2, 2p^k+1(p&#8722;1)). 我们证明: 当p≥7, n≥4, 3≤s<p&#8722;1时, 积h₀h_n-1r_s ∈ E_xt_A^{s+3,p+sp2q+(s-1)pq+(s-1)q+s-3}(Z_p,Z_p)收敛到Z_∞, 其中q=2(p&#8722;1).     

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

一类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-群的扩张.     

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

研究与强奇异Calderón-Zygmund 算子和Lipschitz函数b∈Λ^&#8729;_β0（Rⁿ）相关的Toeplitz型算子T_b(f)从 L^p（Rⁿ）到L^q（Rⁿ） 的有界性和 L^p（Rⁿ）到F^&#8729;β₀,∞ _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á∞ .     

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

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

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

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

Reinhardt域上正规化双全纯凸映射的分解定理

研究了Cⁿ中Reinhardt域D_p = {(z₁, z₂, …, z_n)∈Cⁿ: 上正规化双全纯凸映射的结构问题, 给出了该类映射的分解定理. 作为特例, 证明了每个这样的映射f的第j个分量f_j (j= 1, 2, …, n), 展开式的前k项仅与z_j有关, 其中k是满足k＜min{ p¹ , p² , …, p_n}≤k + 1的自然数. 当p¹ , p² , …, p_n→∞时, 这将导出T. J. Suffridge关于多圆柱上凸映射类的分解定理.     

乘积空间上Marcinkiewicz积分的Lp(Rm×Rn)有界性

研究乘积空间上Marcinkiewicz积分算子的L^p(R^m×Rⁿ)有界性. 对于固定的1L^p(R^m×Rⁿ)有界性成立的一个充分条件.     

球面密度估计的积分平方误差的中心极限定理

设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的积分平方误差的中心极限定理.     

拟齐性偏微分方程的多项式解

设p是Rⁿ上具C^∞系数的线性偏微分算子,关于拟相似变换δ_τ(x)=(τ>0)是m次拟齐性的,m>0,如果a₁,a₂,…,a_n全为正有理数或m∈M={α·a,α∈Iⁿ₊},则方程p[u]=0的多项式解空间必为无穷维的.     

多圆柱上的Lipschitz空间上的复合算子

设Uⁿ是n维复空间Cⁿ中的单位多圆柱, φ =( φ₁, …, φ _n)是Uⁿ到自身的一个全纯映射. 在0≤α<1条件下讨论了复合算子C_φ 在Lipschitz空间Lipa(Uⁿ)上的有界性和紧性.     

具有高阶非线性项的广义KdV方程的

研究具有高阶非线性项的广义KdV方程 u_t + a (1 + buⁿ)uⁿ u_x + u_xxx = 0, 这里n ≥1, a, b是实数且a ≠ 0. 用动力系统的定性理论和分支方法, 讨论了该方程的孤立波解的解析表达式和孤立波的分支, 并给出了孤立波的分支图, 解决了孤立波的存在性及其个数等问题.