BASE SIZES OF IMPRIMITIVE LINEAR GROUPS AND ORBITS OF
GENERAL LINEAR GROUPS ON SPANNING TUPLES

arXiv:1602.04913v1 [] 16 Feb 2016

JOANNA B. FAWCETT, CHERYL E. PRAEGER

Abstract. For a subgroup L of the symmetric group Sℓ , we determine the minimal
base size of GLd (q) ≀ L acting on Vd (q)ℓ as an imprimitive linear group. This is achieved
by computing the number of orbits of GLd (q) on spanning m-tuples, which turns out to
be the number of d-dimensional subspaces of Vm (q). We then use these results to prove
that for certain families of subgroups L, the affine groups whose stabilisers are large
subgroups of GLd (q) ≀ L satisfy a conjecture of Pyber concerning bases.

1. Introduction
Bases are a fundamental tool in permutation group theory and are used extensively in
computational group theory (cf. [16]). For a permutation group G on Ω, a base is a subset
B of Ω with the property that only the identity of G fixes every point of B. The base size
of G on Ω, denoted by bΩ (G) or b(G), is the minimal size of a base for G. In this paper,
we study the base sizes of imprimitive linear groups.
Let Vd (q) denote a d-dimensional vector space over the finite field Fq . For any positive
integer ℓ and subgroup L of the symmetric group Sℓ , the wreath product GLd (q) ≀ L acts
naturally on Vd (q)ℓ as an imprimitive linear group (cf. Section 2). In our first result,
we determine the base size of GLd (q) ≀ L in terms of the distinguishing number of L on
[ℓ] := {1, . . . , ℓ}; this latter quantity, denoted by d[ℓ] (L) or d(L), is the minimal number of
parts in a partition of [ℓ] for which only the identity of L fixes every part.
Theorem 1.1. Let d and ℓ be positive integers and q a prime power. Let V := Vd (q)ℓ .
For L 6 Sℓ ,
n
o

bV (GLd (q) ≀ L) = d + min s : d+s
>
d
(L)
[ℓ]
d q
l
m
log d[ℓ] (L)
=d+
+ c,
d log q

where c = −1 or 0.

Theorem 1.1 gives an upper bound on the base size of any irreducible imprimitive linear
group, for we may view such a group H as a subgroup of GLd (q)≀L where L is the transitive
group induced by H on the d-dimensional Fq -vector spaces of a direct sum decomposition
preserved by H (cf. Lemma 2.4). In fact, if the decomposition preserved by H is as
coarse as possible, then the group L is primitive (cf. Lemma 2.4), and if L is not the
full symmetric or alternating group, then d(L) 6 4 by [4, 6, 15] (cf. Theorem 2.3), so we
obtain the following consequence of Theorem 1.1.
Corollary 1.2. Let V be a finite-dimensional Fq -vector space and H 6 GL(V ) where H
is irreducible and imprimitive. Let V = V1 ⊕ · · · ⊕ Vℓ be a decomposition preserved by H,
chosen so that ℓ is minimal subject to ℓ > 2. If the permutation group induced by H on
{V1 , . . . , Vℓ } is not Sℓ or Aℓ , then bV (H) 6 dimFq (V1 ) + 1.
Key words and phrases. permutation group, base size, general linear group, imprimitive linear group,
spanning sequence.
1

2

JOANNA B. FAWCETT, CHERYL E. PRAEGER

Theorem 1.1 is proved using a result of Bailey and Cameron [1] that describes the base
size of GLd (q) ≀ L in terms of the number of orbits of GLd (q) on spanning m-tuples, which
are m-tuples (v1 , . . . , vm ) ∈ Vd (q)m such that v1 , . . . , vm span Vd (q) (such sequences are
referred to as ordered multi-bases in the more general setting of [1]).
In our next result, we determine the number of orbits of GLd (q) in its natural action on
the set of spanning
m-tuples; here we find another interpretation for the Gaussian binomial

