Mathieu群与旗传递2-(v,k,λ)设计

期刊菜单

Mathieu群与旗传递2-(v,k,λ)设计
Mathieu Groups and Flag-Transitive 2-(v,k,λ) Designs

DOI:10.12677/PM.2018.81008,PDF,HTML,XML,下载: 1,551浏览: 4,026科研立项经费支持
作者:陈佳楠^*,周胜林：华南理工大学数学学院，广东广州
关键词:2-设计；旗传递；基柱；Mathieu群；2-Design；Flag-Transitive；Socle；Mathieu Group

摘要: 旗传递性是群作用在2-(v,k,λ) 设计上的重要性质之一。对满足一定条件的旗传递2-设计进行分类是一个比较有意思的问题。Dembowski已经证明了满足条件(v-1,k-1)≤2 的旗传递2-(v,k,λ)设计的自同构群G是本原群。据此，本文在条件(v-1,k-1)≤2下，研究自同构群旗传递且其基柱Soc(G)是五个Mathieu 群之一时的2-(v,k,λ)设计的分类问题，得到了在同构意义下存在62个这样的设计。

Abstract:Flag-transitivity is one of the important conditions that can be imposed on the automorphism group of a 2-(v,k,λ) design. The classification of flag-transitive 2-designs is an important problem in the algebraic combinatorial theory. Dembowski has proved that if G ≤Aut(D) is flag-transitive and (v-1,k-1)≤2, then G is also point-primitive. According to this result, in this paper we completed the classification of this type of designs, with Soc(G)was one of five Mathieu groups M _i, where i=11, 12, 22, 23 or 24. We provethat there exists62 2-designs satisfying the assumption.

文章引用：陈佳楠, 周胜林. Mathieu群与旗传递2-(v,k,λ)设计[J]. 理论数学, 2018, 8(1): 47-54. https://doi.org/10.12677/PM.2018.81008

1. 引言

定义1：设 $v, k, λ$ 为正整数，满足 $2 < k < v$ 。一个 $2- (v, k, λ)$ 设计或2-设计 $D$ 定义为符合以下条件的一对符号 $(P, B)$ ：

1) $P$ 是有 $v$ 个点的有限集， $P$ 中的元素称为点；

2) $B$ 是 $P$ 中 $b$ 个 $k$ -子集构成的集族， $B$ 的元素称为区组或区；

3) $P$ 的任意给定的2-子集都恰好包含在 $B$ 的 $λ$ 个区组之中。

由于每个区组的长度相等，易知过一个点的区组的个数是常数，设为 $r$ 。我们总假设 $D$ 是单纯的，即 $B$ 中的区组不允许重复出现。称5-元组 $(v, b, r, k, λ)$ 为设计 $D$ 的参数。

旗传递设计的分类工作早在30多年前就已经开始了，那时的研究对象主要是旗传递的线性空间。1987年，Davies [1] 证明了旗传递且自同构群的基柱是散在单群的 $2- (v, k, 1)$ 设计不存在。1990年，Bueken- hout，Delandtsheer，Doyen，Kleidman，Liebeck，Saxl [2] 合作完成了旗传递线性空间的分类(一维仿射型的情况除外)。这项工作的完成激起了许多学者的兴趣。近年来，人们开始了在某些限制条件下旗传递 $2- (v, k, λ)$ 设计分类的有关研究，这些限制条件有 $r = k$ ， $λ = 2$ ， $(r, λ) = 1$ 等等 [3] [4] [5] [6] [7] 。1998年，P. H. Zieschang [7] 证明了旗传递且 $(r, λ) = 1$ 的 $2- (v, k, λ)$ 设计的自同构群是仿射型或者几乎单的；2013年，田德路和周胜林 [8] 完成了本原自同构群且基柱是散在单群的旗传递对称设计的分类问题。

本文研究了旗传递2-设计当 $(v - 1, k - 1) \leq 2$ 且自同构群 $G$ 的基柱 $S o c (G)$ 为五个Mathieu群之一时的分类问题，得到下述结果：

