All books

Professional

Apps About Coach Log in Start reading

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=χperm−1\chi_{\mathrm{std}} = \chi_{\mathrm{perm}} - \mathbf 1):

S3e(1 2) [3](1 2 3) [2]1111ε1−11χstd20−1\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/V≅S3S_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](1 2) [6](1 2)(3 4) [3](1 2 3) [8](1 2 3 4) [6]111111ε1−111−1χ2202−10χstd31−10−1εχstd3−1−101\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 →