Skip to main content
2 of 2
added tag, fixed typo
YCor
  • 63.9k
  • 5
  • 187
  • 286

The rigidity of the countable product of free groups

For a natural number $n$ let $F_n$ be the free group with $n$ generators. The group $F_n$ is endowed with the discrete topology.

Given an increasing sequence $\vec p=(p_k)_{k\in\omega}$ of prime numbers, consider the Polish group $F_{\vec p}=\prod_{k\in\omega}F_{p_k}$.

Problem. Let $\vec p,\vec q$ be two increasing sequences of prime numbers such that the Polish groups $F_{\vec p}$ and $F_{\vec q}$ are topologically isomorphic. Is $\vec p=\vec q$?

Taras Banakh
  • 41.8k
  • 3
  • 74
  • 183