Regular group representation

The regular representation contains all irreducible representations

The regular representation contains all irreps of , where an irrep appears with multiplicity . rep

Proof

The Group character of this representation is

and using the Orthonormality of irreducible characters we find that the multiplicity of each is

as required.

As a corollary, the squares of the dimensions of all irreps sum to , i.e.

---

tidy | en | sembr