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

Are there conditions known under which the inductive or projective limit of a family of compact Hausdorff topological groups is compact? (For instance, such a result is valid for the projective limit if the groups are totally disconnected, but this hypothesis is too constraining.)

share|cite|improve this question
I believe for projective limits it is always compact: its is a closed subgroup of a product of compact spaces. – Benjamin Steinberg Nov 30 '12 at 18:59
Inductive limits of compact things will almost never be compact. – Benjamin Steinberg Nov 30 '12 at 19:04
Of course, one should specify the category in which one is taking (co)limits; I guess you mean in the category of topological groups? – Todd Trimble Nov 30 '12 at 19:22
Right. If I'm not mistaken, the category of compact Hausdorff topological groups has all limits and colimits, but for most of the colimits it is necessary to take the Bohr compactification of the colimit in topological groups. – Qiaochu Yuan Nov 30 '12 at 19:39
Thank you all so far for your very quick reaction. Benjamin Steinberg, yes, with Tychonov's theorem; this is what I was suspecting too, I was just needing some confirmation. Could you please comment more on the inductive limit, since this is what interests me more? Qiaochu Yuan, could you give any bibliographical hint? I have no experience on the subject. Todd Trimble: yes. – Alex M. Nov 30 '12 at 20:09

Your Answer


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

Browse other questions tagged or ask your own question.