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$ be a locally compact group and let $H$ be a cocompact (or more generally, a cofinite) subgroup of $G$.

Is there any criterion to determine whether $H$ contains a cocompact normal subgroup of $G$? More specifically, when does $G$ possess a normal cocompact subgroup? (regardless of $H$)

Is there a non-obvious example (e.g. $G$ non-abelian and non-compact) of this phenomenon?

P.S. Feel free to restrict your answer to Lie groups if it helps.

share|cite|improve this question
A necessary condition is that there exists on $G/H$ an invariant Radon measure, or equivalently that the modular function of $G$ extends that of $H$. (For instance this fails if $G$ is unimodular but not $H$, e.g. upper triangular matrices in $SL_{n\ge 2}(\mathbf{R})$) – YCor Sep 2 '13 at 9:33

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.