Bourbaki

Exercise 2, § 3

General Topology, V, p. 16

Let GG be a totally ordered group (not necessarily commutative) not reduced to the identity element; the topology T0(G)\mathscr{T}_0(G) (I, p. 91, exer. 5) is compatible with the group structure of GG. If, for this topology, GG is connected, GG is isomorphic to the additive group R\mathbf{R} (use exer. 7 of IV, p. 48, and prop. 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.