## Flag-transitive 4-designs and PSL (2 , q ) groups

## Huili Dong ∗

College of Mathematics and Information Science, Henan Normal University, Xinxiang, Henan 453007, P. R. China

Abstract This paper considers flag-transitive 4-( q +1 , k, λ ) designs with λ ≥ 5 and q +1 &gt; k &gt; 4. Let the automorphism group of a design D be a simple group G = PSL (2 , q ). Depend on the fact that the setwise stabilizer G B must be one of twelve kinds of subgroups, up to isomorphism we get the following two results. (i) If 10 ≥ λ ≥ 5, then except ( G,G ,G x B , k, λ ) = ( PSL (2 , 761) , E 761 /multicloseright C 380 , S 4 , 24 7) or ( , PSL (2 , 512) , E 512 /multicloseright C 511 , D 18 , 18 8) , undecided, D is a 4-(24 , 8 5), 4-(9 , , 8 5), 4-(8 , , 6 6), 4-(10 , , 9 6), 4-(9 , , 6 10), , 4-(9 , 7 10), 4-(12 , , 11 8) or 4-(14 , , 13 10) design with , G B = D 8 , E 8 /multicloseright C 7 , D 6 , E 9 /multicloseright C 4 , PSL (2 , 2), D 14 , E 11 /multicloseright C 5 or E 13 /multicloseright C 6 respectively. (ii) If λ &gt; 10, G B = A 4 , S 4 , A 5 , PGL (2 , q 0 )( g &gt; 1 even) or PSL (2 , q 0 ), where q 0 g = q , then there is no such design.

Keywords 4-Design, flag-transitive, PSL (2 , q )

MSC(2000) Subject Classification 05B05, 05B25, 20B25

## 1 Introduction

A -( t v, k, λ ) design with a simple group G = PSL (2 , q ) as an automorphism group is interesting. Many classification results about flag-transitive designs have been got. In 1986, 2-( v, k, 1) designs are classified by Delandtsheer[1]. In 2016, 2-( v, k, λ ) symmetric designs with the sole of G equal to PSL (2 , q ) are studyed by Alavi, Bayat and Daneshkhah[2]. In 2018, all nonsymmetric 2-designs with ( r, λ ) = 1 are determined by Zhan and Zhou[3]. In 2019, 2designs with k = 4 are considered by Zhan, Ding and Bai[4]. For 3-designs, there are also many results given in[5, 6, 7, 8]. After Dai and Li[9, 10] classified flag-transitive 4-designs with λ = 3 or 4, we continue this work, and get the following two theorems:

Theorem 1.1. Let D be a flag-transitive 4 ( -q + 1 , k, λ ) design with 10 ≥ λ ≥ 5 and q +1 &gt; k &gt; 4 , G = PSL (2 , q ) be an automorphism simple group.

∗ Corresponding author:011141@htu.edu.cn

Then up to isomorphism except ( G,G ,G x B , k, λ ) = ( PSL (2 , 761) , E 761 /multicloseright C 380 , S 4 , 24 7) , or ( PSL (2 , 512) , E 512 /multicloseright C 511 , D 18 , 18 8) , undecided, D is a 4 (24 8 5) -, , , 4 (9 -, 8 5) , , 4 (8 -, 6 6) , , 4 (10 9 6) -, , , 4 (9 -, 6 10) , , 4 (9 -, 7 10) , , 4 -(12 11 8) , , or 4 (14 13 10) -, , design with G B = D 8 , E 8 /multicloseright C 7 , D 6 , E 9 /multicloseright C 4 , PSL (2 , 2) , D 14 , E 11 /multicloseright C 5 or E 13 /multicloseright C 6 respectively.

Theorem 1.2. Let D be a flag-transitive 4 ( -q +1 , k, λ ) design with λ &gt; 10 and q +1 &gt; k &gt; 4 , G = PSL (2 , q ) be a simple automorphism group of D , G B = A 4 , S 4 , A 5 , PGL (2 , q 0 ) ( g &gt; 1 even) or PSL (2 , q 0 ) , where q 0 g = q . Then there is no such design.

## 2 Preliminaries

We give some useful results. The notations n G , B and G xB denote gcd(2 , q -1), the setwise stabilizer and G x ∩ G B respectively, where x ∈ B .

