Copy the page URI to the clipboard
Gill, Nick; Hunt, Francis and Spiga, Pablo
(2019).
DOI: https://doi.org/10.1017/S0305004118000403
Abstract
A permutation group on a set is said to be binary if, for every and for every , the -tuples and are in the same -orbit if and only if every pair of entries from is in the same -orbit to the corresponding pair from . This notion arises from the investigation of the relational complexity of finite homogeneous structures.
Cherlin has conjectured that the only finite primitive binary permutation groups are the symmetric groups with their natural action, the groups of prime order, and the affine groups where is a vector space endowed with an anisotropic quadratic form.
We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to , , or . Our method uses the notion of a ``strongly non-binary action''.