Exercise 6, § 9

Let G be a Lie group, H a compact subgroup of G. Show that there exists a unitary representation of G on a real Hilbert space E and a vector $e\in E$ with fixer H (take $E = L^2(G)$).