Lemma 2.1. Let D be a 4 ( -q +1 , k, λ ) design with an automorphism group G = PSL (2 , q ) flag-transitively acting on D . Then

- (i) λ q ( -2) = k k ( -1)( k -2)( k -3) n G | B | ;
- (ii) q = ( k -1)( k -2)( k -3) λn G | xB | +2 ;

(iii) k | ( λn q ( -2) | G xB | +6) ;

(iv) k | gcd( q q ( 2 -1) n , λn q ( -2) | G xB | +6) .

Proof. Since G is flag-transitive, then by [11] G is 2-transitive, therefore, G is also block-transitive and point-primitive. From | G | = | G B || B G | = | G xB || ( x, B ) G | , we get b = | G | | G B | = | G | | G xB | k . By [12], λq q ( +1)( q -1)( q -2) k k ( -1)( k -2)( k -3) = q q ( 2 -1) n G | B | = q q ( 2 -1) nk G | xB | . Obviously (i) and (ii) hold. Since ( k -1)( k -2)( k -3) = ( k 2 -6 k +11) k -6, k | | G B | and | G B | | | G | , (iii) and (iv) hold.

## 3 Proof of two theorems

First we assume that D is a 4-( q +1 , k, λ ) design with λ ≥ 5 and q +1 &gt; k &gt; 4, G = PSL (2 , q ) is a flag-transitive automorphism group of D , where q = p f ≥ 4 and p is a prime. Since D is flag-transitive, we get that k is one orbit length of G B acting on D . By [10, 13], up to conjugation G B must be one of twelve kinds of subgroups, then several results can be got.

/negationslash

Lemma 3.1. G B = A 4 , S 4 or A 5 except ( G,G ,G x B , k, λ ) = ( PSL (2 , 761) , E 761 /multicloseright C 380 , S 4 , 24 7) , undecided.

Proof. Assume that G B = A 4 , S 4 or A 5 , then | G B | = 12, 24 or 60. Since k | | G B | , we have ( | G B | , k ) = (12 12), (12 , , 6), (24 , 24), (24 , 12), (24 8), (24 , , 6), (60 , 60), (60 , 30), (60 , 20), (60 , 15), (60 , 12), (60 , 10), (60 , 6) or (60 , 5). Note that q &gt; k -1, q is a power of a prime and λ ≥ 5, by Lemma 2.1(i) and (ii), we get that ( | G B | , k, q, λ ) = (12 12 32 33), (12 12 13 45), , , , , , , (12 12 17 33), (12 12 47 11), (12 12 101 5), (12 6 8 5), (24 , , , , , , , , , , , , , 24 25 231), , , (24 24 71 77), (24 , , , , 24 79 69), (24 , , , 24 163 33), (24 , , , 24 233 23), (24 , , , 24 761 , , 7), (24 , 8 16 5), (24 , , , 8 9 5),(60 , , , 60 61 1653), (60 , , , 60 89 1121), (60 60 179 , , , , , 551), (60 , 60 1123 87), (60 , , , 30 128 87), (60 , , , 30 31 189), (60 , , , 30 89 63), (60 , , , 30 263 21), (60 , , , 30 191 29), (60 , , , 20 53 19), (60 , , , 20 59 , , 17), (60 , 15 16 39), , , (60 15 23 13), (60 , , , , 15 41 7), (60 , , , 12 13 9) or (60 , , , 10 16 , , 6). By the lengths of orbits listed in [10, 13], we need consider ( | G B | , k, q, λ ) = (12 , 12 17 33), , , (12 12 47 11), (12 , , , , 12 101 5), (24 , , , 24 71 77), (24 , , , 24 79 69), (24 , , , 24 233 2 , , 3), (24 , 24 761 7), (60 , , , 60 89 1121), (60 , , , 60 179 551) or (60 , , , 30 89 63). Us-, , ing Magma[14] we can rule out all cases except case 7. The possible parameters are listed in Table 1, where the notation m n means that the degree m appears n times. For example, in case 1, the group PrimitiveGroup(18,1) denotes the primitive permutation group G = PSL (2 , 17) acting on the set Ω = { 1 2 , , . . . , 18 } . And G have two conjugacy classes of subgroups of order 12 and the possible lengths of all orbits of G B acting on Ω are both 6, 12. There are 2 possible basic blocks B 0 of designs. However, the command Design &lt; 4,18 D | &gt; where D = B G returns both structures are not 4-designs, then case 1 can be ruled out. For case 7, from | G x | = | G | v = 289180, we know G x = E 761 /multicloseright C 380 . There are 64 possible basic blocks B 0 of designs. However, b = | G | | G B | = 9181465 is too large to use Magma. This case is undecided.