定理1：设 $D$ 是一个满足 $(v - 1, k - 1) \leq 2$ 的 $2- (v, k, λ)$ 设计， $G \leq A u t (G)$ 是旗传递的且 $S o c (G)$ 是五个Mathieu群 $M_{i} (i = 11, 12, 22, 23, 24)$ 之一。则在同构意义下存在62个2-设计 $D_{i} (1 \leq i \leq 62)$ ，它们对应的参数 $(v, b, r, k, λ)$ ，自同构群 $G$ ，如表1和表2所示。

下面给出本文常用的几个引理。

引理1 [9] ：若 $D = (P, B)$ 是一个 $2- (v, k, λ)$ 设计。则下面式子成立：

1) $b k = v r$ ；

2) $λ (v - 1) = r (k - 1)$ ；

3) $b \geq v$ 。

引理2 [10] ：设 $D = (P, B)$ 是一个 $2- (v, k, λ)$ 设计， $G \leq A u t (G)$ ，则对任意的 $α \in P$ 和 $B \in B$ ， $G$ 旗传递当且仅当下列条件之一成立：

1) $G$ 是点–传递的，并且 $G_{α}$ 在 $P (α)$ 上传递,，其中 $P (α)$ 表示所有过点 $α$ 的区组；

Table 1. 54 designs and parameters with ( v − 1 , k − 1 ) = 1

表1. $(v - 1, k - 1) = 1$ 时的54个设计及参数

Continued

Table 2. 8 designs and parameters with ( v − 1 , k − 1 ) = 2

表2. $(v - 1, k - 1) = 2$ 时的8个设计及参数

2) $G$ 是区–传递的，并且 $G_{B}$ 在区组 $B$ 上传递。

定理2 [11] ：传递群 $G$ 的正规子群 $N \neq 1$ 是半传递的。

定理3 [11] ：设 $k = 1, 2, \dots$ ，每个 $k$ 重传递群是 $k - 1 / 2$ 重传递的，每个 $k + 1 / 2$ 重传递是 $k$ 重传递的而且每个以它为子群的群也是 $k$ 重传递的(但不一定是 $k + 1 / 2$ 重传递的)。

引理3 [12] ：设 $G$ 是几乎单型的有限本原置换群。若 $G$ 作用在 $Ω$ 上3/2-传递，则下列之一成立：

1) $G$ 在 $Ω$ 上是2-传递的；

2) $n = 21$ 且 $G$ 是 $A_{7}$ 或 $S_{7}$ 作用在集合 ${1, 2, \dots, 7}$ 的无序二元组上；且非平凡的次级数为10。

引理4 [6] ：设 $D$ 是一个 $2- (v, k, λ)$ 且 $G \leq A u t (G)$ 是旗传递的，则下列成立：

1) $r^{2} > λ v \geq v$ ；

2) $r | | G_{α} |$ ， $G_{α}$ 是 $G$ 的点稳定子群， ${| G_{α} |}^{3} > | G |$ ；

3) $r | λ d$ ，其中 $d$ 表示 $G$ 的任一非平凡次轨道长度。特别地， $\frac{r}{(r, λ)} | d$ 。

证明：1) 由Fisher-不等式， $b k = v r$ ， $b \geq v$ ，所以有 $r \geq k$ ；

又 $λ (v - 1) = r (k - 1)$ ，即 $λ v - λ + r = r k$ ， $v \leq λ v < λ v - λ + r = r k \leq r^{2}$ ；

2) 由上式和引理2，我们有 $r | | G_{α} |$ ，所以 $r \leq | G_{α} |$ ， $v < r^{2} \leq {| G_{α} |}^{2}$ ，又 $v = | G : G_{α} |$ ，所以 $| G | < {| G_{α} |}^{3}$ ；

3) 设 $α \in P$ ， $G_{α}$ 的一个非平凡轨道为 $Γ$ ，长度为 $d$ 。令 $B$ 是过点 $α$ 的一个区组， $m = | Γ \cap B |$ 。因为 $G$ 是旗传递的，所以 $m$ 与 $B$ 的选取无关。我们用两种不同的方法计数旗 $(β, B)$ ， $β \in Γ$ ， $α \in B$ ，即得 $r m = λ | Γ |$ 。所以， $r | λ d$ 。

