In the last decade, very many problems about permutation groups have been resolved using the classification of finite simple groups. In this article, I describe some problems which are still open, and some fields of research which are still relatively untilled. The problems concern transitivity, order, minimal degree and base size, fixed-point-free elements, reconstruction, etc.

INTRODUCTION

Even before the classification of finite simple groups was completed in 1980, it was clear that its impact on permutation group theory would be very dramatic. By an accident of fate, I happened to be considering these matters at the time. (My thoughts then are contained in my survey paper (1981).) The succeeding decade saw this impact working through the subject, with many expected and unexpected conclusions.

Among the consequences are (in no particular order):

1. (i) the determination of the 2-transitive groups, and of the rank 3 groups;

2. (ii) the determination of primitive groups of odd degree (except for affine groups, see later);

3. (iii) primitive groups of degree n are small (order at most nc log log n) with “known” exceptions;

4. (iv) a transitive permutation group of degree greater than 1 contains a fixed-point-free element of prime-power order.

In connection with the last fact, the existence of a fixed-point-free element is trivial, and was known to Frobenius; but that it can be taken to have primepower order requires the full force of the classification. The result has an application in number theory (Fein, Kantor and Schacher 1981). However, a closely related problem, raised much earlier by Isbell (1960) in the context of game theory, is still unsolved, and shows the limits of our knowledge.