Difference between revisions of "McKay conjecture"

From Groupprops
Jump to: navigation, search
(References)
 
(5 intermediate revisions by the same user not shown)
Line 3: Line 3:
 
==Statement==
 
==Statement==
  
Let <math>G</math> be a finite group and <math>p</math> a [[prime number]] dividing the order of <math>G</math>. Let <math>P</math> be a <math>p</math>-Sylow subgroup of <math>G</math>. Then the number of irreducible complex characters of <math>G</math> whose order is not divisible by <math>p</math>, equals the number of irreducible complex characters of <math>N_G(P)</math>, whose order is not divisible by <math>p</math>.
+
Let <math>G</math> be a finite group and <math>p</math> a [[prime number]] dividing the order of <math>G</math>. Let <math>P</math> be a <math>p</math>-[[Sylow subgroup]] of <math>G</math>. Then the number of irreducible complex characters of <math>G</math> whose degree is not divisible by <math>p</math>, equals the number of irreducible complex characters of <math>N_G(P)</math>, whose degree is not divisible by <math>p</math>.
  
In other words, if <math>Irr_{p'}(G)</math> denotes the number of irreducible characters of <math>G</math> whose order is not divisible by <math>p</math>:
+
In other words, if <math>\operatorname{Irr}_{p'}(G)</math> denotes the set of irreducible characters of <math>G</math> whose degree is not divisible by <math>p</math>:
  
<math>Irr_{p'}(G) = Irr_{p'}N_G(P)</math>
+
<math>|\operatorname{Irr}_{p'}(G)| = |\operatorname{Irr}_{p'}(N_G(P))|</math>
  
 
==Generalizations and related conjectures==
 
==Generalizations and related conjectures==
Line 13: Line 13:
 
* [[Alperin-McKay conjecture]] is a version of the conjecture that gives a more precise statement about a bijection for each block.
 
* [[Alperin-McKay conjecture]] is a version of the conjecture that gives a more precise statement about a bijection for each block.
 
* [[Relative McKay conjecture]]
 
* [[Relative McKay conjecture]]
 +
 +
==Particular cases==
 +
 +
The McKay conjecture holds trivially for [[finite nilpotent group]]s, because each Sylow subgroup is normal and hence <math>G = N_G(P)</math>. More generally, it holds whenever the <math>p</math>-Sylow subgroup is normal.
  
 
==Progress towards the conjecture==
 
==Progress towards the conjecture==
Line 26: Line 30:
 
The McKay conjecture has not been checked for all finite simple groups, but it has been checked for some, notably:
 
The McKay conjecture has not been checked for all finite simple groups, but it has been checked for some, notably:
  
* All the [[sporadic simple group]]s
+
* All the [[sporadic simple group]]s: This was proved by Wilson in his paper: ''The McKay conjecture is true for sporadic simple groups''
 
* All the [[symmetric group]]s
 
* All the [[symmetric group]]s
  
Line 36: Line 40:
 
* {{paperlink|IntroMcKayconjecture}}
 
* {{paperlink|IntroMcKayconjecture}}
 
* {{paperlink|OkWaj79}}
 
* {{paperlink|OkWaj79}}
 +
* {{paperlink|Wilson98}}
 +
* {{paperlink|IsaacsNavarro01}}
 +
* {{paperlink|IsaacsNavarro02}}

Latest revision as of 00:32, 10 May 2011

This article is about a conjecture in the following area in/related to group theory: representation theory. View all conjectures and open problems

Statement

Let G be a finite group and p a prime number dividing the order of G. Let P be a p-Sylow subgroup of G. Then the number of irreducible complex characters of G whose degree is not divisible by p, equals the number of irreducible complex characters of N_G(P), whose degree is not divisible by p.

In other words, if \operatorname{Irr}_{p'}(G) denotes the set of irreducible characters of G whose degree is not divisible by p:

|\operatorname{Irr}_{p'}(G)| = |\operatorname{Irr}_{p'}(N_G(P))|

Generalizations and related conjectures

Particular cases

The McKay conjecture holds trivially for finite nilpotent groups, because each Sylow subgroup is normal and hence G = N_G(P). More generally, it holds whenever the p-Sylow subgroup is normal.

Progress towards the conjecture

For p-solvable groups

It has been proved that if G is a p-solvable group, the McKay conjecture holds for the group G and prime p. This was shown by Okuyama and Wajima in 1979, in their paper Irreducible characters of p-solvable groups (see References for more).

Some stronger versions of the McKay conjecture, including the Alerpin-McKay conjecture and the relative McKay conjecture, have been verified for these groups.

For some infinite families of almost simple groups

The McKay conjecture has not been checked for all finite simple groups, but it has been checked for some, notably:

Reductions

In addition to work done to check the McKay conjecture for some particular groups, a lot of work has been done to reduce the general McKay conjecture to some specific cases, using the method of finding minimal counterexamples.

References