
> 
> Is there a profinite group $G$ which is not its own profinite completion?
> 
> 
> 


Surely not, I thought. But upon looking into it, I found that there is a special name given to a $G$ which *is* its own profinite completion, namely "strongly complete". And a recent (2003) hard theorem (which according to Wikipedia uses the classification of finite simple groups) due to Nikolov and Segal asserts that, if $G$ is finitely generated (as a topological group), then it is "strongly complete". 


So the $G$ I'm looking for cannot be topologically finitely generated. An equivalent question to the above is:



> 
> Is there a profinite group $G$ which admits a non-open subgroup of finite index?
> 
> 
> 


Now here's my problem; the only exposure to profinite groups I've had has been in the context of number theory, absolute Galois groups, local fields, etc. In particular, the only non-topologically-finitely-generated profinite group I'm aware of is the absolute Galois group of a number field, say $\mathbb{Q}$. But I reckon the Krull topology demands that the finite index subgroups of $Gal(\bar{\mathbb{Q}}/\mathbb{Q})$ be open. 


Maybe there is a more 'exotic' example of such a $G$...



A profinite group which is not its own profinite completion?
Example taken from Ribes and Zalesskii's book "Profinite groups". Take an infinite set $I$ and a finite group $T$. You can let $G$ be the profinite group $\prod\_I T$. Denote its elements by $(g\_i)\_{i\in I}$. Let $\mathcal F$ be an ultrafilter which contains the filter of all cofinite subsets of $I$. If you denote $H$ to be the subgroup of elements with $\lbrace i\in I \mid g\_i=1\rbrace\in \mathcal F$, it is clear that $H$ is proper normal and that it is not open because it is dense and has finite index $|T|$.


To show that $H$ has index $|T|$ in $G$ consider all elements $a\_t=(t,t,\dots)$ for $t\in T$. For any $g\in G$, consider $I\_t=\lbrace i\in I \mid g\_i=t\rbrace$. Since we have $\bigcup\_{t\in T} I\_t=I$
then $I\_t\in \mathcal F$ for some $t$, and therefore $ga\_t^{-1}\in H$.