coefficient m
,
which
equals, for instance, the number of d-dimensional subspaces of an
d q
m-dimensional Fq -vector space.
Theorem1.3. Let d and m be positive integers and q a prime power. Then GLd (q) has
m
exactly m
d q orbits on the set of spanning m-tuples in Vd (q) .

As an application, we use Theorem 1.1 to prove a conjecture of Pyber for certain affine
groups. Given a permutation group G of degree n, there is a trivial lower bound on
b(G), namely log |G|/ log n, as each element of G is uniquely determined by its action on a
base. Pyber conjectured in [13] that there exists an absolute constant C such that b(G) 6
C log |G|/ log n for every primitive permutation group G of degree n. This conjecture has
now been verified for all non-affine groups [2, 3, 7, 9], as well as for affine groups that are
soluble [14] or coprime [8], or those whose stabilisers are primitive linear groups [10, 11].
Thus the remaining open case for Pyber’s conjecture consists of affine groups whose
stabilisers are imprimitive linear groups. Here G = V : G0 and acts on V , where V is
an Fp -vector space for some prime p and the stabiliser G0 is an irreducible imprimitive
subgroup of GL(V ). We focus on (not necessarily primitive) affine groups G for which G0
is a large subgroup of GLd (q) ≀ L where L is one of several families of groups.
Theorem 1.4. Let d and ℓ be positive integers and q a prime power. Let L 6 Sℓ and
V := Vd (q)ℓ . Let G0 be a group for which SLd (q)ℓ 6 G0 6 GLd (q) ≀ L and suppose that G0
induces the group L on the ℓ factors of the decomposition of V . Let G := V : G0 . Suppose
that one of the following holds.
(i) d[ℓ] (L) 6 c where c is an absolute constant.
(ii) L acts primitively on [ℓ].
(iii) L acts semiregularly on [ℓ].
(iv) L = Sm ≀ Sr in its imprimitive action on [ℓ] where ℓ = mr and m, r > 2.
Then there exists an absolute constant C such that
log |G|
+ C + 2,
bV (G) 6 C
log n
2c
where n = q dℓ is the degree of G. Moreover, we can take C = max{2, log
log 2 } when (i)
holds, C = 3 when (ii) holds, and C = 2 when (iii) or (iv) hold.

More precise estimates for C may be deduced from the proof of Theorem 1.4 in Section 5.
For ℓ > 2, the affine groups V : G0 of Theorem 1.4 are primitive precisely when L is
transitive and (d, q) 6= (1, 2) (cf. Lemma 2.4), so Theorem 1.4 includes genuine primitive
affine groups.
Condition (i) of Theorem 1.4 holds for many permutation groups, including those that
are primitive but not Sℓ or Aℓ , as previously mentioned. Indeed, Dolfi proves in [6] that if L
is a (not necessarily transitive) permutation group on [ℓ] for which no primitive constituent
contains Aℓ , then d(L) 6 5.
It would be interesting to prove Theorem 1.4 for all transitive subgroups L of Sℓ . In
order to apply our methods in general (cf. Lemma 5.1), it would suffice to prove that
log d(L) 6 (C/ℓ) log |L| + (C − 1) log 2 for some absolute constant C where C > 1.

BASE SIZES OF IMPRIMITIVE LINEAR GROUPS

3