引理5：设 $D$ 是一个 $2- (v, k, λ)$ 且 $G \leq A u t (G)$ 是旗传递的，若 $(v - 1, k - 1) \leq 2$ ，则 $G$ 是点本原的。特别地， $G$ 是2-传递或是3/2-传递且为秩3的本原群。

证明：由引理1知 $\frac{λ}{(r, λ)} (v - 1) = \frac{r}{(r, λ)} (k - 1)$ 。下面我们分两种情况来证明：

当 $(v - 1, k - 1) = 1$ 时， $(v - 1) | \frac{r}{(r, λ)}$ ，由引理4可知 $\frac{r}{(r, λ)} | d$ ，所以 $(v - 1) | d$ ， $(v - 1) \leq d$ 。又 $d$ 是 $G$ 的非平凡轨道长，显然 $(v - 1) \geq d$ ，即 $d = v - 1$ ，从而 $G_{α}$ 在 $Ω - α$ 上传递，所以 $G$ 在 $Ω$ 上2-传递。

当 $(v - 1, k - 1) = 2$ 时， $\frac{v - 1}{2} | \frac{r}{(r, λ)} | d$ ，所以 $d = \frac{v - 1}{2}$ 或者 $d = v - 1$ 。如果 $d = v - 1$ ，那么 $G$ 在 $Ω$ 上2-传递。如果 $d = \frac{v - 1}{2}$ ，那么 $G$ 是 $Ω$ 上3/2-传递秩3群。下证 $G$ 必定是本原的。当 $G$ 2-传递时，显然是本原的。当 $G$ 3/2-传递秩3群，假设 $G$ 是非本原的，则存在非本原块 $Δ$ 使得 $α \in Δ$ ， $1 < | Δ | < n$ 。但 $Δ$ 是 $G_{α}$ 的一些轨道的并。设 $G_{α}$ 的轨道为 ${α}$ ， $Δ_{1}$ ， $Δ_{2}$ ，其中 $| Δ_{1} | = | Δ_{2} | = \frac{n - 1}{2}$ ，则 $Δ = α \cup Δ_{1}$ 或 $Δ = α \cup Δ_{2}$ ，此时 $| Δ | = 1 + \frac{n - 1}{2} = \frac{n + 1}{2}$ ，而 $\frac{n + 1}{2}$ n，所以 $G$ 是本原的。

2. 定理1的证明

2.1. 可能的参数

首先，由引理5可知，当 $(v - 1, k - 1) \leq 2$ 时， $G$ 是点本原的，且是2-传递或者是3/2-传递的。又由引理3知Mathieu群不可能3/2-传递地作用在2-设计上，所以我们只需考虑2-传递的群的情况即可。

设 $G = M_{i} (i = 11, 12, 22, 23, 24)$ ，为使得设计是非完全的，那么必有 $k \geq 5$ 。需要知道的是， $M_{11}$ 作用在12个点上是3-传递的， $M_{12}$ 作用在12个点上是5-传递的， $M_{22}$ 作用在22个点上是3-传递的， $M_{23}$ 作用在23个点上是4-传递的， $M_{24}$ 作用在24个点上是一个5-传递的， $M_{22} : 2$ 作用在22个点上是3-传递的。

因此，由引理1和引理4，我们知道，设计的参数必须满足下列4个条件：

1) $r | | G_{α} |$ 且 $(v - 1, k - 1) \leq 2$ ；

2) $b = v r / k$ 是一个整数；

3) $r \geq k$ 且 $C_{v}^{k} > b$ ；

4) $λ = r (k - 1) / (v - 1)$ 是一个整数。

根据这四个条件，利用计算机软件GAP [13] 及下面的程序可以算出2104组可能的参数。

算法程序1：

design:=function (v,G)

local lambda,r,b,k,results;

results:=[];

for k in [5..v-2] do

if not IsInt(G/k) or Gcd(v-1,k-1)>2then continue;fi;

for r inDivisorsInt(G/v)do b=v*r/k;

ifr < k or not IsInt(b) or Binomial(v,k)<=b then continue;fi;

lambda:=r*(k-1)/(v-1)；

if not IsInt(lambda) then continue;fi;

