Skip to main content
1 of 4

Equivalence between the existence of a nonempty open set of elliptic elements and a compact Cartan subgroup

In Goldman's book on Complex Hyperbolic Geometry, on page 203, it is stated that for a real semisimple Lie group $G$, the following are equivalent:

  1. $G$ contains a nonempty open subset of elliptic elements (which are elements of maximal compact subgroups of $G$, i.e. fixing a point in the associated symmetric space), and

  2. $G$ admits a compact Cartan subgroup.

Does anyone know how to prove the implication $1\Rightarrow 2$ ?