旗传递点本原且基柱为${\rm PSL}_n(q)$的$(v,k,4)$-对称设计

若$\cal D$为一个非平凡旗传递点本原对称$(v,k,4)$设计, 其基柱为${\rm PSL}_n(q)$且$G\leq {\rm Aut}(\cal D)$. 那么, $\cal D$ 必为$2$-$(15,8,4)$设计且${\rm Soc}(G)={\rm PSL}_2(9)$.     

若干单群与射影平面直射群

设G是有限群,H(?)G。如果H≌~2B_2(q)或H≌~2G_2(q)或H≌PSU(3,q),则G不与任何射影平面的点传递直射群同均。本文对以下问题给出了一般方法:证明以某些几乎单群为点传递自同构群的线性空间不是射影平面。     

以PSL(2,q)作为本原自同构群的旗传递对称$(v,k,\lambda)$设计的分类

设$D$是一个非平凡的对称$(v,k,\lambda)$设计, $G$是$D$的一个自同构群.本文证明了如果$G$以二维典型群PSL$(2,q)$作为基柱且在$D$上的作用是旗传递和点本原的,那么设计$D$的参数只能为$(7, 3, 1)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 3)$或$(15, 8, 4)$.     

以$M_{11}$为基柱的旗传递点本原2-设计的完全分类

近年来,很多学者研究了以散在单群作为本原自同构群基柱的旗传递2-设计的一些分类工作.本文在此基础之上,给出了以散在单群$M_{11}$作为基柱的旗传递点本原2-设计的完全分类,得到了14个不同构的非平凡2-设计.     

区传递的2-（v，k，1）设计与李型单群E8（q）

分类自同构群的基柱为李型单群E8（q）的区传递2-（v，k，1）设计，得到如下定理：设D为一个2-（v，k，1）设计，G≤Aut（D）是区传递、点本原但非旗传递的．若q〉24√（krk-kr＋1）f（这里kr=（k，v-1），q=p^f，p是素数，f是正整数），则Soc（G）≌／E8（q）．     

交错群与旗传递点本原非对称2-（v，k，3）设计

受旗传递2-(v,k,3)对称设计和非对称2-(v,k,2)设计有关分类结果的启发,本论文继续研究旗传递非对称2-(v,k,3)设计.文章利用置换群的理论和组合设计的数量性质,借助计算机代数软件Gap和Magma,完全分类了自同构群G旗传递点本原,且基柱Soc(G)为交错群An(n≥5)的非对称2-(v,k,3)设计,证明了此类设计只能是唯一的2-(5,3,3)设计,且G=A_5或S_5.     

区传递的2-(v,9,1)设计的分类

讨论区传递的2-(v,k,1)设计的分类问题.特别地,讨论自同构群的基柱为典型单群的区传递,点本原但非旗传递的2-(v,9,1)设计.设D为一个2-(v,9,1)设计,若G≤Aut(D)是区传递,点本原但非旗传递的,则G的基柱Soc(G)不是有限域GF(q)上的典型单群.结合Camina,Praeger,刘伟俊,李慧陵...     

区传递的2-(ν,κ,1)设计与李型单群E8(q)

分类自同构群的基柱为李型单群E8(q)的区传递2-(ν,κ,1)设计,得到如下定理:设D为一个2-(ν,κ,1)设计,G≤Aut(D)是区传递、点本原但非旗传递的.若q＞24√(krk-kr 1)f(这里kr=(k,v-1),q=pf,p是素数,f是正整数),则Soc(G)(≠)E8(q).     

Lie型单群3D4(q)和2-(v,k,1)设计

设D是一个2-(v,k,1)设计,G是D的自同构群.Delandtsheer证明了如果G是区本原的,且D不是射影平面,则G是几乎单群,即存在一个非交换单群T,使得T≤G≤Aut(T).本文证明了T不同构于单群3D4(q),这是区本原设计分类工作的一个不可缺少的组成部分.     

非交换单群上三度点传递双凯莱图

如果一个图Γ含有一个自同构群G使得它在顶点集V(Γ)上作用半正则且恰好有两个轨道,则称图r是群G上的双凯莱图.进一步的,如果G在全自同构群Aut(Γ)中正规,我们就称这个双凯莱图是群G上的正规双凯莱图.本文中,我们证明了绝大多数非交换单群G上的三度点传递双凯莱图都是该群上的正规双凯莱图.     

