Permutation groups, their fundamental theory and applications are discussed in this introductory book. It focuses on those groups that are most useful for studying symmetric structures such as graphs, codes and designs. Modern treatments of the O'Nan-Scott theory are presented not only for primitive permutation groups but also for the larger families of quasiprimitive and innately transitive groups, including several classes of infinite permutation...