Table 1: Possible parameters with G B = A 4 , S 4 or A 5

|   Case | G B   | ( v, k, λ )      | position   | the lengths of all orbits        |
|--------|-------|------------------|------------|----------------------------------|
|      1 | A 4   | (18 , 12 , 33)   | (18,1)     | 6,12; 6,12                       |
|      2 | A 4   | (48 , 12 , 11)   | (48,1)     | 12 4 ; 12 4 ; 12 4 ; 12 4 ; 12 4 |
|      3 | A 4   | (102 , 12 , 5)   | (102,2)    | 6, 12 8                          |
|      4 | S 4   | (72 , 24 , 77)   | (72,1)     | 24 3 ; 24 3 ; 24 3               |
|      5 | S 4   | (80 , 24 , 69)   | (80,1)     | 8, 24 3 ; 8, 24 3                |
|      6 | S 4   | (234 , 24 , 23)  | (234,4)    | 6, 12, 24 9                      |
|      7 | S 4   | (762 , 24 , 7)   | (761,1)    | 6, 12, 24 31 ; 6, 12, 24 31      |
|      8 | A 5   | (90 , 60 , 1121) | (90,1)     | 30, 60; 30, 60                   |
|      9 | A 5   | (180 , 60 , 551) | (180,1)    | 60 3 ; 60 3 ; 60 3               |
|     10 | A 5   | (90 , 60 , 63)   | (90,1)     | 30, 60; 30, 60                   |

Lemma 3.2. G B = PGL (2 , q 0 ) , where q 0 g = q and g &gt; 1 even.

Proof. Assume that G B = PGL (2 , q 0 ), where q 0 g = q and g &gt; 1 even. Then k = q 0 +1, q 0 ( q 0 -1) or q 0 ( q 0 2 -1).

If k = q 0 + 1, then by Lemma 2.1(i) nλ q ( 0 g -2) = q 0 -2. However, there is no solution of this equation.

If k = q 0 ( q 0 -1), then q 0 ≥ 3 and

$$q _ { 0 } ^ { 5 } - 2 > n \lambda ( q _ { 0 } ^ { g } - 2 ) = ( q _ { 0 } - 2 ) ( q _ { 0 } ^ { 2 } - q _ { 0 } - 1 ) ( q _ { 0 } ^ { 2 } - q _ { 0 } - 3 ).$$

Thus g = 2 or 4. Since

$$& ( q _ { 0 } - 2 ) ( q _ { 0 } ^ { 2 } - q _ { 0 } - 1 ) ( q _ { 0 } ^ { 2 } - q _ { 0 } - 3 ) \\ & = ( q _ { 0 } ^ { 2 } - 2 ) [ ( q _ { 0 } - 2 ) ( q _ { 0 } ^ { 2 } - 2 q _ { 0 } - 1 ) ] + ( q _ { 0 } - 2 ) \\ & = ( q _ { 0 } - 4 ) ( q _ { 0 } ^ { 4 } - 2 ) + ( q _ { 0 } ^ { 3 } + 1 0 q _ { 0 } ^ { 2 } - 3 q _ { 0 } - 1 4 ),$$

we get ( q 0 2 -2) | ( q 0 -2) or ( q 0 4 -2) | ( q 0 3 +10 q 0 2 -3 q 0 -14). However, this is impossible.

$$\dot { \tt I f } \dot { k } = \dot { q } _ { 0 } ( { q _ { 0 } } ^ { 2 } - 1 ), \, \text{then}$$

$$q _ { 0 } ^ { 9 } - 2 > n \lambda ( q _ { 0 } ^ { g } - 2 ) = ( q _ { 0 } ^ { 3 } - q _ { 0 } - 1 ) ( q _ { 0 } ^ { 3 } - q _ { 0 } - 2 ) ( q _ { 0 } ^ { 3 } - q _ { 0 } - 3 ),$$

Thus g = 2, 4, 6 or 8. Since

