- does not divide any of the degrees of irreducible representations of over (or more generally, over some splitting field).
- The -Sylow subgroup of is a Normal Sylow subgroup (?) and is also abelian.
Note that in the case that does not divide the order of at all, (2) is satisfied, so we do not need to assume that divides the order of . However, making that assumption does not weaken our theorem.
- Character degree graph of a finite group is an undirected graph associated with any finite group. Its vertex set is given precisely by the Ito-Michler theorem.
(2) implies (1)
This follows directly from fact (1), since the index of an abelian normal -Sylow subgroup is relatively prime to , hence all irreducible representations have degree dividing a number relatively prime to , forcing the degrees to be relatively prime to .
(1) implies (2)
This is the hard part!