Simultaneous diagonalization of matrices, Irreducible representations, Great orthogonality theorem

preload imagepreload image