Some observations on the Furstenberg topological space (Q2635178)

In [Am. Math. Mon. 62, No. 5, 353 (1955; Zbl 1229.11009)] \textit{H. Furstenberg} used the topology on \(\mathbb{Z}\) generated by all arithmetic progressions to prove the infinitude of primes; that same topology appears as Example~58 in [\textit{L. A. Steen} and \textit{J. A. Seebach jun.}, Counterexamples in topology. Reprint of the 2nd edition published 1978 by Springer. Mineola, NY: Dover Publications (1995; Zbl 1245.54001)]. The authors re-establish some elementary properties of this topology: the \(T_1\)-property, no isolated points, and non-compactness (no mention is made of the fact that this space is simply homeomorphic to the space of rational numbers). They also characterize convergence in a number-theoretic way, using the factorial number system; this leads to a description of all translation invariant metrics, their mutual uniform equivalence, and a description of their completions: the product \(\prod_{n=2}^\infty(\mathbb{Z}/n\mathbb{Z})\) with a(ny) metric translation invariant with respect to the factorial adding machine.