The regular representation contains all irreducible representations

The regular representation contains all irreps of , where an irrep appears with multiplicity . #m/thm/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.

#state/tidy | #lang/en | #SemBr