Skip to content

Research at St Andrews

The Hall–Paige conjecture, and synchronization for affine and diagonal groups

Research output: Contribution to journalArticle

Author(s)

John Bray, Qi Cai, Peter Jephson Cameron, Pablo Spiga, Hua Zhang

School/Research organisations

Abstract

The Hall-Paige conjecture asserts that a finite group has a complete mapping if and only if its Sylow subgroups are not cyclic. The conjecture is now proved, and one aim of this paper is to document the final step in the proof (for the sporadic simple group J4).

We apply this result to prove that primitive permutation groups of simple diagonal type with three or more simple factors in the socle are non-synchronizing. We also give the simpler proof that, for groups of affine type, or simple diagonal type with two socle factors, synchronization and separation are equivalent.

Synchronization and separation are conditions on permutation groups which are stronger than primitivity but weaker than 2-homogeneity, the second of these being stronger than the first. Empirically it has been found that groups which are synchronizing but not separating are rather rare. It follows from our results that such groups must be primitive of almost simple type.
Close

Details

Original languageEnglish
Pages (from-to)27-42
JournalJournal of Algebra
Volume545
Early online date7 Mar 2019
DOIs
Publication statusPublished - Mar 2020

    Research areas

  • Automata, Complete mappings, Graphs, Hall-Paige conjecture, Orbitals, Primitive groups, Separating groups, Synchronizing groups, Transformation groups

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Primitive permutation groups and strongly factorizable transformation semigroups

    Araújo, J., Bentz, W. & Cameron, P. J., 1 Jun 2020, In : Journal of Algebra. 565, p. 513-530

    Research output: Contribution to journalArticle

  2. Undirecting membership in models of Anti-Foundation

    Adam-Day, B. & Cameron, P. J., 18 Nov 2020, In : Aequationes Mathematicae. First Online, 8 p.

    Research output: Contribution to journalArticle

  3. The existential transversal property: a generalization of homogeneity and its impact on semigroups

    Araújo, J., Bentz, W. & Cameron, P. J., 10 Sep 2020, In : Transactions of the American Mathematical Society. Early View

    Research output: Contribution to journalArticle

  4. On the connectivity and independence number of power graphs of groups

    Cameron, P. J. & Jafari, S., May 2020, In : Graphs and Combinatorics. 36, p. 895–904 10 p.

    Research output: Contribution to journalArticle

  5. Substitutes for the non-existent square lattice designs for 36 varieties

    Bailey, R. A., Cameron, P. J., Soicher, L. H. & Williams, E. R., 4 Mar 2020, In : Journal of Agricultural, Biological and Environmental Statistics. First Online

    Research output: Contribution to journalArticle

Related by journal

  1. Involution centralisers in finite unitary groups of odd characteristic

    Glasby, S., Praeger, C. & Roney-Dougal, C. M., 1 Mar 2020, In : Journal of Algebra. 545, p. 245-299

    Research output: Contribution to journalArticle

  2. Primitive permutation groups and strongly factorizable transformation semigroups

    Araújo, J., Bentz, W. & Cameron, P. J., 1 Jun 2020, In : Journal of Algebra. 565, p. 513-530

    Research output: Contribution to journalArticle

  3. Enumeration of idempotents in planar diagram monoids

    Dolinka, I., East, J., Evangelou, A., FitzGerald, D., Ham, N., Hyde, J., Loughlin, N. & Mitchell, J. D., 15 Mar 2019, In : Journal of Algebra. 522, p. 351-385 35 p.

    Research output: Contribution to journalArticle

  4. Minimal and canonical images

    Jefferson, C., Jonauskyte, E., Pfeiffer, M. & Waldecker, R., 1 Mar 2019, In : Journal of Algebra. 521, p. 481-506

    Research output: Contribution to journalArticle

ID: 257874442

Top