Let GG be a finite group. An irreducible character of GG is the χρ\chi_\rho of an ρ:GGL(V)\rho:G\to \mathrm{GL}(V).

Equivalent characterizations

Equivalently, irreducible characters are the characters of the C[G]\mathbb{C}[G]-modules (via the correspondence).

Orthogonality and completeness (key facts)

Define the standard inner product on complex class functions f,g:GCf,g:G\to\mathbb{C} by

f,g=1GxGf(x)g(x).\langle f,g\rangle=\frac{1}{|G|}\sum_{x\in G} f(x)\,\overline{g(x)}.

Then:

  • (Degree sum-of-squares) If χ1,,χr\chi_1,\dots,\chi_r are the irreducible characters and ni=χi(e)=dim(Vi)n_i=\chi_i(e)=\dim(V_i), then
    i=1rni2=G\sum_{i=1}^r n_i^2 = |G|
    (see ).
Examples

Example 1: Cyclic group CnC_n

Let G=Cn=tG=C_n=\langle t\rangle. Over C\mathbb{C}, every irreducible representation is 11-dimensional, hence every irreducible character is a homomorphism CnC×C_n\to \mathbb{C}^\times. Fix a primitive nnth root of unity ζn\zeta_n. For k=0,1,,n1k=0,1,\dots,n-1,

χk(tm)=ζnkm\chi_k(t^m)=\zeta_n^{km}

is an irreducible character, and these nn characters are all distinct and exhaust the irreducibles.

Example 2: S3S_3 (three irreducible characters)

The group S3S_3 has three conjugacy classes: ee, transpositions (12)(12), and 33-cycles (123)(123). Hence it has three irreducible characters. A standard character table is:

| conjugacy class | size | representative | χtriv\chi_{\mathrm{triv}} | χsgn\chi_{\mathrm{sgn}} | χstd\chi_{\mathrm{std}} | |---|---:|---|---:|---:|---:| | ee | 1 | ee | 1 | 1 | 2 | | transpositions | 3 | (12)(12) | 1 | 1-1 | 0 | | 3-cycles | 2 | (123)(123) | 1 | 1 | 1-1 |

Here χstd\chi_{\mathrm{std}} is the 22-dimensional standard character (so χstd(e)=2\chi_{\mathrm{std}}(e)=2). The degree-sum formula 12+12+22=61^2+1^2+2^2=6 matches S3=6|S_3|=6.

Example 3: Dihedral group D8D_8 (degrees)

Let D8D_8 be the dihedral group of order 88. It has 55 conjugacy classes, hence 55 irreducible characters. Their degrees must satisfy ni2=8\sum n_i^2=8, so the only possibility is

1,1,1,1,2,1,1,1,1,2,

i.e. four 11-dimensional irreducible characters and one 22-dimensional irreducible character.