4 Alg`ebre de Lie d’un groupe de Lie
Comme on a dit, l’´etude des alg`ebre de lie a en soi un grand int´eret, mais
peut ˆetre construite a partir de la d´efinition de groupe de Lie. Cela permet
de se repr´esenter g´eom´etriquement une alg`ebre de Lie.
4.1 Champs de vecteurs invariants
Dans un groupe de Lie, comme la multiplication et l’inverse sont diff´erentiable,
On peut d´efinir deux diff´eomorphisme du groupe appell´e translation a gauche
et translation a droite.
D´efinition
On appelle translation `a gauche (resp. translation `a droite) l’application de
Gdans G, qui `a l’element hdu groupe associe l’´el´ement not´e Lg(h) = gh, o`u
gest un autre ´el´ement du groupe. (resp. qui `a l’element hdu groupe associe
l’´el´ement not´e Rg(h) = hg, o`u gest un autre ´el´ement du groupe.)
D´efinition: invariance `a gauche
Soit Xun champ de vecteur sur G, On rappelle que l’application tangente
`a Lgest l’application not´ee TaLgou Lg∗de TaGdans TgaGqui a X|adans
TaLgassocie TaLgX|adans TgaG. Si, TaLgX|a=X|ga, on dit que ce champ
de vecteur est invariant `a gauche .
D´efinition: invariance `a droite
Soit Xun champ de vecteur sur G, On rappelle que l’application tangente
`a Rgest l’application not´ee TaRgou Rg∗de TaGdans Tag Gqui a X|adans
TaLgassocie TaRgX|adans TagG. Si, TaRgX|a=X|ag, on dit que ce champ
de vecteur est invariant `a droite .
On laisse en exercice d´emontrer la propri´et´e que si deux champs de vecteurs
sont invariants `a gauche (ou `a droite), leur crochet aussi. On peut maintenant
donner la structure d’alg`ebre de Lie associ´ee `a un groupe de Lie.
4