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

DOI10.1016/J.JALGEBRA.2019.02.025MaRDI QIDQ2282980zbMATH OpenOpenAlexWikidataFDO

Authors Qi Cai, Peter J. Cameron, Pablo Spiga, Hua Zhang, John N. Bray

Publication date 27 December 2019

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1811.12671

zbMATH Keywords

automatacomplete mappingsgraphsHall-Paige conjectureorbitalsprimitive groupsseparating groupssynchronizing groupstransformation semigroups

Mathematics Subject Classification ID

Association schemes, strongly regular graphs (05E30) Primitive groups (20B15) Simple groups: sporadic groups (20D08) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Semigroups of transformations, relations, partitions, etc. (20M20) Semigroups in automata theory, linguistics, etc. (20M35)

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 $mathrm{J}_4$). 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.

Recommendations

• Reduction of the Hall-Paige conjecture to sporadic simple groups.
• The admissibility of sporadic simple groups.
• Synchronising primitive groups of diagonal type exist
• An asymptotic for the Hall-Paige conjecture
• Primitive groups, graph endomorphisms and synchronization

Cites work

• An improved method for generating the centralizer of an involution
• Between primitive and 2-transitive: synchronization and its friends
• Complete mappings of finite groups
• scientific article; zbMATH DE number 894528 (Why is no real title available?)
• On ovoids of parabolic quadrics
• Permutation groups and Cartesian decompositions
• Reduction of the Hall-Paige conjecture to sporadic simple groups.
• Synchronization and separation in the Johnson schemes
• The admissibility of sporadic simple groups.
• The geometry of diagonal groups
• The Magma algebra system. I: The user language
• The Maximal Subgroups of J ₄

Cited in

(34)

• A note on a pair of orthogonal orthomorphisms of cyclic groups
• Difference matrices with five rows over finite abelian groups
• Diagonal groups and arcs over groups
• Coset-wise affine functions and cycle types of complete mappings
• The Bruhat order on classes of isotopic Latin squares
• Latin squares with maximal partial transversals of many lengths
• Strong complete mappings for 3-groups
• Synchronization and separation in the Johnson schemes
• Cycle types of complete mappings of finite fields
• An asymptotic for the Hall-Paige conjecture
• Compositions and parities of complete mappings and of orthomorphisms
• Computational group theory. Abstracts from the workshop held August 15--21, 2021 (hybrid meeting)
• The structure of a type of affine primitive non-synchronizing groups
• The diagonal graph
• The geometry of diagonal groups
• Synchronising primitive groups of diagonal type exist
• Difference matrices with four rows over generalized dihedral groups
• Combinatorics, probability and computing. Abstracts from the workshop held April 24--30, 2022
• Separating rank 3 graphs
• Partial orthomorphisms and Latin squares based on parts of a group
• The existence problem for strong complete mappings of finite groups
• Complete mappings stabilizing a subgroup and their parities
• Strong complete mappings -- existence and applications
• On S-complete mappings for large S
• The existence of pyramidal Steiner triple systems over abelian groups
• Harmonious sequences in groups with a unique involution
• Strong complete mappings for 2-groups
• A random Hall-Paige conjecture
• A pair of orthogonal orthomorphisms of finite nilpotent groups
• Cycle type in Hall-Paige: a proof of the Friedlander-Gordon-Tannenbaum conjecture
• The non-synchronizing primitive groups of degree up to 624
• Symmetric harmoniousness of odd-order groups
• Finite groups with an automorphism that is a complete mapping
• Transversals, near transversals, and diagonals in iterated groups and quasigroups

Describes a project that uses

Uses Software

• GAP
• ATLAS Group Representations
• Magma

This page was built for publication: The Hall-Paige conjecture, and synchronization for affine and diagonal groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2282980)