$$& \kappa \omega _ { \ } y - \epsilon, \, \epsilon, \, \chi \times \, \cos \, \cos \, \cos \, \cos \, \cos \, \\ & ( q _ { 0 } ^ { 3 } - q _ { 0 } - 1 ) ( q _ { 0 } ^ { 3 } - q _ { 0 } - 2 ) ( q _ { 0 } ^ { 3 } - q _ { 0 } - 3 ) \\ & = ( q _ { 0 } ^ { 2 } - 2 ) ( q _ { 0 } ^ { 7 } - q _ { 0 } ^ { 5 } - 6 q _ { 0 } ^ { 4 } + q _ { 0 } ^ { 3 } + 1 2 q _ { 0 } - 6 ) + ( 1 3 q _ { 0 } - 1 8 ) \\ & = ( q _ { 0 } ^ { 4 } - 2 ) ( q _ { 0 } ^ { 5 } - 3 q _ { 0 } ^ { 3 } - 6 q _ { 0 } ^ { 2 } + 5 q _ { 0 } + 1 2 ) + ( 4 q _ { 0 } ^ { 3 } - 1 8 q _ { 0 } ^ { 2 } - q _ { 0 } + 1 8 ) \\ & = ( q _ { 0 } ^ { 6 } - 2 ) ( q _ { 0 } ^ { 3 } - 3 q _ { 0 } - 6 ) + ( 3 q _ { 0 } ^ { 5 } + 1 2 q _ { 0 } ^ { 4 } + 1 2 q _ { 0 } ^ { 3 } - 6 q _ { 0 } ^ { 2 } - 1 7 q _ { 0 } - 1 8 ) \\ & = q _ { 0 } ( q _ { 0 } ^ { 8 } - 2 ) + ( - 3 q _ { 0 } ^ { 7 } - 6 q _ { 0 } ^ { 6 } + 3 q _ { 0 } ^ { 5 } + 1 2 q _ { 0 } ^ { 4 } + 1 0 q _ { 0 } ^ { 3 } - 6 q _ { 0 } ^ { 2 } - 9 q _ { 0 } - 6 ), \\ & \quad \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \end{array}$$

we get ( q 0 2 -2) | (13 q 0 -18), ( q 0 4 -2) | (4 q 0 3 -18 q 0 2 -q 0 +18), ( q 0 6 -2) | (3 q 0 5 +12 q 0 4 +12 q 0 3 -6 q 0 2 -17 q 0 -18) or ( q 0 8 -2) | (3 q 0 7 +6 q 0 6 -3 q 0 5 -12 q 0 4 -10 q 0 3 +6 q 0 2 +9 q 0 +6). Therefore, ( g, q 0 ) = (2 , 2), (2 , 3). However, this is contrary with q &gt; k -1.

Lemma 3.3. Let G B = PSL (2 , q 0 ) , where q 0 g = q . Then D is a 4 (9 -, 6 10) , design with G B = PSL (2 , 2) , denoted by D 1 .

Proof. Assume tht G B = PSL (2 , q 0 ), where q 0 g = . Then q k = q 0 +1, q 0 ( q 0 -1) if g is even or q 0 ( q 0 2 -1) gcd(2 ,q 0 -1) .

If k = q 0 +1, then λ q ( 0 g -2) = q 0 -2. However, there is no such q 0 &gt; 3 satisfying the equation.

If k = q 0 ( q 0 -1), then q 0 ≥ 3 and q 0 5 -2 &gt; λ q ( 0 g -2) = ( q 0 -2)( q 0 2 -q 0 -1)( q 0 2 -q 0 -3). Thus g = 2 or 4. The same as in Lemma 3.2, this is impossible.

If k = q 0 ( q 0 2 -1) gcd(2 ,q 0 -1) , then q 0 9 -2 &gt; n λ q 4 ( 0 g -2) = ( q 0 3 -q 0 -n )( q 0 3 -q 0 -2 n )( q 0 3 -q 0 -3 n ). Note that q +1 &gt; k &gt; 4, we get 8 ≥ g ≥ 2. Since

- 2)
- -

