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

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

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

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

图的全符号控制数

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

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

一类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 模的非平凡商模.     

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

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

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

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

be-Iiyori 猜想和Ree 群2F4(q)(∏)

就一类单群^{2F₄(q) 和 2F₄(2)''证明了Abe-Iiyori猜想.}     

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

独立数的一个下界

设G是一个图,其度序列为(d_v). 若由G的任意邻域导出子图的最大度至多为m, 则G的独立数至少是 ,这里当x>0, 函数f_m+1(x)大于 . 对于加权图G=(V,E,w), 证明了它的加权独立数至少是 ,这里w_v是顶点v的权重.     

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

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

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

复指数系的不完备性和最小性

本文得到复指数系E(Λ,M)在C_α中不完备的一个充分必要条件, 其中C_α是所有在实轴R上连续, 且当t趋向无穷时, f(t)exp(−α(t))趋向零 的复函数f组成的集合. 在一致范数||f||_α=sup{|f(t)e^−α(t)}|: t∈R}下, C_α是一个Banach 空间. 证明了在不完备的情形下, 复指数系E(Λ,M)是 最小的并且 复指数系E(Λ,M)中 线性 组合的闭包中的任意函数可以延拓成由 Taylor-Dirichlet 级数表示的整函数.     

系列平行图的除V*外的边覆盖划分

任意给定系列平行图G的一个顶点v^*, 则G的边集可划分为k=min {κ′(G)+1, δ(G)}个子集, 使得每一个边子集覆盖可能除v^*以外的所有顶点, 其中δ(G)为G的最小度, κ′(G)为G的边连通度. 另外, 证明了该结果是最好的可能, 并且通过此证明过程得到一个可找到该划分的多项式时间算法.     

有向三元系超大集的存在谱

一个v 阶有向三元系,记为DTS(v,λ), 是指一个对子(X, B),这里X为v元集, B为X上一些可迁三元组(简称区组) 构成的集合, 使得X上每个由不同元素组成的有序对都恰在B的λ个区组中出现. 一个有向三元系的超大集,记为 OLDT(v,λ), 是指一个集合(Y{y}, A_I)_I, 其中Y为v+1元集, 每个(Y{y}, A_I)是一个DTS(v,λ), 并且所有 A_I 形成 Y上全部可迁三元组的分拆. 讨论OLDTS(v,λ)的存在性问题, 并且给出结论: 存在OLDTS(v,λ) 当且仅当 λ=1 且v≡0,1 (mod 3), 或 λ=3且v≠2.     

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

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

极小正则2-图及其应用

2-图是边的尺寸至多为2的超图,极小正则2-图是不含有真正则因子的正则2-图. 设f₂(n)为所有n个顶点的极小正则2-图的最大度数.给出了极小正则2-图的一个结构性质，并由此证得 f₂(n) =(n+3-i)/3, 其中1≤i≤6, n≥7, i≡n(mod 6),从而解决了范红兵等人提出的一个猜想. 作为在图论中的应用, 可以刻画不可分解因子的正则图, 并给出关于度条件的最好可能的因子存在性定理. 进而, f₂(n)和极小2-图可应用于最初引发这项研究的通用开关盒设计问题.     

可递Lie代数胚1阶上同调群的局部化

对连通流形M上可递Lie代数胚A的任意一个向量丛F上的表示, 研究一个称作局部化的同调群的同态¡ ^k: H^k (A, F)→H^k (L_x, F_x), 其中L_x是在x∈M处的伴随Lie代数. 主要结果是: 当底流形M单连通或者H⁰(L_x, F_x)平凡时, ¡¹是单射, 即Lie代数胚A的1阶上同调群由在点x∈M处伴随Lie代数 的1阶上同调群完全决定.