λ≤6的旗传递6-(v,k,λ)设计

Cameron P J和Praeger C E证明了不存在单的7-(v,k,λ)设计.直到现在,所有已知的t≥6的t-(v,k,λ)设计都有λ≥4.文章考虑了旗传递6-(v,k,λ)设计,并且证明了当λ≥6时不存在非平凡旗传递6-(v,k,λ)设计     

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

如果一个非平凡的t-设计具有一个旗传递的自同构群,那么t≤6,并且它的自同构群是[(t+1)/2]齐次本原群.因此,一个旗传递5-(v,k,2)设计的自同构群是3-齐次本原置换群.利用3-齐次本原置换群分类定理,讨论了旗传递5-(v,k,2)设计的分类问题.通过分析5-(v,k,2)设计的组合数量关系和3-齐次本原置换群的性质,部分解决了旗传递5-(v,k,2)设计的分类.证明了如果群G是一个非平凡的5-(v,k,2)设计D的旗传递自同构群,那么Soc(G)=PSL(2,q),并且q=2e或3e.     

2F4（q2）群与2-（v,k,5）对称设计

如果一个非凡的t-设计是一个对称设计,则t=2.设2-（v,k,λ）是一个非平凡的对称设计,G是它的一个旗传递自同构群.在过去正对λ≤4情形研究的基础上,本文讨论λ=5的情况.证明了如果G是2-（v,k,5）对称设计的一个旗传递点本原自同构群,并且G是几乎单群,则G的基柱不能为2F4（q2）群.证明中需使用2F4（q2...     

2F4（q2）群与2-（v,k,5）对称设计

如果一个非凡的t-设计是一个对称设计,则t=2.设2-（v,k,λ）是一个非平凡的对称设计,G是它的一个旗传递自同构群.在过去正对λ≤4情形研究的基础上,本文讨论λ=5的情况.证明了如果G是2-（v,k,5）对称设计的一个旗传递点本原自同构群,并且G是几乎单群,则G的基柱不能为2F4（q2）群.证明中需使用2F4（q2）群的极大子群的分类,同时也需要考虑2F4（q2）群的置换表示.     

旗传递6-设计

具有良好传递性的区组设计是代数组合学研究的一个重要领域．重点研究旗传递6-设计,并证明如果一个6-（v,k,λA）设计允许一个旗传递自同构群,则λ〉20．     

旗传递6-设计

具有良好传递性的区组设计是代数组合学研究的一个重要领域.重点研究旗传递6-设计,并证明如果一个6-(v,k,λ)设计允许一个旗传递自同构群,则λ>20.     

旗传递4-(v,k,6)设计与Sz(q)群

设S=(P,B)是一个非平凡的4-(q~2+1,k,6)设计,其中q=2~(2n+1)且为整数。如果G≤Aut(S)在S上区传递且Soc(G)同构于李型单群Sz(q)群,则G在S不是旗传递的。     

PGL(2,q)与区传递4-(q+1,7,λ)设计

研究了区组设计4-(q+1,7,λ)以一般射影线性群PGL(2,q)为区传递自同构群的存在性条件,以及由自同构群PGL(2,q)构造区传递4-(q+1,7,λ)设计的计算机算法,并由此构造出了给定参数的以一般射影线性群PGL(2,q)为区传递自同构群的4- (q+1,7,λ)设计.     

当k≤10时区传递6-(v,k,λ)设计的存在性

在有限关联结构的研究中,设计的传递性是一个非常重要的研究对象.近年来,有许多关于旗传递t-设计的研究,然而对于区传递的研究并不多,尤其是当t较大(即t≥4)时,就更少了.P.J.Cameron与C.E.Praeger证明了:如果D是一个区传递t-设计,那么t≤7.并且猜想:不存在非平凡的区传递6-设计.文中,我们限制参数k≤10,证明了在这种特殊的情况下猜想的正确性.     

2-(v,k,1)设计的一个结果

在这篇文章中,作者将证明:设G是一个2-(v,k,1)设计D的线本原的自同构群,若满足k/(k,v)=11,则G也是点本原的.     

典型群PSpn(q)与2-(v,k,1)设计

设d是－2－（v,k,1）设计，G是d上的区传递，点本原且非旗传递的自同构群，如果G＝PSpn(q)（n≥14，q为偶数），则下列之一成立：Gp∈l1且Gp不是SPm（q）⊥SPn-m(q)型的（m≥）；（2）Gp∈l8。     

点传递的2-(p,k,1)区组设计

利用素数次数的传递群的分类 ,给出了点的个数为素数 p的点传递的 2 - ( p,k,1 )设计的分类 :( i) d-维射影空间 ;( ii) n阶射影平面 ;( iii) G AGL ( 1 ,p) ,且点等同于域 GF( p)上的 1维向量空间 V( 1 ,p)的所有向量 (点 )的 2 - ( p,k,1 )设计     

特殊射影线性群PSL(2,q)的类方程分解

群的元素间的共轭关系是等价关系,于是群G的所有元按共轭关系可分为若干个互不相交的共轭类Ｃ１＝｛e｝,C２,…,Ｃk,并且有Ｇ＝Ｃ１∪Ｃ２∪…∪Ｃk,称｜Ｇ｜＝｜Ｃ１｜＋｜Ｃ２｜＋…＋｜Ｃk｜为群G的类方程,k称为G的类数,共轭类Ci包含的元素个数｜Ci｜叫做Ci的长度.作者对求出特殊射影线性群PSL(2,q)的类方程的算法进行了讨论,最后得到了一些群的类方程.     

典型群PSL（3，q）,PSL（2,Q）（q=2^l）与2—（v,k,1）设计

首先讨论自同构群是典型群PSL(3,Q)(q=2^l)的区本原的2－(v,k,1)设计,证明了它必是点本原的。其次证明了区要原的2－(v,k,1）设计不能以PSL(2,Q)(q=2^l)作为其自同构群。     

Lie型单群PSL（k，F）的一个子群链

给出了Lie型单群PSL（κ，F）（F＝C、R或Q）的一个子群链。     

（4，2）－IPMD（v，u）的存在性

证明了当２≤ｕ≤７和ｕ≥３８时，存在区组大小为４和指数为２的不完全的完备Ｍｅｎｄｅｌｓｏｈｎ设计（４，２）－ＩＰＭＤ（ｖ，ｕ）的充要条件为ｖ≥３ｕ＋１，其中（ｖ，ｕ）≠（２０，６）。     

射影线性单群L4(4)的一个特征性质

单群L4（4）,L4（7）,U4（5）,U4（7）素图分量为1,施武杰、V.D.Mazurov教授的公开问题中交错群A22的素图分量为1的单群,是否为用元素阶的集合可刻画的群？本文就素图分量为1的单群L4（4）得到如下定理：设G为有限群,则G L4（4）,当且仅当πe（G）=πe（L4（4））.