6
$\begingroup$

Suppose $G$ is a finitely generated Hausdorff topological group. Must $G$ be first countable (or perhaps a sequential space)? What if we restrict to the abelian case?

I wonder if this is even true for the additive group of integers $\mathbb{Z}$. There certainly are non-discrete, Hausdorff group topologies on $\mathbb{Z}$ where a basis at $0$ consists of subgroups (such as that used in Furstenberg's proof of the infinitude of primes). On the other hand, determining if there is a Hausdorff group topology that makes a given sequence converge to $0$ is non-trivial. For instance, it is known that the sequence of squares $n^2$ can't converge to $0$ in any Hausdorff group topology and that if there is a Hausdorff group topology on $\mathbb{Z}$ such that the sequence of primes $2,3,5,...,p,..$ converges to $0$, then the twin prime conjecture is false.

$\endgroup$

2 Answers 2

11
$\begingroup$

No. The Bohr topology on $\mathbb{Z}$ is not first countable, in fact the least size of a local base at $0$ is $2^{\aleph_0}$. It is also known that this topology is not sequential (because there are no non-trivial convergent sequences).

$\endgroup$
2
  • $\begingroup$ Ok, I now know what the Bohr topology is. Is there a standard text for reading up on this (that includes the failure to be sequential)? $\endgroup$ Nov 28, 2012 at 23:38
  • 1
    $\begingroup$ Jeremy, I don´t know of a standard text but a good paper is "The maximal totally bounded group topology on G and the biggest minimal G-space, for abelian groups G" of E.K. van Douwen. It includes a proof of the fact that an infinite abelian group with its Bohr topology contains no non-trivial convergent sequence. $\endgroup$ Nov 29, 2012 at 12:44
3
$\begingroup$

It is not the answer but an important point, too long for a comment. There is no Hausdorff group topology on Z so that the sequence of prime numbers $2, 3, 5 ...$ converges to zero. If there were such topology, there would be finitely many pairs of primes of each given gap $k$. But that contradicts Zhang's Gap Theorem

$\endgroup$
3
  • 1
    $\begingroup$ This was short enough for a comment :) $\endgroup$
    – YCor
    Sep 30, 2014 at 13:51
  • $\begingroup$ prime numbers... corrected $\endgroup$
    – Bugs Bunny
    Sep 30, 2014 at 13:56
  • $\begingroup$ and Hausdorff as well $\endgroup$
    – Bugs Bunny
    Sep 30, 2014 at 14:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.