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

I am looking for a simple proof of a Mostow Theroem, which asserts that any connected Lie group $G$ admits a maximal compact subgroup $K$ (which is necessarily connected) such that $$G\simeq K\times\mathbb{R}^d\quad(\text{for certain}\ d).$$ So $G$ and $K$ are homotopy equivalent, so they have exactly the same cohomology groups.

I wonder if there is a 'simple' proof of the above theorem.

share|cite|improve this question
Have you seen…? – Akhil Mathew Sep 2 '11 at 12:47
Thank you Akhil, for the nice link. It's not trivial, but I try to study it in details! – amine Sep 4 '11 at 10:40

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.