We’ve defined the character table of a group, and we’ve seen that it must be finite. Specifically, it cannot have any more rows — cannot have any more irreducible representations — than there are conjugacy classes in . Now we can show that there are always exactly as many irreducible representations as there are conjugacy classes in .
We recall that for any representation the center of the endomorphism algebra is equal to the number of irreducible representations that show up in . In particular, since we know that every irreducible representation shows up in the left regular representation , the number of irreducible representations is . Thus to calculate this number , we must understand the structure of the endomorphism algebra and its center.
But we just saw that is anti-isomorphic to as algebras, and this anti-isomorphism induces an anti-isomorphism on their centers. In particular, their centers have the same dimension. That is:
So what does a central element of the group algebra look like? Let be such a central element and write it out as
Now since is central, it must commute with every other element of the group algebra. In particular, for every we have , or . That is:
Since is invariant, the coefficients and must be the same. But as runs over , runs over the conjugacy class of , so the coefficients must be the same for all elements in the conjugacy class. That is, we have exactly as many free parameters when building as there are conjugacy classes in — one for each of them.
So we’ve established that the center of the group algebra has dimension equal to the number of conjugacy classes in . We also know that this is the same as the dimension of the center of the endomorphism algebra of the left regular representation. Finally, we know that this is the same as the number of distinct irreducible representations that show up in the decomposition of the left regular representation. And so we conclude that any finite group must have exactly as many irreducible representations as it has conjugacy classes. Since the conjugacy classes index the columns of the character table of , and the irreducible characters index the rows, we conclude that the character table is always square.
As a quick corollary, we find that the irreducible characters span a subspace of the space of class functions with dimension equal to the number of conjugacy classes in . Since this is the dimension of the whole space of class functions, the irreducible characters must form an orthonormal basis of this space.