A random Hall-Paige conjecture

TL;DR

This paper proves a combinatorial generalization of the Hall-Paige conjecture for large groups, leading to solutions for longstanding problems in group sequenceability and transversals in multiplication tables.

Contribution

It provides a combinatorial proof of a broad generalization of the Hall-Paige conjecture, resolving multiple open problems in large finite groups.

Findings

Characterizes sequenceable groups and confirms all large non-abelian groups are sequenceable.

Characterizes large subsquares of group multiplication tables that admit transversals.

Provides a combinatorial approach to longstanding problems in group theory.

Abstract

A complete mapping of a group $G$ is a bijection $\phi\colon G\to G$ such that $x\mapsto x\phi(x)$ is also bijective. Hall and Paige conjectured in 1955 that a finite group $G$ has a complete mapping whenever $\prod_{x\in G} x$ is the identity in the abelianization of $G$. This was confirmed in 2009 by Wilcox, Evans, and Bray with a proof using the classification of finite simple groups. \par In this paper, we give a combinatorial proof of a far-reaching generalisation of the Hall-Paige conjecture for large groups. We show that for random-like and equal-sized subsets $A,B,C$ of a group $G$, there exists a bijection $\phi\colon A\to B$ such that $x\mapsto x\phi(x)$ is a bijection from $A$ to $C$ whenever $\prod_{a\in A} a \prod_{b\in B} b=\prod_{c\in C} c$ in the abelianization of $G$. We use this statement as a black-box to settle the following old problems in combinatorial group theory for large groups. (1) We characterise sequenceable groups, that is, groups which admit a permutation $\pi$ of their elements such that the partial products $\pi_1$, $\pi_1\pi_2$, $\pi_1\pi_2\cdots \pi_n$ are all distinct. This resolves a problem of Gordon from 1961 and confirms conjectures made by several authors, including Keedwell's 1981 conjecture that all large non-abelian groups are sequenceable. We also characterise the related $R$-sequenceable groups, addressing a problem of Ringel from 1974. (2) We confirm in a strong form a conjecture of Snevily from 1999 by characterising large subsquares of multiplication tables of finite groups that admit transversals. Previously, this characterisation was known only for abelian groups of odd order (by a combination of papers by Alon and Dasgupta-K\'arolyi-Serra-Szegedy and Arsovski).