Definition 1
Tag 0BV3, permanent. Cite it as [Bourbaki, Tag 0BV3].
General Topology, chapter V, § 1. Subgroups and quotient groups of R
The topological group () is called the additive group of real numbers modulo . The topological group is denoted by . As a topological space, is called the one-dimensional torus (by abuse of language, the topological group is also called the one-dimensional torus).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.