$p$-adic integers $\mathbf{Z}_p$ and $\mathbf{Z}_q$ homeomorphic for $p \neq q$?

Question

Obviously, $\mathbf{Z}_p \not\cong \mathbf{Z}_q$ ($p$-adic integers: $\mathbf{Z}_p = \varprojlim_n\mathbf{Z}/p^n$) for $p \neq q$ as (topological or abstract) groups, but are they homeomorphic as topological (profinite) spaces?

Answer 1

Every $\mathbb{Z}_p \cong C$, where $C$ is the (classical, deleting middle thirds) Cantor set. Therefore, $\mathbb{Z}_p \cong \mathbb{Z}_q$ for primes $p,q$.

This is easy to see in $\mathbb{Z}_2$ by taking $$\sum_{i\geq 0} a_i 2^i \mapsto \sum_{i\geq 0}(2 a_i)3^{-(n+1)} \text{.}$$ For the others, it is a little easier to construct slightly different Cantor sets for each $p$, then show those are all homeomorphic to $C$. You can find details in section 2 of Trautwein, Roder, and Barozzi, Topological properties of $\mathbb{Z}_p$ and $\mathbb{Q}_p$ and Euclidean models.