Mackey Imprimitivity Theorem

A structure theorem in representation theory of locally compact groups that characterizes unitary representations induced from a closed subgroup in terms of systems of imprimitivity (projection-valued measures) on the homogeneous space and yields an equivalence between certain categories of representations; it relates induced representations to covariant representations of C*-dynamical systems ari