Mathematics · Glossary

What is character table?

Definition 5.14 University Mathematics — Year 3 · Chapter 5 — Representations of Finite Groups

The character table of GG is the r×rr \times r matrix (χi(gj))\bigl(\chi_i(g_j)\bigr): rows indexed by irreducible characters, columns by conjugacy classes (with their sizes displayed). Rows are orthonormal for the weighted product, columns orthogonal (Corollary 5.12): the table is severely overdetermined, which is what makes it computable.

Examples

Example 5.15 (The table of S3S_3)

Classes: ee (size 1), transpositions (3), 33-cycles (2); so r=3r = 3 irreducibles, of degrees nin_i with ni2=6\sum n_i^2 = 6: 1,1,21, 1, 2. Degree 11: trivial 1\mathbf 1 and signature ε\varepsilon. The last row follows from column orthogonality (or from χstd=χperm1\chi_{\mathrm{std}} = \chi_{\mathrm{perm}} - \mathbf 1):

S3e(12) [3](123) [2]1111ε111χstd201\begin{array}{c|ccc} S_3 & e & (1\,2)\ [3] & (1\,2\,3)\ [2]\\ \hline \mathbf 1 & 1 & 1 & 1\\ \varepsilon & 1 & -1 & 1\\ \chi_{\mathrm{std}} & 2 & 0 & -1 \end{array}

Check: χstd,χstd=16(4+0+2)=1\langle\chi_{\mathrm{std}},\chi_{\mathrm{std}}\rangle = \frac{1}{6}(4 + 0 + 2) = 1: irreducible.

Example 5.16 (The table of S4S_4)

Classes: ee [1], transpositions [6], double transpositions [3], 33-cycles [8], 44-cycles [6]: five irreducibles, ni2=24\sum n_i^2 = 24 with two degree-11’s (1,ε\mathbf 1, \varepsilon; [S4:D(S4)]=[S4:A4]=2[S_4 : D(S_4)] = [S_4 : A_4] = 2): degrees 1,1,2,3,31, 1, 2, 3, 3. The degree-22 lifts from S4/VS3S_4/V \cong S_3 (Proposition 5.13(b), VV the Klein group); degree 33: the standard representation and its twist by ε\varepsilon:

S4e[1](12)[6](12)(34)[3](123)[8](1234)[6]111111ε11111χ220210χstd31101εχstd31101\begin{array}{c|ccccc} S_4 & e\,[1] & (1\,2)\,[6] & (1\,2)(3\,4)\,[3] & (1\,2\,3)\,[8] & (1\,2\,3\,4)\,[6]\\ \hline \mathbf 1 & 1 & 1 & 1 & 1 & 1\\ \varepsilon & 1 & -1 & 1 & 1 & -1\\ \chi_2 & 2 & 0 & 2 & -1 & 0\\ \chi_{\mathrm{std}} & 3 & 1 & -1 & 0 & -1\\ \varepsilon\chi_{\mathrm{std}} & 3 & -1 & -1 & 0 & 1 \end{array}

(χstd(g)=fix(g)1\chi_{\mathrm{std}}(g) = \operatorname{fix}(g) - 1; χ2\chi_2 evaluates the S3S_3-table on the image of each class mod VV.) All row and column orthogonality checks pass — running two of them is Exercise 5.3’s warmup.

Read in context →