© 1997 by London Mathematical Society
© The London Mathematical Society
Movement and Separation of Subsets of Points Under Group Actions
University of Western Australia Perth, Western Australia 6907, Australia
Received 22 March 1995.
Let G be a permutation group on a set 
, and let m and k be integers where 0<m<k. For a subset 
of , if the cardinalities of the sets g\, for g
G, are finite and bounded, then is said to have bounded movement, and the movement of is defined as move ()=maxgG|g\|. If there is a k-element subset such that move ()
m, it is shown that some G-orbit has length at most (k2–m)/(k–m). When combined with a result of P. M. Neumann, this result has the following consequence: if some infinite subset has bounded movement at most m, then either is a G-invariant subset with at most m points added or removed, or nontrivially meets a G-orbit of length at most m2+m+1. Also, if move ()m for all k-element subsets and if G has no fixed points in , then either ||k+m (and in this case all permutation groups on have this property), or ||5m–2. These results generalise earlier results about the separation of finite sets under group actions by B. J. Birch, R. G. Burns, S. O. Macdonald and P. M. Neumann, and groups in which all subsets have bounded movement (by the author).