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

To find a counterexample disproving a generalization of a theorem in the theory of scale functions on locally compact totally disconnected groups, initiated by George Willis, I am looking for a group with certain properties. Alternatively I am looking for arguments why such a group cannot exist. The precise question is:

Is there an example of a totally disconnected locally compact topological group $P$ such that
(1) $P$ is algebraically a (semi)direct product of subgroups $G$ and $H$
(2) $G$ and $H$ are not closed in $P$, but locally compact in the topology inherited from $P$,
(3) $K\cap G$ and $K\cap H$ are not compact for any compact open subgroup $K\subset P$,
(4) $P$ is not compact itself?

Usual construction methods of totally disconnected locally compact groups such as direct limits of discrete groups seem to fail to produce such an example. In particular (3) seems hard to achieve. So maybe an example which occurs naturally in some other context has a better chance to work than building one with bottom up methods.

I hope I didn't overlook any obvious argument contradicting the existence of the desired group.

share|cite|improve this question
Condition (2) in itself seems extremely difficult to realize. I don't know of any example of pair of locally compact (group,subgroup) with that property. – André Henriques Sep 13 '10 at 16:34
Dear Andre: Indeed, there are no examples if $P$ is meant to be Hausdorff (which surely it is). A locally compact subspace of a Hausdorff space is locally closed, hence open in its closure, so any such $G$ in open in its closure $\overline{G}$ in $P$, which in turn is a closed subgroup of $P$. But open subgroups of topological groups are closed, so $G$ is closed in $\overline{G}$ and hence $G = \overline{G}$. So (2) is impossible in the Hausdorff case, regardless of the other stuff. – BCnrd Sep 13 '10 at 18:09
A tiny addition to BCnrd's comment (which seems fine to me): I found Bourbaki's book on topology really good for this sort of thing (i.e. definition of "locally closed" and so forth). – Matthew Daws Sep 13 '10 at 18:32
Because every totally disconnected topological group is Hausdorff, BCnrd's answer is correct. Thank you very much! – Abel Stolz Sep 14 '10 at 8:17
up vote 1 down vote accepted

This question just got bumped to the front page by the Mathoverflow bot. But the question was already answered in the comments by BCnrd. Following advice from this Meta article, I'm going to copy BCnrd's answer here so the OP can accept this answer and this question won't get bumped up again. My response is CW so I can't gain any reputation.

The answer to the question is "no." Here's why:

First, note that every totally disconnected topological group is Hausdorff. Next any locally compact subspace of a Hausdorff space is locally closed, hence open in its closure (see e.g. Munkres Topology for a proof of this). If $P$ was a totally disconnected topological group and $G$ is a locally compact subgroup then $G$ is open in its closure $\overline{G} \subset P$, which in turn is a closed subgroup of P. But open subgroups of topological groups are closed, so $G$ is closed in $\overline{G}$ and hence $G=\overline{G}$. This proves (2) is impossible.

share|cite|improve this answer

Locally compact subgroup of a top group is closed,so for compact subgroup k of G,THE INTERSECTION OF K AND H IS COMPACT.

share|cite|improve this answer
Sure, but the crucial point, which I overlooked, is that the second condition in the question can not be fulfilled. And more important why this can't be the case. Anyway, this was already pointed out in the second comment to the question. – Abel Stolz May 9 '11 at 7:18

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.