Remark 1.5. As stated, our main results on base sizes only apply to linear groups, but
each result can be interpreted for the appropriate semilinear groups, for if H 6 ΓL(V ),
then bV (H) 6 bV (H ∩ GL(V )) + 1. To see this, let B be a base for H ∩ GL(V ). Choose a
primitive element ζ ∈ Fq and a non-zero vector v ∈ B. Then B ∪ {ζv} is a base for H.
Both Corollary 1.2 and Theorem 1.4(ii) depend on the classification of the finite simple
groups, for their proofs rely on the result referred to above concerning the distinguishing
numbers of primitive permutation groups.
This paper is organised as follows. In Section 2, we state some definitions, notation and
preliminary results. In Section 3, we prove Theorem 1.3; in Section 4, we prove Theorem
1.1 and Corollary 1.2; and in Section 5, we prove Theorem 1.4.
2. Preliminaries
Let H and K be groups. We denote a semidirect product of H and K (in which H
is normal) by H : K. If K acts on [ℓ] := {1, . . . , ℓ}, then K acts on H ℓ by permuting
coordinates, and this action defines the wreath product H ℓ : K, which we denote by H ≀ K.
Suppose in addition that H acts on Ω. Now H ≀ K has two natural actions. One is the
product action on Ωℓ , in which K acts by permuting coordinates and (h1 , . . . , hℓ ) ∈ H ℓ
maps (α1 , . . . , αℓ ) ∈ Ωℓ to (αh1 1 , . . . , αhℓ ℓ ). The other is the imprimitive action on Ω × [ℓ], in
which (h1 , . . . , hℓ )k ∈ H ≀ K maps (α, i) ∈ Ω × [ℓ] to (αhi , ik ); if H and K are transitive on
Ω and [ℓ] respectively, then H ≀ K acts transitively on Ω × [ℓ] with blocks of imprimitivity
{(α, i) : α ∈ Ω} for i ∈ [ℓ].
Let m be a positive integer. For a group H acting on Ω, an ordered multi-base of length
m is an m-tuple (α1 , . . . , αm ) ∈ Ωm for which {α1 , . . . , αm } is a base for H. Now H acts
naturally on Ωm and preserves the set of ordered multi-bases. The following is a result of
Bailey and Cameron [1, Theorem 2.13].
Proposition 2.1 ([1]). Let ℓ be a positive integer, and let H and K be permutation groups
on Ω and [ℓ] respectively. Then H ≀ K has a base of size m under the product action if and
only if the number of orbits of H on ordered multi-bases of length m is at least d[ℓ] (K).
In [5], Chan determines the distinguishing number of a wreath product H ≀ K in its
imprimitive action. In particular, she proves that for positive integers m and r, the
d
distinguishing number of Sm ≀ Sr on [m] × [r] is the minimum d such that m
is at least
r. The following observation is a simple consequence of this result.
Lemma 2.2. Let m and r be positive integers, and let ∆ := [m] × [r]. Then
m
l
d∆ (Sm ≀ Sr ) 6 mr 1/m .

d
Proof. By [5, Corollary 2.4], d∆ (Sm ≀ Sr ) = min{d : m
> r}. In particular, d > m. Now
 
 m
d
d−m+1
d
d d−1
···
=
6
,
m
m
mm−1
1


so d∆ (Sm ≀ Sr ) 6 min{d : (d/m)m > r} = mr 1/m .


In contrast, the distinguishing numbers of most primitive permutation groups are very
small. Cameron, Neumann and Saxl [4] proved that all but finitely many primitive subgroups of Sℓ not containing Aℓ have distinguishing number 2 (using different terminology),
after which Seress [15] classified the exceptions. Dolfi [6, Lemma 1] then proved that the
distinguishing numbers of the exceptions are at most 4. We state this result here for
convenience.

4

JOANNA B. FAWCETT, CHERYL E. PRAEGER

