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):