Corollary 2
Tag 02MN, permanent. Cite it as [Bourbaki, Tag 02MN].
Théories spectrales, chapter II, § 2. Classification
Suppose G compact. Then G is totally discontinuous if and only if is a torsion group.
The group G is totally discontinuous if and only if its connected component is reduced to ; Prop. 4 shows that this condition is equivalent to . Since the group is discrete (Prop. 18 of II, p. 233), this amounts to saying that every element of generates a finite group, hence that is torsion.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.