Reducibility of representations
Character irreducibility criterion
Let
and otherwise the sum is
Proof
Let
be a (in general reducible) representation with Ξ : πΊ β π΅ πΎ πΌ π β Ξ β π β¨ π = 1 π π β¨ π = 1 Ξ π i.e. each irrep
occurs Ξ π times. Then it follows from the definition of a character as a trace that π π π ( π ) = π β π π π π π ( π ) and then since by Orthonormality of irreducible characters
β π β πΊ ββββ π π ( π ) π π ( π ) = | πΊ | πΏ π π it follows that
1 | πΊ | β π β πΊ | π ( π ) | 2 = β π , π π π π π πΏ π π = β π ( π π ) 2 as required.