Countable dense homogeneity and topological groups (2501.09455v1)

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}^\omega$ of size $\mathfrak{b}$ that is a $\lambda$-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.