Exercise 3, § 4

A topological group $G$ operates properly on a homogeneous space $G/K$ if and only if $K$ is quasi-compact. (To show that the condition is sufficient, show that the canonical mapping of $G$ onto $G/K$ is proper and use Chapter I, § 10, no. 1, Proposition 5.)