Topological generator of the additive group of p-adic integers

ID: topological-generator-of-the-additive-group-of-p-adic-integers

An element topologically generates the additive group of exactly when , equivalently when is a p-adic unit. In that case its image generates every cyclic quotient .

New to topics? Read the docs here!