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
Corollary
Since Irreps of abelian groups are 1-dimensional,
it follows that the number of irreps