English

Derangements in intransitive groups

Group Theory 2026-01-28 v3 Combinatorics

Abstract

Let GG be a nontrivial permutation group of degree nn. If GG is transitive, then a theorem of Jordan states that GG has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If GG is intransitive, then GG may fail to have a derangement, and this can happen even if GG has only two orbits, both of which have size (1/2+o(1))n(1/2+o(1))n. However, we conjecture that if GG has two orbits of size exactly n/2n/2 then GG does have a derangement, and we prove this conjecture when GG acts primitively on at least one of the orbits. Equivalently, we conjecture that a finite group is never the union of conjugates of two proper subgroups of the same order, and we prove this conjecture when at least one of the subgroups is maximal. (Feldman also implicitly raised this conjecture on StackExchange.) We also prove the conjecture for soluble groups, almost simple groups and groups of order at most 50000, and we reduce the conjecture to perfect groups. Along the way, we prove a linear variant on Isbell's conjecture regarding derangements of prime-power order, and we highlight connections with intersecting families of permutations and roots of polynomials modulo primes.

Keywords

Cite

@article{arxiv.2408.16064,
  title  = {Derangements in intransitive groups},
  author = {David Ellis and Scott Harper},
  journal= {arXiv preprint arXiv:2408.16064},
  year   = {2026}
}

Comments

28 pages; change to title; to appear in Journal of the London Mathematical Society

R2 v1 2026-06-28T18:26:59.244Z