ConceptComplete

Character Tables and Examples

Character tables provide complete catalogs of irreducible representations for finite groups, enabling explicit computations and classifications.

ExampleCharacter Table of $S_3$

The symmetric group S3S_3 has three conjugacy classes: {e}\{e\}, transpositions {(12),(13),(23)}\{(12), (13), (23)\}, and 3-cycles {(123),(132)}\{(123), (132)\}. The character table is:

| Rep | ee | (12)(12) | (123)(123) | |-----|-----|--------|---------| | Ο‡triv\chi_{\text{triv}} | 1 | 1 | 1 | | Ο‡sgn\chi_{\text{sgn}} | 1 | -1 | 1 | | Ο‡std\chi_{\text{std}} | 2 | 0 | -1 |

The rows are orthonormal under the inner product βŸ¨Ο‡,ψ⟩=16(1β‹…Ο‡(e)β€ΎΟˆ(e)+3β‹…Ο‡((12))β€ΎΟˆ((12))+2β‹…Ο‡((123))β€ΎΟˆ((123)))\langle \chi, \psi \rangle = \frac{1}{6}(1 \cdot \overline{\chi(e)}\psi(e) + 3 \cdot \overline{\chi((12))}\psi((12)) + 2 \cdot \overline{\chi((123))}\psi((123))).

DefinitionConstruction of Character Tables

To construct the character table of a finite group GG:

  1. Find conjugacy classes: Partition GG into conjugacy classes C1,…,CkC_1, \ldots, C_k
  2. Count irreducibles: There are kk irreducible representations (one for each class)
  3. Find dimensions: If dim⁑Vi=di\dim V_i = d_i, then βˆ‘i=1kdi2=∣G∣\sum_{i=1}^k d_i^2 = |G|
  4. Compute characters: Use known representations (trivial, regular, permutation) and orthogonality
  5. Verify orthogonality: Check βŸ¨Ο‡i,Ο‡j⟩=Ξ΄ij\langle \chi_i, \chi_j \rangle = \delta_{ij}
ExampleCharacter Table of $D_4$ (Dihedral Group)

The dihedral group D4D_4 (symmetries of a square) has order 8 and five conjugacy classes. The dimensions satisfy 12+12+12+12+22=81^2 + 1^2 + 1^2 + 1^2 + 2^2 = 8. The character table:

| Rep | ee | r2r^2 | r,r3r, r^3 | s,sr2s, sr^2 | sr,sr3sr, sr^3 | |-----|-----|-------|----------|-----------|------------| | Ο‡1\chi_1 | 1 | 1 | 1 | 1 | 1 | | Ο‡2\chi_2 | 1 | 1 | 1 | -1 | -1 | | Ο‡3\chi_3 | 1 | 1 | -1 | 1 | -1 | | Ο‡4\chi_4 | 1 | 1 | -1 | -1 | 1 | | Ο‡5\chi_5 | 2 | -2 | 0 | 0 | 0 |

where rr is rotation by 90Β°90Β° and ss is a reflection.

TheoremColumn Orthogonality

The character table satisfies column orthogonality: βˆ‘i=1kΟ‡i(g)Ο‡i(h)β€Ύ={∣CG(g)∣ifΒ g,hΒ conjugate0otherwise\sum_{i=1}^k \chi_i(g) \overline{\chi_i(h)} = \begin{cases} |C_G(g)| & \text{if } g, h \text{ conjugate} \\ 0 & \text{otherwise} \end{cases} where CG(g)C_G(g) is the centralizer of gg in GG.

This complements the row orthogonality from Schur's relations.

Remark

Character tables have been computed for:

  • All groups of order <2000< 2000 (available in GAP, Magma)
  • All sporadic simple groups
  • Many families: cyclic, dihedral, symmetric, alternating, classical groups

The character tables of symmetric groups SnS_n are indexed by partitions of nn, with beautiful combinatorial structure (Young tableaux, Frobenius formula). Computing characters of large symmetric groups is a major area of algebraic combinatorics.

ExampleUsing Characters to Decompose Representations

Given the regular representation of S3S_3 with character Ο‡reg=(6,0,0)\chi_{\text{reg}} = (6, 0, 0), we compute: βŸ¨Ο‡reg,Ο‡i⟩=Ο‡i(e)=dim⁑Vi\langle \chi_{\text{reg}}, \chi_i \rangle = \chi_i(e) = \dim V_i

Thus C[S3]β‰…VtrivβŠ•VsgnβŠ•VstdβŠ•2\mathbb{C}[S_3] \cong V_{\text{triv}} \oplus V_{\text{sgn}} \oplus V_{\text{std}}^{\oplus 2}, confirming that each irreducible appears with multiplicity equal to its dimension.