论文部分内容阅读
有限单群的分类完成以后,若干组合结构的研究也取得了很大的进展.组合设计就是其中之一.而具有某些对称性质的组合设计理论与有限群论之间有着深刻的内在联系,这些对称性主要通过设计的自同构群的各种传递性来体现.对组合设计的对称性研究可以帮助我们发现新的设计和分类设计.反过来,研究设计的对称性又可以帮助我们更清楚地了解某些群的结构.对称设计是点与区组数目相等的区组设计.目前λ较小且自同构群具有某些传递性质的对称2-（v,k,λ）设计是关注的焦点.本论文我们研究λ≤10时自同构群为点本原的旗传递对称设计的分类,并得到如下结论.定理2.1.1.若D是一个非平凡对称2-（v,k,4）设计, G≤Aut（D）是旗传递点本原的,且Soc（G）是交错群An,这里n≥5,则（v, k）=（15,8）,且D=（P, B）为下列之一.（1） D的点为射影空间P G（3,2）的点,区组为P G（3,2）的平面的补, G=A7或A8,D的点x的稳定化子Gx为L3（2）或AGL3（2）.（2） D的点为完全图K6的边,区组为K6的完全二部图K2,4, G=A6或S6, Gx为S4或S4×Z2.定理3.1.1.设D=（P,B）是一个非平凡对称2-（v,k,λ）设计,5≤λ≤10,G≤Aut（D）是旗传递点本原的,且Soc（G）=An,这里n≥5.则D是唯一的对称2-（35,18,9）设计,它是对称2-（35,17,8）设计E=（P,B′）的补设计,这里E的点为GF （2）上4维空间的线,区组形如b（x）={x}∪{y∈P|x∩y=0},这里x∈P.并且,G=A7, S7, A8或S8,稳定化子Gx为（S4×S3）∩A7, S4×S3, V16·（S3×S3）或S4S2.定理4.1.1.设D是一个非平凡对称2-（v,k,3）设计（三平面）,且G≤Aut（D）是旗传递点本原的.若G是仿射型群,则G≤AΓL1（q）,这里q是素数p的方幂且p≥5.