Introduction

Groups of finite Morley rank made their first appearance in model theory as binding groups, which are the key ingredient in Zilber's ladder theorem and in Poizat's explanation of the Picard-Vessiot theory. These are not just groups, but in fact permutation groups acting on important definable sets. When they are finite, they are connected with the model theoretic notion of algebraic closure. But the more interesting ones tend to be infinite, and connected.

Many problems in finite permutation group theory became tractable only after the classification of the finite simple groups. The theory of permutation groups of finite Morley rank is not very highly developed, and while we do not have anything like a full classification of the simple groups of finite Morley rank in hand, as a result of recent progress we do have some useful classification results as well as some useful structural information that can be obtained without going through an explicit classification. So it seems like a good time to review the situation in the theory of permutation groups of finite Morley rank and to lay out some natural problems and their possible connections with the body of research that has grown up around the classification effort.