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.

Improve this question
$\endgroup$

2 Answers 2

Reset to default
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).

Improve this answer
$\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$
    – Jeremy Brazas
    Commented 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$
    – Ramiro de la Vega
    Commented 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

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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .