Bourbaki

Exercise 3, § 3

General Topology, V, p. 16

Let GG be a totally ordered group (not necessarily commutative); if, when GG is provided with the topology T0(G)\mathscr{T}_0(G), GG is locally compact and non-discrete, then GG is locally isomorphic to R\mathbf{R}, and the neutral component of GG is an open subgroup isomorphic to R\mathbf{R} (use Exercise 6 of IV, p. 47, and Proposition 2 of V, p. 9).

Solution

No solution has been written yet.

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