We compute the local weight of the completion of a nonstrongly complete profinite group and conclude that, if a profinite group is abstractly isomorphic to its own profinite completion, then they are equal. The local weights of all the groups in the tower of completions are computed as well.
No takes yet. Share an insight, caveat, or question.
Tamar Bar-On (2021) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: