6
$\begingroup$

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.

  • 5
    Have you seen http://mathoverflow.net/questions/53080/homotopy-type-of-connected-lie-groups?2011-09-02
  • 0
    Thank you Akhil, for the nice link. It's not trivial, but I try to study it in details!2011-09-04

0 Answers 0