Synchronising primitive groups of diagonal type exist

John Bamberg, Michael Giudici, Jesse Lansdown +1

Every synchronising permutation group is primitive and of one of three types: affine, almost simple, or diagonal. We exhibit the first known example of a synchronising diagonal typ…