where our sum runs over all conjugacy classes , and where is the common value for all in the conjugacy class (and similarly for ). The idea is that every in a given conjugacy class gives the same summand. Instead of adding it up over and over again, we just multiply by the number of elements in the class.
As an example, consider again the start of the character table of :
Here we index the rows by irreducible characters, and the columns by representatives of the conjugacy classes. We can calculate inner products of rows by multiplying corresponding entries, but we don’t just sum up these products; we multiply each one by the size of the conjugacy class, and at the end we divide the whole thing by the size of the whole group:
We find that when we take the inner product of each character with itself we get , while taking the inner product of the two different characters gives . This is no coincidence; for any finite group irreducible characters are orthonormal. That is, different irreducible characters have inner product , while any irreducible character has inner product with itself. This is what we will prove next time.