Degree of irreducible representation