Column orthogonality

ID: column-orthogonality

For a finite group, the sum of products of irreducible character values is zero when are not conjugate, and equals when are conjugate. To prove this from row orthogonality relations for a character table, choose representatives of its conjugacy classes and form . Row orthogonality says . There are equally many irreducible characters and conjugacy classes, so this is a square unitary matrix and as well. Its column equations give the result, using .

New to topics? Read the docs here!