Add(results,[G/b,v,b,r,k,lambda]);od;od;

return results;

end;

2.2. 参数的分析

接下来，我们对找出来的2104个参数进行分析。设 $G$ 和 $D$ 满足定理1的假设条件，由引理2可知，

$G$ 是区传递的。由此，对于任意的 $α \in B$ ， $B \in B$ ，我们有 $| G : G_{α} | = | α^{G} | = v$ ， $| G_{α} : G_{α β} | = | B^{G_{α}} | = r$ ， $| G : G_{B} | = b$ ，

即 $G$ 有指数为 $b$ 的子群。又因为 $G_{B}$ 在 $B$ 上是点传递的，所以 $B$ 是 $G_{B}$ 作用在 $P$ 上的一个长为 $k$ 的轨道，并且至少存在上述轨道使得 $G$ 作用在其上的轨道长度为 $b$ 。综上所述，如果 $G$ 是一个旗传递2-设计 $D$ 的自同构群，则下列四个条件依次成立：

1) $G$ 中至少存在一个指数为 $b$ 的子群；

2) 符合1)的子群中至少存在一个长为 $k$ 的轨道 $O$ ；

3) $G$ 作用在符合2)的轨道中, 至少有一个长度 $| O^{G} | = b$ ；

4) 设计 $D$ 的区组必定是3)中某一个 $O^{G}$ 。

通过在Magma [14] 命令 $S u b g r o u p (G : O r d e r E q u a l : = n)$ ，这里 $n = | G | / b$ ，即可得到 $G$ 的指数为 $b$ 的所有子群共轭类。由此可知，有1451个参数组对应的设计的自同构群不存在与之对应的指数为 $b$ 的子群，剩下653个参数。根据条件2) 3)并通过命令 $O r i b i t s (H)$ 和 $# (O^{G})$ ，我们剔除591个不满足条件的参数组，剩下62个参数。最后，我们利用命令 $D e s i g n 〈 2, v | G 〉$ 检验剩余参数组是否是相应的2-设计。

由此，我们得到了62个设计如表1和表2，分别是当 $(v - 1, k - 1) = 1$ 和 $(v - 1, k - 1) = 2$ 时的情形。

2.3. 示例

以搜索 $M_{11}$ 作用在11个点上的设计为例，因为它是一个4-传递群，所以 $k \geq 5$ ，由于设计必须满足

前文中的四个条件，因此由算法程序1可以找到14个设计参数组 $(| G | / b, v, b, r, k, λ)$ ：

$\begin{array}{l} (60, 11, 132, 60, 5, 24), (240, 11, 33, 15, 5, 6), (20, 11, 396, 180, 5, 72), \\ (45, 11, 176, 80, 5, 32), (80, 11, 99, 45, 5, 18), (30, 11, 264, 120, 5, 48), \\ (40, 11, 198, 90, 5, 36), (90, 11, 88, 40, 5, 16), (120, 11, 66, 30, 5, 12), \\ (144, 11, 55, 40, 8, 28), (180, 11, 44, 20, 5, 8), (720, 11, 11, 5, 5, 2), \\ (72, 11, 110, 80, 8, 56), (360, 11, 22, 10, 5, 4) . \end{array}$

显然，区稳定子群 $G_{B}$ 的阶只能是下面情形之一：

$20, 30, 40, 45, 60, 72, 80, 90, 120, 144, 180, 240, 360, 720.$

利用其中至少存在一个指数为 $b$ 的子群 $S u b g r o u p s (G : O r d e r E q u a l : = r)$ ，可以知道符合的 $| G | / b$ 的值有7种可能:20，60，72，120，144，360或720，它们对应的七个参数组 $(| G | / b, v, b, r, k, λ)$ 分别是：

$\begin{array}{l} (20, 11, 396, 180, 5, 72), (60, 11, 132, 60, 5, 24), (360, 11, 22, 10, 5, 4), \\ (120, 11, 66, 30, 5, 12), (144, 11, 55, 40, 8, 28), (720, 11, 11, 5, 5, 2), \\ (72, 11, 110, 80, 8, 56) . \end{array}$

