The character table of G is the r×r matrix (χi(gj)): 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 S3)
Classes: e (size 1), transpositions (3), 3-cycles (2); so r=3 irreducibles, of degrees ni with ∑ni2=6: 1,1,2. Degree 1: trivial 1 and signature ε. The last row follows from column orthogonality (or from χstd=χperm−1):
S31εχstde112(12) [3]1−10(123) [2]11−1
Check: ⟨χstd,χstd⟩=61(4+0+2)=1: irreducible.
Example 5.16 (The table of S4)
Classes: e [1], transpositions [6], double transpositions [3], 3-cycles [8], 4-cycles [6]: five irreducibles, ∑ni2=24 with two degree-1’s (1,ε; [S4:D(S4)]=[S4:A4]=2): degrees 1,1,2,3,3. The degree-2 lifts from S4/V≅S3 (Proposition 5.13(b), V the Klein group); degree 3: the standard representation and its twist by ε:
S41εχ2χstdεχstde[1]11233(12)[6]1−101−1(12)(34)[3]112−1−1(123)[8]11−100(1234)[6]1−10−11
(χstd(g)=fix(g)−1; χ2 evaluates the S3-table on the image of each class mod V.) All row and column orthogonality checks pass — running two of them is Exercise 5.3’s warmup.