The non-synchronizing primitive groups of degree up to 624

Abstract

We describe the methods and results of a classification of the non-synchronizing primitive permutation groups of degree up to 624. We make use of theory and computation to determine the primitive groups of degree up to 624 that are non-separating, which is a necessary, and very often sufficient, condition for a primitive group to be non-synchronizing, and determine exactly which of these non-separating groups are non-synchronizing. A new infinite sequence of non-synchronizing graphs is discovered and new examples of non-separating, but synchronizing, groups are found.