In mathematics, specifically in the field of group theory, the McKay conjecture is a theorem of equality between two numbers: the number of irreducible complex characters of degree not divisible by a prime number
It is named after the Canadian mathematician John McKay, who originally stated a limited version of it as a conjecture in 1971, for the special case of
In 2023, a proof of the general conjecture was announced by Britta Späth and Marc Cabanes.
denotes the set of complex irreducible characters of the group
The McKay conjecture claims the equality where
, the number of its irreducible complex representations whose dimension is not divisible by
equals that number for the normalizer of any of its Sylow
In McKay's original papers on the subject,[2][3] the statement was given for the prime
and simple groups, but examples of computations of
for odd primes or symmetric groups are mentioned.
Marty Isaacs also checked the conjecture for the prime 2 and solvable groups
[4] The first appearance of the conjecture for arbitrary primes is in a paper by Jon L. Alperin giving also a version in block theory, now called the Alperin–McKay conjecture.
[5] In 2007, Martin Isaacs, Gunter Malle and Gabriel Navarro showed that the McKay conjecture reduces to the checking of a so-called inductive McKay condition for each finite simple group.
[6][7] This opens the door to a proof of the conjecture by using the classification of finite simple groups.
The Isaacs−Malle−Navarro paper was also an inspiration for similar reductions for Alperin weight conjecture (named after Jonathan Lazare Alperin), its block version, the Alperin−McKay conjecture, and Dade's conjecture (named after Everett C. Dade).
The McKay conjecture for the prime 2 was proven by Gunter Malle and Britta Späth in 2016.
[8] An important step in proving the inductive McKay condition for all simple groups is to determine the action of the group of automorphisms
-equivariant Jordan decomposition of characters for finite quasisimple groups of Lie type.
A proof of the McKay conjecture for all primes and all finite groups was announced by Britta Späth and Marc Cabanes in October 2023 in various conferences, a manuscript being available later in 2024.