Theorem 2.3 ([4, 6, 15]). If L is a primitive subgroup of Sℓ not containing Aℓ , then
d[ℓ] (L) 6 4.
Let V be a finite-dimensional Fq -vector space where q is a power of a prime p. A
subgroup H of GL(V ) is irreducible if it does not preserve any proper non-zero subspaces
of V , and imprimitive if it preserves a decomposition V = V1 ⊕ · · · ⊕ Vℓ where Vi is an
Fq -subspace of V for 1 6 i 6 ℓ. If L is the group induced by H on {V1 , . . . , Vℓ } and
dimFq (Vi ) = d for 1 6 i 6 ℓ, then we may assume that H 6 GLd (q) ≀ L; in particular,
this occurs whenever L is transitive. Note that the action of the imprimitive linear group
GLd (q) ≀ L on Vd (q)ℓ is precisely the product action defined above.
An affine group with socle V and stabiliser H is the group G = V : H arising from the
natural action of H on V . Note that H is the stabiliser of the 0 vector. The action of G
on V is primitive precisely when H is an irreducible subgroup of GL(V ) with V viewed
as an Fp -vector space.
The following is a collection of basic results concerning imprimitive linear groups.
Lemma 2.4. Let V be a finite-dimensional Fq -vector space and H 6 GL(V ) where H is
imprimitive. Let V = V1 ⊕ · · · ⊕ Vℓ be a decomposition preserved by H where ℓ > 2, and
let L be the subgroup of Sℓ induced by H on {V1 , . . . , Vℓ }. Let d := dimFq (V1 ).
(i) If H is irreducible, then L is transitive and (d, q) 6= (1, 2).
(ii) If the decomposition of V is chosen so that ℓ is minimal, then L is primitive.
(iii) If Vi = Vd (q) for 1 6 i 6 ℓ and S 6 GLd (q) such that S ℓ 6 H 6 GLd (q) ≀ L and S
is transitive on Vd (q) \ {0}, then V : H is primitive if and only if L is transitive
and (d, q) 6= (1, 2).
Proof. (i) If H is irreducible and I is an orbit of L on [ℓ], then ⊕i∈I Vi is a subspace of V
preserved by H, so L is transitive. If also (d, q) = (1, 2), then the set of vectors in V ≃ Fℓ2
with an even number of non-zero entries is preserved by H, a contradiction.
(ii) If L is not primitive, then H preserves a coarser decomposition of V .
(iii) If V : H is primitive, then H is irreducible and we may apply (i). Conversely,
suppose that L is transitive and (d, q) 6= (1, 2). Let U be a non-zero Fp -subspace of
V preserved by H where p is the characteristic of Fq . Let 0 6= u = (u1 , . . . , uℓ ) ∈ U .
Without loss of generality, we may assume that u1 6= 0. Since (d, q) 6= (1, 2), there
exists v1 ∈ V1 \ {0, u1 }. Since H contains a subgroup S that is transitive on V1 \ {0}
and fixes Vi pointwise for 2 6 i 6 ℓ, the vector v := (u1 − v1 , u2 , . . . , uℓ ) ∈ U . Thus
(v1 , 0, . . . , 0) = u − v ∈ U , and it follows as above that (w1 , 0, . . . , 0) ∈ U for all w1 ∈ V1 .
Since L is transitive on [ℓ], we conclude that U = V . Hence V : H is primitive.

