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

交错群A5的小度数Cayley图的对称性

考察交错群A₅的3度、4度Cayley图的正规性. 证明这些图除了4个例外都正规. 作为应用, 证明了A₅非5-CI, 给出A₅的3度、4度弧传递Cayley图的完全分类和A₅的3度、4度GRR的一些例子.     

2p2阶3度Cayley图

Cayley图Cay(G,S)称之为正规的,如果G的右正则表示是Cay(G,S)全自同构群的正规子群。本文决定了2p~2(p为素数)阶群上3度连通Cayley图的正规性,作为该结果的一个应用,对每一个1(?)s(?)5,对2p~2阶3度s-正则Cayley图作了分类。     

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

关于4p阶3度Cayley图的正规性的一点注记

群G的Cayley图Cay(G,S)称为是正规的,如果G的右正则表示R(G)在Cay(G,S)的全自同构群中正规.设p为奇素数,相关文献决定了4p阶连通3度Cayley图的正规性.本文给出了上述文献的主要结果的一个新的简短的证明.     

半二面体群的小度数Cayley图

群G的一个Cayley图X=Cay(G,S)称为正规的,如果右乘变换群R(G)在Aut X中正规.研究了4m阶半二面体群G=〈a,b a2m=b2=1,ab=am-1〉的3度和4度Cayley图的正规性,其中m=2r且r>2,并得到了几类非正规的Cayley图.     

6p阶2度有向Cayley图的正规性

群G的Cayley有向图X=Cay(G,S)叫做正规的,如果G的右正则表示R(G)在X的全自同构群Aut(X)中正规.决定了6p(p素数)阶2度有向Cayley图的正规性,发现了一个新的2度非正规Cayley有向图.     

6p2阶的三度半对称图

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

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

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

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

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

独立数的一个下界

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

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

二倍无平方因子阶的3度1-正则图

一个图叫做1-正则的, 如果它的自同构群在它的弧集上作用正则. 设n是一个无平方因子的正整数. 证明了存在2n阶3度1-正则图当且仅当n=3^tp₁p₂… p_s≥13, 其中t≤1, s≥1, p_i (1≤ i≤s)为互不相同的素数且满足3|(p_i-1). 进一步, 对每个满足上述条件的整数n, 共有2^s−1个互不同构的2n阶3度1-正则图, 并且这些图均为2n阶二面体群上的Cayley图. 由此可知, 不存在4m阶3度1-正则图, 其中m为无平方因子的奇数.     

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

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

二面体群的小度数Cayley图的同构类的计数

设G是有限群,S是G的一个不包含单位元的非空子集且满足S^-1=S,定义群G关于S一个的Cayley图x=Cay(G,S)如下：V(X)=G,E(X)=｛(g,sg)｜g∈G,s∈S}.对于素数P,本文给出了2p阶的二面体群的3度和4度Cayley图的同构类的个数.     

二面体群D_(2n)的4度正规Cayley图

设G是有限群,S是G的不包含单位元1的非空子集．定义群G关于S的 Cayley(有向)图X=Cay(G,S)如下:V(x)=G,E(X)={(g,sg)|g∈G,s∈S}． Cayley图X=Cay(G,S)称为正规的如果R(G)在它的全自同构群中正规．图X称为1-正则的如果它的全自同构群在它的弧集上正则作用．本文对二面体群D2n以Z22 为点稳定子的4度正规Cayley图进行了分类．     

一类拟二面体群的四度Cayley图的正规性

群G的一个Cayley图X=Cay(G,S)称为正规的,如果右乘变换群R(G)在AutX中正规.研究了4m阶拟二面体群G=a,b|a~(2m)=b~2=1,a~b=a~(m+1)的4度Cayley图的正规性,其中m=2~r,且r2,并得到拟二面体群的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均为有限简单连通图, 是一个有顶点集合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本文得到了全符号控制数的精确值.