Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

How do I prove this statement?

Let $G$ be a Topological group and let $H$ be a subgroup of $G$, if both $H$ and $G/H$ are locally compact then $G$ is locally compact. (we will endow the set $G/H$ with the quotient topology)

share|cite|improve this question
5.25 in Hewitt-Ross' Abstract Harmonic Analysis I. I don't know of any "instant" proof... – Xabier Domínguez Apr 18 '12 at 14:15
Is my answer good enough, or do you need clarifications? – M Turgeon May 22 '12 at 15:28
quick question. how do we know that $G/H$ is locally compact for sure? – PandaMan Feb 24 '14 at 5:15

This is Theorem 6.7 c) in Markus Stroppel's Locally compact groups.

Here is a sketch of the proof. Pick a neighbourhood $U$ of the identity in $G$ such that $U\cap H$ is compact (this is possible since $H$ is locally compact). Then, there exists a closed neighbourhood $T$ of the identity (in $G$) such that $TT^{-1}\subset U$. Now, look at $\pi(T)\subset G/H$, where $\pi:G\to G/H$ is the canonical projection. It is a neighbourhood of the identity (or rather the image of the identity in $G/H$, which is locally compact), and so there exists a compact neighbourhood $C$ such that $C\subset\pi(T)$. Finally, pick a closed neighbourhood $R$ of the identity (in $G$) such that $RR^{-1}\subset T$ and $\pi(R)\subset C$. The last step of the proof is to check that $R$ is compact (using, among other things, the fact that the intersection of $T$ with any right coset is compact).

share|cite|improve this answer
@M Turgeon thanks. in line 2 : There exist a closed nhoob T of identity (in G) such that TT −1⊂ U . since Every topological group is regular then for every nhod U of identity there exists a closed nhood T of identity such that T⊂U but why TT −1⊂ U ? – Sian Apr 19 '12 at 6:35
@Sian Using just the continuity of the multiplication and inverse maps, you can show that there exists a symmetric neighbourhood $T$ such $TT=TT^{-1}\subset U$. Regularity allows you take it closed. – M Turgeon Apr 19 '12 at 11:23
@M Turgeon there exist a Closed nhood of identity in G such that RR −1 ⊂T (since G is regular) but why π(R)⊂C ? how can i take this nhood ? – Sian Apr 20 '12 at 5:01
@Sian This one I am not 100% sure. But if you pullback $C$ along $\pi$, you get a closed neighbourhood of the identity. You take $R$ to be a symmetric closed neighbourhood contained in the interior of $\pi^{-1}(C)$, and this should do the job. – M Turgeon Apr 20 '12 at 12:09

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.