Character degree graph of a finite group

From Groupprops
Revision as of 21:22, 21 June 2012 by Vipul (talk | contribs) (Created page with "==Definition== Suppose <math>G</math> is a finite group. The '''character degree graph''' of <math>G</math>, sometimes denoted <math>\Gamma(G)</math>, is defined as the f...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

Suppose G is a finite group. The character degree graph of G, sometimes denoted Γ(G), is defined as the following undirected graph:

  1. Its vertex set is precisely the set of primes p such that p divides the degree of at least one irreducible representation of G over C (we could replace C by any splitting field). Note that the precise vertex set can be determined using the Ito-Michler theorem from knowledge of the Sylow subgroup structure, without knowledge of the degrees of irreducible representations.
  2. Its edge set is defined as follows: two distinct primes p,q are adjacent if and only if the product pq divides the degree of at least one irreducible representation of G over C (we could replace C by any splitting field).

Note that the character degree graph is completely determined number-theoretically by the degrees of irreducible representations (also called the character degrees). In fact, it depends only on the set of numbers occurring as character degrees, without even caring for the number of irreducible representations of a given degree.

Particular cases

Case on G What can we conclude about the character degree graph?
abelian group empty graph (no vertices, no edges)
non-abelian group of prime power order for some prime number p one-point graph with point corresponding to p
finite nilpotent group the graph is a complete graph with its vertex set equal to the set of primes p for which the p-Sylow subgroup of G is non-abelian