在此基础上，以参数组(20, 11, 396, 180, 5, 72)为例来讨论设计的存在性。指数为396的 $M_{11}$ 的子群共轭类轨道有三个：其长度为1，5和5。由于 $G$ 在 $B$ 上传递，故应存在一个指数为 $b$ 的子群 $G_{B}$ ，又由于 $G_{B}$ 在 $B$ 上传递，故 $G_{B}$ 应存在一个长为 $| B | = k$ 的轨道，选取 $G_{B}$ 轨道中长度为5的轨道

$O_{2} = {2, 4, 6, 7, 11}$ , $O_{3} = {3, 5, 8, 9, 10}$ .

计算发现 $| O_{3}^{G} | = 66 \neq 396$ ，矛盾。 $| O_{2}^{G} | = 396$ ，利用Magma命令 $D e s i g n 〈 2, 11 | O_{2}^{G} 〉$ 计算发现，此时 $D$ 为一个2-(11, 5, 72)设计，所以参数组(20, 11, 396, 180, 5, 72)确实是我们要找的符合条件的参数，对应于表一的 $D_{1}$ 。

致谢

本论文在写作过程中就算法方面与詹小秦博士进行了有益的讨论，在此表示感谢！论文还得到广东省自然科学基金的资助。

基金项目

广东省自然科学基金(编号：2017A030313001)。

参考文献

[1]	Davies, H. (1987) Flag-Transitivity and Primitivity. Discrete Mathematics, 63, 91-93. https://doi.org/10.1016/0012-365X(87)90154-3
[2]	Buekenhout, F., Delandtsheer, A., Doyen, J., et al. (1990) Linear Space with Flag-Transitive Automorphism Groups. Geometriae Dedicata, 36, 89-94.
[3]	Regueiro, E.O'R. (2005) On Primitivity and Reduction for Flag-Transitive Symmetric Designs. Journal of Combinatorial Theory, Series A, 109, 135-148. https://doi.org/10.1016/j.jcta.2004.08.002
[4]	Regueiro, E.O'R. (2005) Biplanes with Flag-Transitive Automorphism Groups of Almost Simple Type, with Alternating or Sporadic Socle. European Journal of Combinatorics, 26, 577-584. https://doi.org/10.1016/j.ejc.2004.05.003
[5]	Regueiro, E.O'R. (2008) Biplanes with Flag-Transitive Automorphism Groups of Almost Simple Type, with Exceptional Socle of Lie Type. Journal of Algebraic Combinatorics, 27, 479-491. https://doi.org/10.1007/s10801-007-0098-8
[6]	Zhan, X.Q. and Zhou, S.L. (2016) Flag-Transitive Non-Symmetric 2-Designs with and Sporadic Scole. Des. Codes Cryptogr.
[7]	Zieschang, P.H. (1998) Flag Transitive Automorphism Groups of 2-Designs with . Journal of Algebra, 118, 265-275.
[8]	Tian, D.L. and Zhou, S.L. (2015) Flag-Transitive Symmetric Designs with Sporadic Socle. The Journal of Combinatorial Designs, 23, 140-150. https://doi.org/10.1002/jcd.21385
[9]	Amderson, I. and Honkala, I. (1997) A Short Course in Combinatorial Designs. Internet Edition.
[10]	Dembowski, P. (1968) Finite Geometries. Springer-Verlag, New York. https://doi.org/10.1007/978-3-642-62012-6
[11]	Wielandt, H. (1964) Finite Permutation Groups. Academic Press, New York.
[12]	Bamberg, J., Giudici, M., Liebeck, M.W., Praeger, C.E. and Saxl, J. (2013) The Classification of Almost Simple 3/2-Transititive Groups. Transactions of the American Mathematical Society, 365, 4257-4311. https://doi.org/10.1090/S0002-9947-2013-05758-3
[13]	The GAP-Group, GAP-Groups, Algorithms, and Programming. (2005) Version 4.4.
[14]	Bosma, W., Cannon, J. and Playoust, C. (1997) The MAGMA Algebra System I: The Use Language. Journal of Symbolic Computation, 24, 235-265. https://doi.org/10.1006/jsco.1996.0125

为你推荐

友情链接