Square-integrability modulo a subgroup

We prove a weak form of the Frobenius reciprocity theorem for locally compact groups. As a consequence, we propose a definition of square-integrable representation modulo a subgroup that clarifies the relations between coherent states, wavelet transforms and covariant localisation observables. A self-contained proof of the imprimitivity theorem for covariant positive operator-valued measures is given.