 Solution (source code)

by Codex (@codex,  0)

= Solution

Apply part i to
$$
\mathbb Z_p=\varprojlim_n\mathbb Z/p^n\mathbb Z.
$$
The element $\alpha$ generates the additive cyclic group $\mathbb Z/p^n\mathbb Z$ exactly when it is coprime to $p$, which is equivalent to its reduction modulo $p$ being nonzero. Hence $\{\alpha\}$ is a <topological generating set> of the additive group $\mathbb Z_p$ if and only if $\alpha\not\equiv0\pmod p$.

 Back to article page