3. Orbits on spanning tuples
Recall that for non-negative integers m and d and a prime power q, the Gaussian
binomial coefficient is defined by
( m
 
(q −1)(q m−1 −1)···(q m−d+1 −1)
m
if d 6 m
(q d −1)(q d−1 −1)···(q−1)
:=
d q
0
if d > m.

Recall also that m
d q is precisely the number of d-dimensional subspaces of Vm (q).

Proof of Theorem 1.3. Let Sm,d denote the set of spanning m-tuples of GLd (q) on Vd (q) =
Fdq (viewed as row vectors). If d > m, then Sm,d is empty, so we may assume that d 6 m.
Let Mm,d denote the set of (m × d)-matrices over Fq with rank d. There is a natural
bijection between Sm,d and Mm,d defined by mapping (v1 , . . . , vm ) to the (m × d)-matrix

BASE SIZES OF IMPRIMITIVE LINEAR GROUPS

5

with rows v1 , . . . , vm . Now GLd (q) acts on Mm,d by right multiplication, and the actions
of GLd (q) on Sm,d and Mm,d are equivalent under the bijection above, so the numbers of
orbits of GLd (q) on Sm,d and Mm,d are the same.
Let Om,d be the set of orbits of GLd (q) on Mm,d . Define a map ϕ from Om,d to the
set of d-dimensional subspaces of Fm
q (viewed as column vectors) by mapping the orbit
{Ag : g ∈ GLd (q)}, for A ∈ Mm,d , to the column space of A. Now ϕ is well-defined since
A and Ag have the same column space for all g ∈ GLd (q). Clearly ϕ is surjective; it is also
injective, for if A and B are elements of Mm,d with the
 same column space, then there
exists g ∈ GLd (q) such that Ag = B. Thus |Om,d | = m

d q , as desired.
Next we give a simple estimation for the Gaussian binomial coefficient.

Lemma 3.1. Let d and s be positive integers and q a prime power. Then




1 −1 ds
d+s
1
ds
q .
q 6
6 1− − 2
q q
d
q
Proof. Observe that
qs 6

1
1 − qs+i
q i − q1s
q s+i − 1
s
s
=
q
=
q
qi − 1
qi − 1
1 − q1i

for 1 6 i 6 d. In particular, the lower bound holds. Moreover,

Qd 
1


1
−
s+i
i=1
d+s
q
 .
= q ds Q 
d
d
q
1− 1
i=1

Qd

Since i=1 (1 − 1/q s+i ) < 1 and
upper bound holds.

Qd

i=1 (1 − 1/q

i)

qi

> 1 − 1/q − 1/q 2 by [12, Lemma 3.5], the


4. Base sizes of imprimitive linear groups
We begin by establishing the first equality of Theorem 1.1.
Lemma 4.1. Let d and ℓ be positive integers and
q a prime power. Let V := Vd (q)ℓ and
d+s
L 6 Sℓ . Then bV (GLd (q) ≀ L) = d + min{s : d q > d[ℓ] (L)}.

Proof. For GLd (q) acting on Vd (q), a multi-base of length m is a spanning m-tuple for
each positive integer m. Thus we may apply Theorem 1.3 and Proposition 2.1.

Next we establish some bounds on the base size of GLd (q) ≀ L; these we will use to
determine the second equality of Theorem 1.1.

Lemma 4.2. Let d and ℓ be positive integers and q a prime power. Let V := Vd (q)ℓ and
L 6 Sℓ . Then




log d[ℓ] (L)
log c(q)d[ℓ] (L)
6 bV (GLd (q) ≀ L) 6 d +
d+
d log q
d log q
where c(q) := 1 −

1
q

−

1
.
q2

Proof. By Lemmas 3.1 and 4.1,
b(GLd (q) ≀ L) 6 d + min{s : q ds > d(L)} = d +
as desired. Similarly, again by Lemmas 3.1 and 4.1,

l

b(GLd (q) ≀ L) > d + min{s : c(q)−1 q ds > d(L)} = d +

log d(L)
d log q

l

m

,

log c(q)d(L)
d log q

m

,

6

JOANNA B. FAWCETT, CHERYL E. PRAEGER

as desired.



Proof of Theorem 1.1. The first equality is Lemma 4.1, so we focus on the second. For
(d, q) = (1, 2), by Lemma 4.1,
m
l
− 1,
b(GL1 (2) ≀ L) > 1 + min{s : 2s+1 > d(L)} = 1 + loglogd(L)
2

so by Lemma 4.2, the assertion of Theorem 1.1 holds. For (d, q) 6= (1, 2), by Lemma
4.2, it suffices to show that −1 6 log c(q)/(d log q), where c(q) = 1 − 1/q − 1/q 2 . This is
equivalent to proving that q d > c(q)−1 . If q > 3, then q d > 3 > 9/5 > c(q)−1 , and if q = 2,
then d > 2, so q d > 4 = c(2)−1 , as desired.

Proof of Corollary 1.2. Let L be the subgroup of Sℓ induced by H on the set {V1 , . . . , Vℓ },
and let d := dimFq (V1 ). By Lemma 2.4, the group L is primitive and (d, q) 6= (1, 2).
In particular, we may assume that Vi = Vd (q) for 1 6 i 6 ℓ and H 6 GLd (q) ≀ L. By
d
d−1 +
assumption, L is not Sℓ or Aℓ , so d(L) 6 4 by Theorem 2.3. Since d+1
d q = q +q
· · · + q + 1 > 4, we may take s = 1 in Theorem 1.1. Thus b(H) 6 d + 1.

5. Pyber’s conjecture
We begin with a sufficient condition for Pyber’s Conjecture in the case of affine groups
with specified stabilisers.
Lemma 5.1. Let d and ℓ be positive integers and q a prime power. Let L 6 Sℓ and
V := Vd (q)ℓ . Let G0 be a group for which SLd (q)ℓ 6 G0 6 GLd (q) ≀ L and suppose that G0
induces the group L on the ℓ factors of the decomposition of V . Let G := V : G0 . If
1

log d[ℓ] (L) 6 C log |L| ℓ + (C − 1) log 2
for some absolute constant C where C > 1, then
bV (G) 6 C

log |G|
+ C + 2,
log n

where n := q dℓ .
Proof. Let X0 := GLd (q) ≀ L and a(d, q) :=
1 6 i 6 d, so 1 6 a(d, q)q d , which implies that

Qd

i=1 (1

− 1/q i ). Now 1 6 (1 − 1/q i )q for

0 6 C log a(d, q) + Cd log q.
Note that (C − 1) log 2 6 (C − 1)d2 log q since C > 1. Thus by our assumption on d(L),
1

log d(L) 6 C log |L| ℓ + (C − 1)d2 log q + C log a(d, q) + Cd log q.
Dividing both sides by d log q and adding d + 2, we obtain
(1)

log d(L)
log |L|
log a(d, q)
log |X0 |
+d+2 6 C
+ Cd + C
+C +2=C
+C+2
d log q
dℓ log q
d log q
dℓ log q
2

since |X0 | = GLd (q)ℓ |L| and | GLd (q)| = q d a(d, q). Moreover, by Theorem 1.1,


log d(L)
log d(L)
+ d + 2.
+d+16
(2)
b(X0 ) + 1 6
d log q
d log q

BASE SIZES OF IMPRIMITIVE LINEAR GROUPS

7

Note that |G| = q dℓ |G0 |. Since L is the group induced by the action of G0 on the ℓ factors
of the decomposition of V , and since the kernel of this action contains SLd (q)ℓ , it follows
that |X0 | = (q − 1)ℓ | SLd (q)ℓ ||L| 6 (q − 1)ℓ |G0 | 6 |G|. Thus by (1) and (2),
b(G) 6 b(G0 ) + 1 6 b(X0 ) + 1 6 C

log |G|
log |X0 |
+C +26C
+ C + 2,
dℓ log q
dℓ log q

as desired.



Recall that a permutation group L 6 Sℓ is semiregular if b(L) = 1.
Proof of Theorem 1.4. By Lemma 5.1, it suffices to find an absolute constant C with C > 1
such that
(3)

1

log d(L) 6 C log |L| ℓ + (C − 1) log 2.

Note that for ℓ = 1, (3) holds with C := 2. If (i) holds, then (3) holds with C :=
max{2, log(2c)/ log 2}. Moreover, if (iii) holds, then d(L) 6 2, so (3) holds with C := 2,
and if (ii) holds and L is not Aℓ or Sℓ , then d(L) 6 4 by Theorem 2.3, so (3) holds with
C := 3.
Observe that kk 6 k!2 for every positive integer k, for if 1 6 i 6 k, then k 6 i(k − i + 1),
Q
so kk 6 ki=1 i(k − i + 1) = k!2 .
Suppose that (ii) holds and L is Aℓ or Sℓ , in which case d(L) = ℓ − 1 or ℓ respectively.
Now 4(ℓ − 1)ℓ 6 4(ℓ − 1)(ℓ − 1)!2 6 ℓ!2 and ℓℓ 6 ℓ!2 , so d(L)ℓ 6 |L|2 in either case. Hence
(3) holds with C := 2.
If (iv) holds and L = Sm ≀ Sr where ℓ = mr and m, r > 2, then d(L) 6 2mr 1/m by

Lemma 2.2, and (mr 1/m )mr 6 (m!r r!)2 , so (3) holds with C := 2.
Acknowledgements
This research forms part of the Discovery Project grant DP130100106 of the second
author, funded by the Australian Research Council. The first author is supported by that
same grant. We would like to thank Aner Shalev for suggesting we look at the remaining
open case for Pyber’s conjecture, and Martin Liebeck for some observations regarding
Theorem 1.3.
We would especially like to give our heartfelt thanks to the group of mathematicians
who, as a collective at the 2014 annual research retreat of the Centre for the Mathematics
of Symmetry and Computation (CMSC), discovered and gave a recursive proof of a version
of Theorem 1.3. This group includes Brian Corr, Alice Devillers, Stephen Glasby, Cai Heng
Li, Dugald Macpherson and Gabriel Verret.
References
[1] Bailey, R. F., and Cameron, P. J. Base size, metric dimension and other invariants of groups and graphs.
Bull. London Math. Soc. 43 (2011), 209–242.
[2] Benbenishty, C. On actions of primitive groups. PhD thesis, Hebrew University, Jerusalem, 2005.
[3] Burness, T. C., and Seress, Á. On Pyber’s base size conjecture. Trans. Amer. Math. Soc. 367 (2015),
5633–5651.
[4] Cameron, P. J., Neumann, P. M., and Saxl, J. On groups with no regular orbits on the set of subsets. Arch.
Math. 43 (1984), 295–296.
[5] Chan, M. The distinguishing number of the direct product and wreath product action. J. Algebr. Comb. 24
(2006), 331–345.
[6] Dolfi, S. Orbits of permutation groups on the power set. Arch. Math. 75 (2000), 321–327.
[7] Fawcett, J. B. The base size of a primitive diagonal group. J. Algebra 375 (2013), 302–321.
[8] Gluck, D., and Magaard, K. Base sizes and regular orbits for coprime affine permutation groups. J. London
Math. Soc. 58 (1998), 603–618.
[9] Liebeck, M. W., and Shalev, A. Simple groups, permutation groups, and probability. J. Amer. Math. Soc.
12 (1999), 497–520.

8

JOANNA B. FAWCETT, CHERYL E. PRAEGER

[10] Liebeck, M. W., and Shalev, A. Bases of primitive linear groups. J. Algebra 252 (2002), 95–113.
[11] Liebeck, M. W., and Shalev, A. Bases of primitive linear groups II. J. Algebra 403 (2014), 223–228.
[12] Neumann, P. M., and Praeger, C. E. Cyclic matrices over finite fields. J. London Math. Soc. 52 (1995),
263–284.
[13] Pyber, L. Asymptotic results for permutation groups. DIMACS Ser. Discrete Math. Theoret. Comp. Sci. 11
(1993), 197–219.
[14] Seress, Á. The minimal base size of primitive solvable permutation groups. J. London Math. Soc. 53 (1996),
243–255.
[15] Seress, Á. Primitive groups with no regular orbits on the set of subsets. Bull. London Math. Soc. 29 (1997),
697–704.
[16] Seress, Á. Permutation group algorithms. Cambridge University Press, Cambridge, 2003.

Centre for the Mathematics of Symmetry and Computation, School of Mathematics and
Statistics, The University of Western Australia, 35 Stirling Highway, Crawley, WA 6009,
Australia. Email: {joanna.fawcett, cheryl.praeger† }@uwa.edu.au,
†
Also affiliated with King Abdulaziz University, Jeddah, Saudi Arabia.

