0
$\begingroup$

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.

$\endgroup$

2 Answers 2

12
$\begingroup$

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.

$\endgroup$
0
16
$\begingroup$

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.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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