Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

It is well-known that any finite group is the Galois group of a Galois extension. This follows from Cayley's theorem (as can be seen in this answer). This (linked) answer led me to the following question:

What about infinite groups?

Infinite groups appear as Galois groups on infinite extensions, as when one defines the absolute Galois group of a field $F$. There is a natural topology on the Galois group, called the Krull topology, which turns this group into a profinite group (i.e. a compact, totally disconnected, Hausdorff topological group). It can be proven that any profinite group is the Galois group of an extension (see this short paper by Waterhouse). Therefore, the above question is equivalent to the following:

Can any group be given the structure of a profinite group?

I would like to get more information about this question. In particular, if the answer is no, are there definite restrictions (e.g. cardinality)?

share|improve this question
1  
@Honghao And every fundamental group is profinite? –  M Turgeon Aug 30 '12 at 17:02
1  
@Honghao: the analogy to covering spaces cannot be pushed too far. An algebraic field extension is determined by its finite subextensions in a way that a covering map is not. –  Qiaochu Yuan Aug 30 '12 at 17:03
2  
Also see the Wikipedia link you gave about the pro-finite completion of a group. You can see that a group can be made pro-finite if and only if its pro-finite completion is isomorphic via the natural map. Then you can see that not even $\mathbb Z$ is pro-finite. –  Thomas Andrews Aug 30 '12 at 17:20
1  
Hmm, will have to rethink, @QiaochuYuan. I thought it followed from the universal property of the completion, but I could easily have been wrong. –  Thomas Andrews Sep 3 '12 at 19:44
2  
An infinite group which is countably infinite cannot be given the structure of a profinite group. This is because a non-empty compact Hausdorff space without isolated points is uncountable. If $G$ is a profinite group with an isolated point, then every point is isolated, and the topology on $G$ is discrete, so $G$ is necessarily finite. –  Keenan Kidwell Sep 25 '12 at 22:36

2 Answers 2

up vote 23 down vote accepted

No. Profinite groups are residually finite (in fact a group is residually finite if and only if it embeds into its profinite completion) and many groups are not residually finite. If you don't have any particular restriction on the number of generators, $\mathbb{Q}$ is a simple example.

There are other restrictions. A compact Hausdorff group has a Haar measure of total measure $1$ and no countable group can be equipped with such a measure since the measure of any singleton cannot be $0$ and cannot be positive. This rules out $\mathbb{Q}$ but it also rules out, for example, $\mathbb{Z}$.

share|improve this answer
    
Thank you. I am not familiar with residually finite groups. Do you know an example of a finitely generated group which is not residually finite? –  M Turgeon Aug 30 '12 at 17:06
2  
@M Turgeon: yes, but they aren't trivial to construct; for example, some Baumslag-Solitar groups (en.wikipedia.org/wiki/Baumslag%E2%80%93Solitar_group) work, and there is a finitely presented example due to Higman: en.wikipedia.org/wiki/Higman_group –  Qiaochu Yuan Aug 30 '12 at 17:10
    
In the second paragraph you probably mean Haar probability measure. Counting measure on a discrete group is a perfectly legitimate Haar measure. @MTurgeon one reason that explains why it is difficult to come up with examples of non-residually finite groups is that linear groups are residually finite. –  t.b. Aug 31 '12 at 8:44
    
@t.b.: yes, sorry. When you say "non-residually finite groups" you mean "non-residually finite finitely generated groups." $\mathbb{Q}$ is linear but it is not residually finite. –  Qiaochu Yuan Aug 31 '12 at 8:47
1  
Yes, right. One nitpick deserves another one :) Nice answer! –  t.b. Aug 31 '12 at 8:48

This cannot be true since a profinite group cannot be countable (http://mathoverflow.net/questions/4939/is-there-a-compact-group-of-countably-infinite-cardinality) so therefore we cannot make $\mathbb{Z}$ into a profinite group.

share|improve this answer

Your Answer

 
discard

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.