Witt型与Virasoro型Lie双代数的对偶

本文给出单边的Witt 型、Witt 型和Virasoro 型Lie 双代数的对偶Lie 双代数结构. 由此, 本文得到一系列无限维Lie 代数.     

旗传递5-(v,k,2)设计的分类

本文研究了5-(v,k,2)设计的分类问题.利用典型群PSL(2,q)的子群作用于投影线的轨道定理,证明了旗传递5-(v,k,2)设计的自同构群的基柱不能与PSL(2,3n)同构.从而证明了不存在旗传递的5-(v,k,2)设计.     

区传递的2-（v，k，1）设计与射影辛群PSpn（q）

分类自同构群为射影辛群PSpn(q)的区传递2-(v,k,1)设计,得到如下定理:设D为一个2-(v,k,1)设计,G≤Aut(D)是区传递,点本原但非旗传递的.若q为偶数且n≥14,则GPSpn(q).     

Lie型单群3D4(q)和2-( v,k, 1)设计

设D是一个2-(v, k, 1)设计, G是D的自同构群. Delandtsheer证明了如果G是区本原的, 且D不是射影平面, 则G是几乎单群, 即存在一个非交换单群T , 使得T≤G≤Aut(T). 本文证明了T不同构于单群³D₄(q), 这是区本原设计分类工作的一个不可缺少的组成部分.     

4p阶三度点传递图

一个图称为点传递图或对称图如果它的自同构群分别在点集或点集有序对上传递.设P为素数,给出了4p阶连通三度点传递图分类(徐明曜等在[Chin.Ann.Math.,2004,25B(4):545-554]中分类了4p阶连通三度对称图).确定了4p阶互不同构的连通三度点传递图的个数f(4p);当P=2,3,5,7时,f(4p)分别为2,4,8,6;当P≥11且4|(p-1)时,f(4p)=5+p-3/2,当P≥11且4|(p-1)时,f(4p)=3+p-3/2.     

李型单群2F4(q2)与2-((u),k,1)区组设计

本文证明了当2-((u),κ,1)设计的自同构群G的基柱soc(G)=2F4(q2)时,Buekenhaut-Delandtsheer-Doyen猜想成立,即自同构群G的基柱为Ree群2F4(q2)的区本原2-((u),k,1)设计必为点本原的.     

李型单群~2F_4(q~2)与2-(ν,κ,1)区组设计

本文证明了当2-(v,k,1)设计的自同构群G的基柱soc(G)=2F4(q2)时,Buekenhaut-Delandtsheer-Doyen猜想成立,即自同构群G的基柱为Ree群2F4(q2)的区本原2-(v,k,1)设计必为点本原的.     

马休群与斯坦诺5设计

讨论了马体群旗传递作用于斯坦诺5设计上的情况，得到了如下结论：设D=（X，Ω，I）是非平凡的斯坦诺5设计，D的自同构群G旗传递地作用在D上。若G是几乎单群，则 （i）基柱Soc（G）不是下列单群：N=Mv，v=11，22，23和N=M11,v=12 （ii）若N=M12，v=12，则D是一个5-（12，6，1）设计，且G M12 （iii）若N=M24，v=24，则D是一个5-（24，8，1）设计，且G M24。     

马休群与斯坦诺4-设计

讨论了马休群旗传递作用于斯坦诺4-设计上情况,得到了如下结论：设D=（X,B,I）是非平凡的斯坦诺4-设计,D的自同构群G旗传递地作用在D上。若G是几乎单群,则 i）Soc（G）不同构于单群：N=Mv,v=12,22,24和N=M11,v=12; ii）若N=M11,v=11,则D是一个斯坦诺4-（11,5,1）设计,且G△M11; iii）若N=M23,v=23,则D是一个斯坦诺4-（23,7,1）设计,且G△M23。     

Flag-transitive point-primitive 2-（v,k,4） symmetric designs and two dimensional classical groups

Let D be a 2-(v, k, 4) symmetric design and G be a flag-transitive point-primitive automorphism group of D with X ⊴ G ≤ Aut(X) where X ≅ PSL ₂(q). Then D is a 2-(15, 8, 4) symmetric design with X = PSL ₂(9) and X _x = PGL ₂(3) where x is a point of D.