( q 0 3 -q 0 -n )( q 0 3 -q 0 -2 n )( q 0 3 -q 0 -3 n ) = ( q 0 2 -2)[ q 0 7 -q 0 5 -6 nq 0 4 + q 0 3 +(11 n 2 +1) q 0 -6 n ] + [(11 n 2 +2) q 0 -6 n 3 -12 n ] = ( q 0 3 -2)[ q 0 6 -3 q 0 4 -(6 n -2) q 0 3 +3 q 0 2 +(12 n -6) q 0 +(11 n 2 -12 n +3)] + [ -(6 n -6) q 0 2 -(11 n 2 -24 n +12) q 0 -6 n 3 +22 n 2 -24 n +6] = ( q 0 4 -2)( q 0 5 -3 q 0 3 -6 nq 0 2 +5 q 0 +12 ) + [(11 n n 2 -7) q 0 3 -18 nq 0 2 -(11 n 2 -10) q 0 -6 n 3 +24 ] n = ( q 0 5 -2)( q 0 4 -3 q 0 2 -6 nq 0 +3) + [(12 n +2) q 0 4 +(11 n 2 -1) q 0 3 -(6 n +6) q 0 2 -(11 n 2 +12 ) n q 0 -6 n 3 +6] = ( q 0 6 -2)( q 0 3 -3 q 0 -6 n ) + [3 q 0 5 +12 nq 0 4 +(11 n 2 +1) q 0 3 -6 nq 0 2 -(11 n 2 +6) q 0 -6 n 3 -12 n ] = ( q 0 7 -2)( q 0 2 -3) + [ -6 nq 0 6 +3 q 0 5 +12 nq 0 4 +(11 n 2 -1) q 0 3 -(6 n -q 0 2 -11 n q 2 0 -6 n 3 -6] = q 0 ( q 0 8 -2) + [ -3 q 0 7 -6 nq 0 6 +3 q 0 5 +12 nq 0 4 +(11 n 2 -1) q 0 3 -6 nq 0 2 (11 n 2 -2) q 0 -6 n 3 ] , we get ( g, q 0 ) = (3 2). , Thus ( q, k, λ ) = (8 6 10). , , The generators of G = PSL (2 , 8) acting on the set Ω = { 1 2 , , . . . , 9 } are as follows: g 1 = (1 , 8)(2 , 4)(3 , 7)(5 , 6), g 2 = (2 7)(3 6)(4 5)(8 9), , , , , g 3 = (1 2 3 4 5 6 7). , , , , , , Then all orbits of G B acting on Ω are Ω 1 = { 4 6 8 , , } and Ω 2 = { 1 2 3 5 7 9 , , , , , } . Take B = Ω 2 as a possible basic block of a design, then it returns a 4-(9 , 8 5) , design D 1 . Clearly, D 1 is also flag-transitive.

Next we consider G B is one of the remaining four kinds of subgroups and assume that 10 ≥ λ ≥ 5.

Lemma 3.4. Let G B = C c or D 2 c , where c | q ± 1 n , then ( λ, | G B | , c, k, q ) = (5 , 8 4 8 23) , , , , (8 , 18 9 18 512) , , , , (10 6 3 6 8) , , , , , (7 , 8 8 8 17) , , , , (7 , 8 4 8 17) , , , , (10 14 7 7 8) , , , , or (6 , 6 3 6 7) , , , .

Proof. Assume that G B = C c or D 2 c , where c | q ± 1 n . Then k = c or 2 ( c | G B | = 2 ). c

Let c | q +1 n , then by Lemma 2.1(iii) c | gcd( λn q ( -2) | G xB | + 6 , q +1 n ), that is, c | gcd(3 λn G | xB | -6 , q +1 n ). By Lemma 2.1(ii), ( λ, | G B | , c, k, q ) = (5 , 8 4 8 23), (8 , , , , 18 9 18 512) or (10 6 3 6 8). , , , , , , ,

/negationslash

/negationslash

Let c | q -1 n . Assume that ( λ, n, | G B | , k ) = (6 , 1 2 , c, 2 ), then 6(2 c f -2) = (2 c -1)(2 c -2)(2 c -3) = 2 (4 c c 2 -12 c + 11) -6, therefore, 3 2 f -1 c = 4 c 2 -12 c +11. From 3 | (4 c 2 -12 c +11), we have that c = 3 +1 or 3 + 2, l l where l is a positive integer. If c = 3 l +1, then 2 f = (6 + 1)(6 l l l -1) + 2, therefore, 8 | ( (6 l l +1)(6 l -1) + 2), we get l ≡ 2( mod 8). Let l = 8 m +2, then 2 f -1 = (4 m +1)(48 m +13)(48 m +11)+1. Obviously, m = 0, therefore, 2 f -1 ≥ 5 · 61 · 59+1 &gt; 2 14 . Thus 2 14 | ((4 m +1)(48 m +13)(48 m +11)+1), however, this is impossible. Assume that ( λ, n, | G B | , k ) = (6 1 , , c, c ), then 6(2 f -2) = ( c -1)( c -2)( c -3) = c c ( 2 -6 c +11) -6, therefore, 6 2 f -1 c = c 2 -6 c + 11. From 6 | ( c 2 -6 c + 11), we have that c = 6 l + 1 or 6 l + 5, where l is an integer. If c = 6 l + 1, then 2 f -1 = (6 l l -1)(3 l -1) + 1, therefore, 4 | ( (6 l l -1)(3 l -1) + 1), that is, 4 | (18 l 3 -9 l 2 + l + 1). However, this is impossible. If c = 6 l + 5, then 2 f -1 = (3 l + 2)(2 l + 1)(3 l + 1) + 1, therefore, 4 | ((3 l + 2)(2 l + 1)(3 l + 1) + 1), that is, 4 | (18 l 3 + 27 l 2 + 13 l + 3). However, this is also impossible. Now we consider that ( λ, n, | G B | , k ) = (6 , 1 2 , c, 2 ) and (6 1 c , , c, c ), then c | gcd( λn q ( -2) | G xB | +6 , q -1 n ), that is, c | gcd( λn G | xB |-6 , q -1 n ). Thus ( λ, | G B | , c, k, q ) = (7 , 8 8 8 17), (7 , , , , 8 4 8 17), (7 , , , , 16 8 16 197), (10 14 7 7 8), (6 6 3 6 7). , , , , , , , , , , , By employing the command Subgroups(G:OrderEqual:=b), we rule out ( λ, | G B | , c, k, q ) = (7 , 16 8 16 197). , , ,

Lemma 3.5. Let G B = E q 0 or E q 0 /multicloseright C c , where q 0 | q , c | ( q 0 -1) and c | ( q -1) , then ( λ, i, k, q ) = (5 , 1 8 8) , , , (6 , 2 9 9) , , , (8 , 2 11 11) , , or (10 2 13 13) , , , where k = q 0 and c = k -1 i .

Proof. Let G B = E q 0 or E q 0 /multicloseright C c , where q 0 | q , c | ( q 0 -1) and c | ( q -1). Then k = q 0 or cq 0 .

Let k = q 0 , then k | gcd( λn q ( -2) | G xB | +6 , q ), that is, k | gcd(2 λn G | xB |-6 , q ). If | G B | = q 0 , then ( λ, | G B | , k, q ) = (7 8 8 32). , , , If | G B | = cq 0 , then | G xB | = , therefore, c k ≤ 2 λnc -6, so k -1 2 λn &lt; k +6 2 λn ≤ c . From c | ( k -1), we let c = k -1 i , where i = 1, 2, · · · , 2 λn -1. Then from k | gcd( 2 λn k ( -1) i -6 , q ), we get k | gcd(2 λn + 6 i, q ). All possible parameters of ( λ, i, k, q ) are (5 , 1 8 8), (5 , , , 1 13 13), (6 , , , 2 9 9), (6 , , , 3 7 7), (7 , , , 1 17 17), (8 , , , 1 19 19), , , (8 , 2 11 11), (10 1 23 23) or (10 2 13 13). , , , , , , , , By employing the command Subgroups(G:OrderEqual:=b), we rule out ( λ, i, k, q ) = (5 , 1 13 13), (6 , , , 3 7 , , 7), (7 , 1 17 17), (8 , , , 1 19 19) and (10 1 23 23). , , , , ,

If k = cq 0 , then | G xB | = 1. From k | ( λn q ( -2) + 6), we have that q 0 | gcd(2 λn -6 , q ). Since c | ( q 0 -1). We get no possible parameters.

Lemma 3.6. Let G B = C c , D 2 c or E q 0 , E q 0 /multicloseright C c , where c | q ± 1 n or q 0 | q , c | ( q 0 -1) and c | ( q -1) . Then except ( G,G ,G x B , k, λ ) = ( PSL (2 , 512) , E 512 /multicloseright C 511 , D 18 , 18 8) , undecided, up to isomorphism D is a 4 (24 8 5) -, , , 4 (9 -, 8 5) , , 4 (8 -, 6 6) , , 4 (10 9 6) -, , , 4 (9 -, 6 10) , , 4 (9 -, 7 10) , , 4 (12 11 8) -, , or 4 (14 13 10) -, ,

design with G B = D 8 , E 8 /multicloseright C 7 , D 6 , E 9 /multicloseright C 4 , PSL (2 , 2) , D 14 , E 11 /multicloseright C 5 or E 13 /multicloseright C 6 respectively.

Proof. We consider the cases appearing in Lemma 3.4 and 3.5 and list the results in Table 2. The lengths of all orbits and the number of the designs are listed in column 5 and column 6 respectively, where twice or five times denote such lengths of orbits appearing twice or five times.

Table 2: Possible values with G B = C c , D 2 c , E q 0 or E q 0 /multicloseright C c

|   Case | G B                       | ( v, k, λ )    | position   | lengths             | number   |
|--------|---------------------------|----------------|------------|---------------------|----------|
|      1 | D 8                       | (24 , 8 , 5)   | (24,1)     | 8 3                 | 2        |
|      2 | D 18                      | (513 , 18 , 8) | (513,10)   | 9, 18 28            | ?        |
|      3 | D 6                       | (9 , 6 , 10)   | (9,8)      | 3,6                 | 1        |
|      4 | D 6                       | (8 , 6 , 6)    | (8,4)      | 2,6                 | 1        |
|      5 | D 8                       | (18 , 8 , 7)   | (18,1)     | 2, 4 2 , 8(twice)   | 0        |
|      6 | C 8                       | (18 , 8 , 7)   | (18,1)     | 1 2 ,8 2            | 0        |
|      7 | D 14                      | (9 , 7 , 10)   | (9,8)      | 2,7                 | 1        |
|      8 | E 8                       | (33 , 8 , 7)   | (33,1)     | 1, 8 4 (five times) | 0        |
|      9 | E 8 /multicloseright C 7  | (9 , 8 , 5)    | (9,8)      | 1,8                 | 1        |
|     10 | E 9 /multicloseright C 4  | (10 , 9 , 6)   | (10,3)     | 1,9                 | 1        |
|     11 | E 11 /multicloseright C 5 | (12 , 11 , 8)  | (12,1)     | 1,11                | 1        |
|     12 | E 13 /multicloseright C 6 | (14 , 13 , 10) | (14,1)     | 1,13                | 1        |

For case 2, from | G x | = | G | v = 261632, we know G x = E 761 /multicloseright C 380 . There are 28 possible basic blocks B 0 of designs. However, b = | G | | G B | = 7456512 is too large to use Magma.

For the remaining cases, the same as before, we can deal with them by the same method. For example, the generators of the group G = PSL (2 , 23) acting on the set Ω = { 1 2 , , . . . , 24 } are listed as follows:

- g = (1 8)(2 10)(3 16)(4 24)(5 15)(6 21)(7 23)(9 20)(11 22)(12 14) , , , , , , , , , ,

1 (13 18)(17 19), , , g 2 = (1 19 24 6)(2 13 22 20)(3 12 23 5)(4 17 8 21)(7 14 16 15) , , , , , , , , , , , , , , ,

(9

,

11 18 10),

,

,

g 3 = (1 24)(2 22)(3 23)(4 8)(5 12)(6 19)(7 16)(9 18)(10 11)(13 20) , , , , , , , , , ,

,

(14 15)(17 21).

,

G has only one conjugacy class of subgroups of order 8 and all the orbits of G B acting on the set Ω are listed as follows:

Ω 1 = { 1 4 6 8 17 19 21 24 , , , , , , , } ,

Ω 2 = { 2 9 10 11 13 18 20 22 , , , , , , , } ,

Ω 3 = { 3 5 7 12 14 15 16 23 , , , , , , , } .

First take B 0 = Ω 1 as a possible basic block of a design. However, the structure is not 4-design. Now take B 0 = Ω 2 or Ω 3 as a possible basic block

of a design, then we construct two flag-transitive 4-(24 , 8 5) designs , D 2 and D 3 . By[15], it shows that both designs are isomorphic. It need to note that the design corresponding to case 3 is isomorphic to the design D 1 .

This completes the proof of Theorem 1.1 and 1.2.

Acknowledgements This work was supported by the National Natural Science Foundation of China(No:11301158,11601132).

## References

- [1] A. Delandtsheer, Flag-transitive finite simple groups. Arch. Math. 47:395-400(1986).
- [2] S.H. Alavi, M. Bayat, A. Daneshkhah, Symmetric designs admitting flag-transitive and point-primitive automorphism groups associated to two dimensional projective special groups. Des. Codes Cryptogr. 79:337-351(2016).
- [3] X.Q. Zhan, S.L. Zhou, Non-symmetric 2-designs admitting a twodimensional projective linear group. Des. Codes Cryptogr. 86:27652773(2018).
- [4] X.Q. Zhan, S.Y. Ding, S.Y. Bai, Flag-transitive 2 designs from PSL (2 , q ) with block size 4. Des. Codes Cryptogr. (2019). https://doi.org/10.1007/s10623-019-00648-3
- [5] C.A. Cusack, S.W. Graham, D.L. Kreher, Large sets of 3-designs from PSL (2 , q ), with block sizes 4 and 5. J. Comb. Des. 3:147-160(1995).
- [6] M.S. Keranen, D.L. Kreher, Shiue P.J.-S., Quadruple systems of the projective special linear group PSL (2 , q ), q ≡ 1( mod 4). J. Comb. Des. 11:339-351(2003).
- [7] M.S. Keranen, D.L. Kreher, 3-designs of PSL (2 , 2 n ) with block sizes 4 and 5. J. Comb. Des. 12:103-111(2004).
- [8] W.J. Liu, J.X. Tang, Y.X. Wu, Some new 3-designs from PSL (2 , q ) with q ≡ 1( mod 4). Sci. China Math. 55:1901-1911(2012).
- [9] S. J. Dai, S. Z. Li, Flag-transitive 4-( v, k, 4) designs and PSL (2 , q ) groups. Utilitas Math. 105:3-11(2017).
- [10] S. J. Dai, S. Z. Li, Flag-transitive 4-( v, k, 3) designs and PSL (2 , q ) groups. Appl. Math. Comput. 332:167-171(2018).
- [11] M. Huber, Flag-Transitive Steiner Designs, in: Birkh¨user a Basel, Berlin, Boston, 2009.

- [12] C. J. Colbourn, J. H. Dinitz, Handbook of Combinatorial Designs, CRC press, Boca Raton, FL, 2007.
- [13] M. Huber, A census of highly symmetric combinatorial designs. J. Algebra Comb. 26:453-476(2007).
- [14] W. Bosma, J. Cannon, C. Playoust, The MAGMA algebra system I: The user language. J. Symbolic Comput. 24:235-265(1997).
- [15] L. H. Soicher, The DESIGN Package for GAP, Version 1.6. (2011). http://designtheory.org/software/gap-design/
Huili Dong
Flag-transitive $4$-designs and $PSL(2,q)$ groups
This paper considers flag-transitive $4$-$(q+1,k,\lambda)$ designs with
$\lambda\geq5$ and $q+1>k>4$. Let the automorphism group of a design $\cal D$
be a simple group $G=PSL(2,q)$. Depend on the fact that the setwise stabilizer
$G_B$ must be one of twelve kinds of subgroups, up to isomorphism we get the
following two results. (i) If $10\geq \lambda \geq 5$, then except
$(G,G_x,G_B,k,\lambda)=(PSL(2,761),{E_{761}}\rtimes {C_{380}},S_4,24,7)$ or
$(PSL(2,512),{E_{512}}\rtimes {C_{511}},{D_{18}},18,8)$ undecided, $\cal D$ is
a $4$-$(24,8,5)$, $4$-$(9,8,5)$, $4$-$(8,6,6)$, $4$-$(10,9,6)$, $4$-$(9,6,10)$,
$4$-$(9,7,10)$, $4$-$(12,11,8)$ or $4$-$(14,13,10)$ design with
  $G_B=D_8$, ${E_8}\rtimes {C_7}$, $D_6$, ${E_9}\rtimes {C_4}$, $PSL(2,2)$,
$D_{14}$, ${E_{11}}\rtimes {C_{5}}$ or ${E_{13}}\rtimes {C_6}$ respectively.
  (ii) If $\lambda>10$, ${G_B}=A_4$, $S_4$, $A_5$, $PGL(2,q_0)$($g>1$ even) or
$PSL(2,q_0)$, where ${q_0}^g=q$, then there is no such design.