## Consequences of Orthogonality

We have some immediate consequences of the orthonormality relations.

First of all, since irreducible characters are orthonormal any collection of them forms an orthonormal basis of the subspace it spans. Of course whatever subspace this is, it has to fit within the space of class functions, and so it can’t have any more basis elements than the dimension of this larger space. That is, there can be at most as many irreducible characters as there are conjugacy classes in . And so we know that the character table must have only finitely many rows. For instance, since has three conjugacy classes, it can have at most three irreducible characters. We know two already, so there’s only room for one more, if there are any more at all.

For something a little more concrete, let be a collection of irreps with corresponding characters . Then the representation

has character

That is, direct sums of representations correspond to sums of characters. This is just the tip of a far-reaching correspondence between the high-level properties of the category of representations and the low-level properties of the algebra of characters.

Anyway, proving this relation is pretty straightforward. If and are two matrix representations then their direct sum is

It should be clear that the trace of the direct sum on the left is the sum of the traces on the right. This is all we need, since we can just split off one irreducible component after another to turn the direct sum on one side into a sum on the other.

Next we have a way of reading off the coefficients. Let be the same representation from above, with the same character. I say that the multiplicity . Indeed, we can easily calculate

Notice that this is very similar to the result we showed at the end of calculating the dimensions of spaces of morphisms. This is not a coincidence.

More generally, if is the representation from above and is another representation that decomposes as

then the character of is

and we calculate the inner product

In particular, we see that

We see that in all these cases . Just like sums of characters correspond to direct sums of representations, inner products of characters correspond to -spaces between representations. We just have to pass from plain vector spaces to their dimensions when we pass from representations to their characters. Of course, this isn’t much of a stretch, since we saw that the character of a representation includes information about the dimension: .

This goes even further: what happens when we swap the arguments to an inner product? We get the complex conjugate: . What happens when we swap the arguments to the functor? We get the dual space: . Complex conjugation corresponds to passing to the dual space.

Finally, the character is irreducible if and only if . Indeed, if is itself irreducible then our decomposition only involves one nonzero coefficient, which is a . The formula we just computed gives

Conversely, if this formula holds then we have to write as a sum of squares. The only possibility is for all but one of the numbers to be , and the remaining one to be , in which case , and is thus irreducble.

[...] let’s take the consequences we just worked out of the orthonormality relations and finish the [...]

Pingback by One Complete Character Table (part 1) « The Unapologetic Mathematician | October 26, 2010 |

[...] is irreducible if and only if is. We’ll prove this one by using the properties we proved a few days ago. In particular, we’ll calculate the inner product of the character [...]

Pingback by Lifting and Descending Representations « The Unapologetic Mathematician | October 29, 2010 |

[...] particular, we find that . If and are both irreducible characters, then our character properties tell us that both of the inner products on the right are , and we conclude that the inner product [...]

Pingback by Outer Tensor Products « The Unapologetic Mathematician | November 4, 2010 |

[...] this isn’t irreducible, but we can calculate inner products with the existing irreducible characters and decompose it [...]

Pingback by The Character Table of S4 « The Unapologetic Mathematician | November 8, 2010 |

[...] the are pairwise-inequivalent irreps. But our consequences of orthonormality prove that there can be only finitely many such inequivalent irreps. So we may as well say that is [...]

Pingback by Subspaces from Irreducible Representations « The Unapologetic Mathematician | November 10, 2010 |

[...] the space. We’ve seen that this is the multiplicity of the trivial representation in , which we’ve also seen is the inner product . We [...]

Pingback by The Dimension of the Space of Tensors Over the Group Algebra « The Unapologetic Mathematician | November 16, 2010 |

[...] let be any irreducible representation of , with character . We know that the multiplicity of in is given by the inner product . This, we can [...]

Pingback by Decomposing the Left Regular Representation « The Unapologetic Mathematician | November 17, 2010 |

[...] 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 [...]

Pingback by The Character Table is Square « The Unapologetic Mathematician | November 19, 2010 |

[...] a special case, let and be irreducible characters of and respectively, so the inner products are multiplicities. For [...]

Pingback by (Fake) Frobenius Reciprocity « The Unapologetic Mathematician | November 30, 2010 |