Countable dense homogeneity and topological groups

Abstract

Building on results of Medvedev, we construct a $\mathsf{ZFC}$ example of a non-Polish topological group that is countable dense homogeneous. Our example is a dense subgroup of ${\mathbb{Z}}^{\ddot{I}}‰$ of size $\mathfrak{b}$ that is a $\hat{I}»$-set. We also conjecture that every countable dense homogenous Baire topological group with no isolated points contains a copy of the Cantor set, and give a proof in a very special case.

7 pages