Strictly cyclic vectors for induced representations of locally compact groups (Q1890788)

Let \(G\) be a separable locally compact topological group and \(H\) its closed subgroup. Every continuous unitary representation \(\pi\) of \(H\) on a Hilbert space \(H(\pi)\) induces a continuous unitary representation \(\pi^G\) of \(G\) on a Hilbert space \(H(\pi^G)\). For a closed \(\pi^G\) invariant subspace \(\mathcal M\) of \(H(\pi^G)\) a vector \(\varphi \in {\mathcal M}\) is said to be strictly cyclic if \(\pi^G (L_1 (G))\varphi = {\mathcal M}\). The following results are shown: (1) If \(H(\pi^G)\) has a strictly cyclic vector, then \(G/H\) is finite; (2) if \(H\) is either a normal or a compact subgroup of \(G\) and a nonzero subrepresentation of \(\pi^G\) has a strictly cyclic vector, then \(G/H\) is compact.