MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What is the profinite completion of the group $S^1$?

where $S^1= \{ z\in\mathbb{C}: |z|=1 \}$ is a compact and abelian group.

share|cite|improve this question
up vote 12 down vote accepted

It is trivial, as $S^1$ has no non-trivial (normal) finite index subgroups.

Recall that the profinite completion is the inverse limit of the $G/N$ where $N$ is a normal subgroup of finite index. So, if the only normal finite index subgroup is the full group, the profinit completion is trivial. And, for your group this is the case, for example as it is divisible, or by a direct argument.

share|cite|improve this answer
It is now clear-thank you! – Paulo Mar 22 '11 at 12:10

Recall that a group $G$ is divisible if for every positive integer $n$, the map $ x \mapsto x^n$ is surjective on $G$.

It is easy to show that any quotient of a divisible commutative group is again divisible. Moreover, no nontrivial finite group can be divisible, since if $|G| = n$ then $x \mapsto x^n$ sends every element to the identity.

It follows that a divisible commutative group has no proper finite index subgroups, so it has trivial profinite completion.

Note that the group $(\mathbb{R},+)$ is divisible, hence so is its quotient $S^1 = (\mathbb{R},+)/(\mathbb{Z},+)$. Therefore the profinite completion of $S^1$ is the trivial group.

Added: Having said this much, I might as well add a little more to show that even a divisible non-commutative group has trivial profinite completion. To see this, note first that as above a divisible group can have no proper finite index normal subgroups, and second that if a group $G$ has a subgroup $H$ with $1 < [G:H] < \infty$, then it also has a normal subgroup $H'$ with $1 < [G:H'] < \infty$: indeed by orbit-stabilizer considerations $H$ has only finitely many distinct conjugates $g H g^{-1}$ in $G$, and we may take $H'$ to be the intersection of all these conjugates.

share|cite|improve this answer
It is now clear-thank you! – Paulo Mar 22 '11 at 12:10

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.