论文部分内容阅读
旗传递设计的分类问题是群与组合设计相互作用的一个典型问题,目前已经成为了有限群论和组合设计理论研究的一个前沿课题.作为其子工程,对旗传递的对称(υ,κ,λ)设计的研究工作正在如火如荼地进行之中.继1987年Kantor给出旗传递对称(υ,κ,1)设计(即射影平面)的完整分类之后,Regueiro和周胜林等学者利用O’Nan-Scott定理和有限单群分类定理分别把旗传递对称(υ,κ,2)和(υ,κ,3)设计(即双平面和三平面)的分类归约到了一维仿射群的情形.当λ较小时的旗传递对称(υ,κ,λ)设计的分类完成之后,我们有野心攻克一般λ情况下的旗传递对称设计的分类问题,虽然这必定会是一个难度和工作量都很大的事情.本文就是基于这个目标,对自同构群的基柱是散在单群及二维典型群PSL(2,q)的旗传递点本原对称(υ,κ,λ)设计给出了完全分类.本论文的结构如下:第一章是绪论部分,对群与组合设计的历史背景和研究现状进行了综述,并介绍了本文所做的主要研究内容.第二章给出了本文所需的一些群论及设计的理论知识,为后面章节的论证奠定了坚实的基础.第三章借助于O’Nan-Scott定理中本原群的分类,对λ≤100时旗传递点本原的对称(υκ,λ)设计的自同构群进行了分析,得到了下面的结论,并自然地提出了一个适用于一般λ的猜想:定理3.0.1.设D是一个旗传递点本原的对称(υ,κ,λ)设计,其中λ≤100,如果G≤Aut(D),那么G是仿射型或者几乎单型的.猜想3.0.1.设D是一个旗传递点本原的对称(υ,κ,λ)设计,如果G≤Aut(D),那么G是仿射型或者几乎单型的.第四章解决了自同构群是几乎单型且基柱是散在单群的旗传递点本原对称(υ,κ,λ)设计的分类问题,得到了同构意义下的6个设计.主要研究结果如下:定理4.0.1.设D=(Ρ,β)是一个非平凡的旗传递点本原的对称(υ,κ,λ)设计,G≤Aut(D)是几乎单型本原群,且基柱Soc(G)是散在单群,则设计D具有下面参数:(144,66,30),(176,50,14),(176,126,90)或者(14080,12636,11340).第五章完全分类了自同构群是几乎单型且基柱是二维典型群PSL(2,)的旗传递点本原的对称(υ,κ,λ)设计.下面是分类结果:定理5.0.1.设D=(ρ,β)是一个非平凡的旗传递点本原的对称(υ,κ,λ)设计,G≤Aul(D)是几乎单型本原群,且基柱X是二维典型群PSL(2,g),则设计D具有以下参数:(7,3,1),(7,4,2),(11,5,2),(11,6,3)或者(15,8,4).最后一章,简要地介绍了一下当本原自同构群基柱为单群PSL(12,2)或者交错群时旗传递对称(υ,κ,λ)设计的分类问题,最后,在总结全文的基础上,提出了有待进一步研究和探索的问题.