Müyesser, Alp;
Pokrovskiy, Alexey;
(2025)
A random Hall-Paige conjecture.
Inventiones Mathematicae
10.1007/s00222-025-01328-x.
(In press).
Preview |
Text
Pokrovskiy_s00222-025-01328-x.pdf Download (2MB) | Preview |
Abstract
A complete mapping of a group G is a bijection φ : G → G such that x ⃓→ xφ(x) is also bijective. Hall and Paige conjectured in 1955 that a finite group G has a complete mapping whenever ∏︁ x∈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. 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 randomlike and equal-sized subsets A, B, C of a group G, there exists a bijection φ : A → B such that x ⃓→ xφ(x) is a bijection from A to C whenever ∏︁ a∈A a ∏︁ b∈B b = ∏︁ c∈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 π of their elements such that the partial products π1, π1π2, π1π2 ···π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 DasguptaKárolyi-Serra-Szegedy and Arsovski). (3) We characterise the abelian groups that can be partitioned into zero-sum sets of specific sizes, solving a problem of Tannenbaum from 1981. This also confirms a recent conjecture of Cichacz. (4) We characterise harmonious groups, that is, groups with an ordering in which the product of each consecutive pair of elements is distinct, solving a problem of Evans from 2015.
| Type: | Article |
|---|---|
| Title: | A random Hall-Paige conjecture |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/s00222-025-01328-x |
| Publisher version: | https://doi.org/10.1007/s00222-025-01328-x |
| Language: | English |
| Additional information: | This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Maths and Physical Sciences UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Maths and Physical Sciences > Dept of Mathematics |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10205648 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
