Universit´e Lyon 1 – 2011-2012
Master 1 – Groupes classiques et g´eom´etrie
FICHE N◦3
Produits semi-directs
Exercice 23 (Deux conventions).Soient Het Kdeux groupes topologiques avec une action continue
de Ksur H(sic !), d´efinie par un morphisme ϕ:K→Aut(H), k7→ ϕk, o`u Aut(H) d´esigne le groupe
des automorphismes continus de H. Le cours donne une d´efinition du produit semi-direct KnϕH. On
peut en donner une variante qui a l’avantage de ne pas faire intervenir d’inverses. L’espace topologique
sous-jacent est H×Ket l’op´eration est d´efinie par :
∀(h, k),(h0, k0),(h, k)·(h0, k0)=(hϕk(h), kk0).
La notation consacr´ee pour cette version est HoϕKou, si ϕest implicite, HoK.
V´erifier que HoϕKest bien un groupe et que l’application suivante est un isomorphisme et un
hom´eomorphisme : σ:KnϕH→HoϕK, (k, h)7→ (ϕk(h), k).
NB : L’application σest parfaitement naturelle si on pense qu’apr`es identification de sous-groupes
du produit semi-direct isomorphes `a Het K, l’action de Ksur Hs’identifie `a la conjugaison dans le
produit semi-direct. La formule khk−1=ϕk(h) donne kh =ϕk(h)k, ce qui justifie la formule pour σ.
Exercice 24 (Groupe affine).Soit Eun espace affine dirig´e par l’espace vectoriel r´eel Ede dimension
finie n. Soit GA(E), ou plus simplement GA, le groupe des bijections affines de Eet GL(E), ou simplement
GL, le groupe des bijections lin´eaires de E. On souhaite d´emontrer et interpr´eter un isomorphisme (non
canonique) :
GA(E)'EoGL(E).
Soit Tle groupe des translations. Il est isomorphe `a Epar l’application qui, `a v∈E, associe la translation
tv:E → E de vecteur v. Soit Oun point de Eet GAOle stabilisateur de O.
1. Soit f∈GA et v∈E. Donner une expression simple de ftvf−1. En d´eduire que Test distingu´e.
2. V´erifier que GAOest isomorphe `a GL. Montrer que toute application f∈GA s’´ecrit de fa¸con
unique comme une compos´ee tv◦g(respectivement g◦tv) avec v∈Eet g∈GAO.
3. ´
Etant donn´e une application f∈GA, on note df∈GL l’application lin´eaire associ´ee (oui : c’est
bien sa diff´erentielle au sens de la g´eom´etrie diff´erentielle...). L’utiliser pour d´efinir la suite exacte :
1→T−→ GA(E)d
−→ GL(E)→1.
4. Exhiber une section de d et en d´eduire la structure de produit semi-direct (topologique).
5. On suppose `a pr´esent que Eest un espace affine euclidien. On note Is(E) les groupe des isom´etries
(affines) de Eet Is(E) le groupe des isom´etries vectorielles de E. Montrer que l’on a un isomor-
phisme : Is(E)'ToIs(E).
1