Exercise 29, § 5
General Topology, IX
Let be a locally compact, -compact, topological group, or else a complete metrizable group whose topology has a countable base. Let be a closed normal subgroup of and let be a closed subgroup of . Then the quotient group is isomorphic to if and only if is a closed subgroup of [to show that the condition is necessary, note that is complete, by Chapter III, § 4, no. 6, Proposition 13, and Chapter IX, § 3, no. 1, Proposition 4; to show that the condition is sufficient, use Exercise 28].
Solution
No solution has been written yet.