Chapitre IX
Groupes de Lie réels compacts¹
Dans tout ce chapitre, l’expression « groupe de Lie » signifie « groupe de Lie de dimension finie sur le corps des nombres réels », l’expression « algèbre de Lie » signifie, sauf mention du contraire, « algèbre de Lie de dimension finie sur le corps des nombres réels », l’expression « algèbre de Lie réelle » (resp. « algèbre de Lie complexe ») signifie « algèbre de Lie de dimension finie sur le corps des nombres réels (resp. « ... complexes »).
On note la composante neutre d’un groupe topologique . On note le centre d’un groupe , son groupe dérivé, ou (resp. ou ) le normalisateur (resp. centralisateur) d’une partie d’un groupe .