Representation theory MOC

Square sum of irrep dimensions

As an immediate consequence of orthogonality of irreps, it follows that the square sum of the dimensions of all (non-equivalent) irreps of a finite group ๐บ equals the order |๐บ| of the group. rep

โˆ‘๐›พโˆˆห†๐บ(๐‘‘๐›พ)2=|๐บ|

Corollary

Since Irreps of abelian groups are 1-dimensional, it follows that the number of irreps โˆฃห†๐บโˆฃ of an abelian group ๐บ equals the order of the group |๐บ|. rep

๐‘(๐บ)=๐บโŸนโˆฃห†๐บโˆฃ=|๐บ|


tidy | en | SemBr