Let $G$ be a finite group and $V_i$, $i=1,...,r$ be the irreducible representations, $d_i:=\dim(V_i)$. Then $|G|=\sum_i d_{i}^{2}$.
Johannes Ebert
- 20.9k
- 4
- 74
- 117