Induced representation and Frobenius reciprocityLet us take a pair of compact Lie groups .Definition: is the space of square integrable functions taking values in and satisfying the covariance property:Schematic notation:
Now we can prove Eq. (5):