不存在指数不超过10的区传递7-设计

具有良好传递性的区组设计是代数组合学研究的一个重要领域．1993年,Cameron和Praeger证明了不存在区传递8-设计．2013年,龚罗中和刘伟俊证明了不存在指数不超过5的区传递7-设计．本文在此基础上证明了不存在指数不超过10的区传递7-设计．     

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

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

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),这是区本原设计分类工作的一个不可缺少的组成部分.     

Steiner 5-设计上的Camina-Gagen定理

著名的Camina-Gagen定理表明,若群G是一个满足k整除v的2-(v, k, 1)设计的区传递的自同构群,则G是旗传递的.本文将这个定理推广到5-(v, k, 1)设计上,并证明了如果群G区传递地作用在一个非平凡的5-(v, k, 1)设计上且满足k整除v,则G是旗传递的.     

自同构群基柱为~3D_4(q)的2-(v,k,1)设计

2-(v,k,1)设计的存在性问题是组合设计理论中重要的问题,当这类设计具有一个有意义自同构群时,讨论其存在性是尤其令人感兴趣的.30年前,一个6人团队基本上完成了旗传递的2-(v,k,1)设计分类.此后,人们开始致力于研究区传递但非旗传递的2-(v,k,1)设计的分类课题.本文证明了自同构群基柱为~3D_4(q)的区传递及点本原非旗传递的2-(v,k,1)设计是不存在的.     

区传递的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不同构于单群³D₄(q), 这是区本原设计分类工作的一个不可缺少的组成部分.     

以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)$.     

二维射影线性群与区传递4-(q+1,5,λ)设计

在组合设计的研究领域中,如何构造具有给定参数的t-设计是一个重要而且困难的问题.利用设计的自同构群来构造t-设计是这一问题有效的解决方法之一.在本文中,设D=(X,B)是一个4-(q+1,5,λ)设计,G≤Aut(D)区传递地作用在D上且X=GF(q)∪{∞},这里GF(q)是q元有限域.设PSL(2,q)(?)G≤PTL(2,q).利用Kramer和Mesner的关于构造区组设计的一个结果和二维射影线性群作用在X的5-子集的集合上的轨道,得到了如下结果:(1)G=PGL(2,17)并且D是一个4-(18,5,4)设计;或(2)G=PSL(2,32)并且D是一个4-(33,5,4)设计;或(3)G=PTL(2,32)并且D是4-(33,5,5)和4-(33,5,20)设计之一.     

3-齐次群与旗传递5-（v，k，3）设计

旗传递t-设计的分类是代数组合学的一个重要课题．本文主要讨论了旗传递5-（v,k,3）设计．由P．J．Cameron和C．E．Praeger的结论可知,此时设计的自同构群是3-齐次群．本文利用3-齐次群的分类,证明了设计的自同构群不能是仿射型群．     

搜索区传递2-（q，4，1）设计

对于区传递但非旗传递的可解2-（q，4，1）设计，Camina指出，当q=13，37，61，109，157，181时有具体的例子，但是否有更多的q产生具体例子有待研究。主要结果：设q是素数幂且q=13（mod24），则对于每个q〈2000，总存在区传递但非旗传递的2-（q，4，1）设计。     

On 2-(45, 12, 3) designs

Under the assumption that the incidence matrix of a 2-(45, 12, 3) design has a certain block structure, we determine completely the number of nonisomorphic designs involved. We discover 1136 such designs with trivial automorphism group. In addition we analyze all 2-(45, 12, 3) designs having an automorphism of order 5 or 11. Altogether, the total number of nonisomorphic 2-(45, 12, 3) designs found in 3752. Many of these designs are self-dual and each of these self-dual designs possess a polarity. Some have polarities with no absolute points, giving rise to strongly regular (45, 12, 3, 3) graphs. In total we discovered 58 pairwise nonisomorphic strongly regular graphs, one of which has a trivial automorphism group. Further, we analyzed completely all the designs for subdesigns with parameters 2-(12, 4, 3), 2-(9, 3, 3), and 2-(5, 4, 3). In the first case, the number of 2-(12, 4, 3) subdesigns that a design possessed, if non-zero, turned out to be a multiple of 3, whereas 2-(9, 3, 3) subdesigns were so abundant it was more unusual to find a design without them. Finally, in the case of 2-(5, 4, 3) subdesigns there is a design, unique amongst the ones discovered, that has precisely 9 such subdesigns and these form a partition of the point set of the design. This design has a transitive group of automorphisms of order 360. © 1996 John Wiley & Sons, Inc.     

The 2-(9, 4, 3) and 3-(10, 5, 3) designs

It is shown that there is a unique 2-(9, 4, 3) design with three different extensions to a 3-(10, 5, 3) design. Two of the extensions are isomorphic and have a further extension to the unique 4-(11, 6, 3) design. There is another 2-(9, 4, 3) design with just two extensions to a 3-design. There are 11 2-(9, 4, 3) designs in all, as announced by van Lint, et al. and Stanton et al. There are seven 3-(10, 5, 3) designs of which one is triply transitive, another transitive, and the rest are not transitive but are self-complementary. The transitive 3-designs each have one restriction to a 2-design. Of the non-transitive 3-designs 4 each have two restrictions and the fifth has three.     

一般投影线性群PGL(2,q)和4-(q+1,5,λ)设计

本文主要考虑了一般投影线性群PGL(2,q)区传递作用下的4-(q+1,5,λ)设计的存在性问题。经讨论知λ的可能值是4。     

Steinberg triality groups acting on 2 - (v, k, 1) designs

A 2 - (v,k,1) design D = (P, B) is a system consisting of a finite set P of v points and a collection B of k-subsets of P, called blocks, such that each 2-subset of P is contained in precisely one block. Let G be an automorphism group of a 2- (v,k,1) design. Delandtsheer proved that if G is block-primitive and D is not a projective plane, then G is almost simple, that is, T ≤ G ≤ Aut(T), where T is a non-abelian simple group. In this paper, we prove that T is not isomorphic to 3D4(q). This paper is part of a project to classify groups and designs where the group acts primitively on the blocks of the design.     

M_(12)作用在396个点上的SPBIB设计的分类

研究Mathieu群M_(12)作用在396个点上所构成的对称的部分平衡不完全区组设计(即SPBIB设计)的分类情况.首先,证明了以M_(12)作为自同构群的非平凡的2-(396,k,λ)对称设计是不存在的.然后,得到了同构意义下的3个点数为396且区组长度为80的SPBIB设计.最后,给出了396个点上以M_(12)作为自同构群的SPBIB设计的完全分类.     

Solvable block transitive automorphism groups of 2−(v,5,1) designs

Let G be a solvable block transitive automorphism group of a 2−(v,5,1) design and suppose that G is not flag transitive. We will prove that

(1) if G is point imprimitive, then v=21, and GZ₂₁:Z₆;

(2) if G is point primitive, then GAΓL(1,v) and v=p^a, where p is a prime number with p≡21 (mod 40), and a an odd integer.

     

Partially balanced incomplete block designs from weakly divisible nearrings

In [[6] Riv. Mat. Univ. Parma 11 (2) (1970) 79-96] Ferrero demonstrates a connection between a restricted class of planar nearrings and balanced incomplete block designs. In this paper, bearing in mind the links between planar nearrings and weakly divisible nearrings (wd-nearrings), first we show the construction of a family of partially balanced incomplete block designs from a special class of wd-nearrings; consequently, we are able to give some formulas for calculating the design parameters.