For any fusion ring, the quantum dimensions should form a 1-dimensional representation. In other words, we must have that: ```math d_a d_b = \sum_c N^{ab}_c d_c ```