Bourbaki

Exercise 8, § 3

General Topology, V, p. 18

Let G be a separated topological group, H a closed subgroup of G contained in the center and such that there exists a continuous surjective homomorphism φ:R→G/H\varphi : \mathbf{R} \to G/H. Prove that G is commutative (if a0a_0 is an element of G not in H, observe that there exists a sequence of elements (an)(a_n) of G and a sequence of elements (cn)(c_n) of H such that an=cnan+12a_n = c_n a_{n+1}^2, and that the subgroup of G generated by H and the ana_n is dense in G).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.