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$...

  • $\begingroup$ "... which admits a non-open subgroup of finite index" <- don't we also have to require that it is a normal one? $\endgroup$ – Martin Brandenburg Nov 30 '11 at 8:31
  • $\begingroup$ @Martin: No, I don't think so. The paper of Nikolov and Segal states that strongly equivalent is equivalent to "every subgroup of finite index is open"; no mention of normality. In fact, I have a feeling that a normal subgroup of finite index in a profinite group is forced to be open. (But I may be wrong, since this is way outside my own area.) $\endgroup$ – Giuseppe Nov 30 '11 at 15:43
  • 9
    $\begingroup$ The statements are equivalent. Clearly, if every finite index subgroup is open then every finite index normal subgroup is open. Conversely, every finite index subgroup contains a finite index normal subgroup (the intersection of its conjugates, for example) so if every finite index normal subgroup is open then so is every finite index subgroup. $\endgroup$ – candl Jan 5 '12 at 13:39
  • $\begingroup$ This is related to my question mathoverflow.net/questions/106216/… $\endgroup$ – Will Sawin Mar 2 '14 at 17:16

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$.

  • $\begingroup$ Thank you for your answer. When you write $h_i$, do you mean $g_i$, or have I misunderstood? $\endgroup$ – Giuseppe Nov 29 '11 at 15:04
  • $\begingroup$ $H$ is certainly dense, but I don't see why it has finite index. Isn't $G/H$ an ultrapower of $T$? $\endgroup$ – Colin Reid Nov 29 '11 at 19:30
  • $\begingroup$ @Giuseppe: Thanks, fixed. @Colin Reid: I added a remark for why $H$ has finite index. $\endgroup$ – Gjergji Zaimi Nov 29 '11 at 22:54
  • 1
    $\begingroup$ In fact $G/H$ is an ultrapower of $T$ but ultrapower of finite set is isomorphic to it. $\endgroup$ – Ostap Chervak Dec 5 '12 at 21:26

The absolute Galois group $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ has lots of subgroups of finite index that aren't open. See the section "Nonopen subgroups of finite index" in Chapter 7 of Milne's notes on field theory for a construction (it uses the axiom of choice).

  • 6
    $\begingroup$ I now wonder: What is the profinite completion of $Gal(\bar{\mathbb{Q}}/\mathbb{Q})$? I've never seen anybody refer to this object. $\endgroup$ – Giuseppe Nov 29 '11 at 16:52
  • 1
    $\begingroup$ This means that $Gal(\bar{\mathbb{Q}}/\mathbb{Q})$ is not finitely generated as a topological group. What a monster. $\endgroup$ – Spice the Bird Nov 30 '11 at 0:53
  • $\begingroup$ @Spice the Bird: On the bright side, Shaferevich conjectured that the the Galois group ramified at only finitely many primes is topologically finitely generated. I don't know if it's proved or not. $\endgroup$ – Moosbrugger Nov 30 '11 at 2:09
  • 5
    $\begingroup$ @Spice the Bird, Moosbrugger: You're probably aware of this, but here's an analogy which might explain why both of these observations are to be expected. In the dictionary between number fields and function fields, one thinks as Galois groups as follows--take the etale fundamental group of your curve minus some points, and take the limit as one removes all the points. Removing a point gives a factor of \hat Z; the topological generator is analogous to a Frobenius lift on the number field side. On the other hand, if you only allow finite amounts of ramification, this is like removing... $\endgroup$ – Daniel Litt Sep 7 '12 at 0:21
  • 3
    $\begingroup$ (cont.) ... finitely many points, whence the (at least prime to p) part of the Galois group of the curve still remains manifestly finitely generated. $\endgroup$ – Daniel Litt Sep 7 '12 at 0:22

Yes, this is possible. Take as $G$ the product of countable many copies of $\mathbb Z_p$. It has a countable basis of open subgroups, hence only countably many open subgroups. But it has many more subgroups of finite index!

  • $\begingroup$ Thank you for your answer. But why does $G$ have many more subgroups of finite index than open subgroups? Does 'many more' here mean uncountably many? $\endgroup$ – Giuseppe Nov 29 '11 at 15:03
  • $\begingroup$ It does mean uncountably many. The easiest way to see this is to note that it maps onto the product of countably many copies of $C_{p}$, which is of course isomorphic to a $2^{\aleph_{0}}$-dimensional $F_{p}$ space. (This is itself a pro-$p$ group with the properties you want to see.) I have a paper on the arxiv all about these sorts of groups. The new version of it should be up tomorrow morning. I will provide the link then. $\endgroup$ – Jonathan Kiehlmann Nov 29 '11 at 18:13
  • $\begingroup$ More generally, every pro-$p$ group $G$ that is not topologically finitely generated maps onto the one Jonny describes, so $G$ has a non-open subgroup of index $p$. $\endgroup$ – Colin Reid Nov 29 '11 at 18:22
  • $\begingroup$ This is exactly what I mean. $\endgroup$ – Ricky Nov 29 '11 at 20:52
  • $\begingroup$ Also a free profinite group of countable rank is an example since it maps onto this one and so has uncountably many finite image but it is still countably based. $\endgroup$ – Benjamin Steinberg Nov 29 '11 at 23:24

It's hard to pick many non-finitely-generated pro-$p$ groups which are isomorphic their own profinite completions. Partially as non-finitely-generated pro-$p$ groups aren't generally that easy to construct.

My paper here http://arxiv.org/abs/1101.3005 outlines the construction of infinitely many topologically non-isomorphic pro-$p$ groups isomorphic to $\prod_i C_{p^{i}}$. These will thus all have the same profinite completion, but are non-isomorphic.

  • $\begingroup$ out of curiousity, what exactly is the profinite completion of $\prod_i C_{p^i}$ $\endgroup$ – candl Jan 5 '12 at 13:54
  • 1
    $\begingroup$ Very good question. The easiest response is "something very big". It is $\aleph_{1}$-based and has a direct summand isomorphic to $\prod_{\aleph_{0}}\mathbb{Z}_{p}$. (The latter as $\prod_{i\in\mathbb{N}} C_{p^{i}}$ has a direct summand isomorphic to $\prod_{\aleph_{0}}\mathbb{Z}_{p}$.) Not sure of an exact answer, but will think more of it. Feel free to e-mail me with any more questions. $\endgroup$ – Jonathan Kiehlmann Jan 5 '12 at 20:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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