Registry · Definition
II.D26
established
formalized
II.D26 — Solenoidal Circle
The inverse limit of finite cyclic groups in each angular direction. A compact, totally disconnected, torsion-free profinite group whose Archimedean projection is S^1.
Book II
Part 5
Ch. 24