Mackey's imprimitivity theorem and the theorem of inducing representations of groups in