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


Let $G$ denote a locally compact group and $S(G)$ the chabauty space of $G$, that is the set of closed subgroups of $G$ equiped with the chabauty topology, it is a compact space.

My question is : if $G$ is a locally profinite group, for example $G=GL(n,F)$ where $F$ is a non-archimidian field, and $\mathcal{OK}(G)$ the set of open compact subgroup of $G$, it is true that $\mathcal{OK}(G)$ is closed in $S(G)$ ?

share|cite|improve this question
I just notive that you already created twice a tag that is a number. I have a vague idea why this happens. Thus the follwing explanation: the number displayed with the tag in the list is not part of the tag. It only states the current number of questions already tagged with this tag. You can essentially ignore it. In any case, please do not include it (or create any tag that is a number except if there should be a clear mathematical meaning to it in the given context). – user9072 Jan 3 '13 at 16:29

If $G$ is nondiscrete, the answer is clearly no, since the trivial group is approximable by compact open subgroups.

If $G$ is discrete (this is not the kind of groups you had in mind), the answer is yes unless $G$ has an infinite locally finite subgroup.

The terminology "locally profinite" (not used by group theorists), which stands for "locally compact totally disconnected", is lame because for discrete groups it does not mean locally finite (which means every finite subset generates a finite subgroup).

share|cite|improve this answer
Thank you, but it is possible that $\mathcal{OK}(G)$ is open in $S(G)$ ? – Rajkarov Jan 3 '13 at 15:33
That $OK(G)$ be open is not always true (e.g., if $G$ is an infinite product of nontrivial finite groups) but sounds plausible when $G$ is the groups of points of a reductive group over a local field (of characteristic zero maybe). But I don't know. The first question is to consider an open profinite subgroup $H$ in such a group and determine whether $H$ is isolated in $S(H)$. – YCor Jan 3 '13 at 22:12

Your Answer


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.