
Université Pierre et Marie Curie Master de Mathématiques
Comme d’habitude, un homomorphisme de groupes topologiques fest appelé isomor-
phisme s’il admet un inverse (c-a-d un homomorphisme de groupes topologiques G0g
−→ G
tel que f◦g= idG0et g◦f= idG). Cela équivaut à demander que fsoit à la fois un
isomorphisme de groupes abstraits et un homéomorphisme.
1.1.4 Quelques propriétés faciles.
i) Un homomorphisme fde groupes abstraits est continu dès qu’il l’est en l’élément
neutre ede G.
ii) Un groupe topologique Gest séparé si (et seulement si) le point {e}est fermé. En
effet, soient x6=ydans G. Le singleton {x−1y}est fermé (par translation), donc
puisque x−1y6=e, il existe un voisinage Vde ene contenant pas x−1y. Mais par
continuité de la loi de groupe, il existe un voisinage Ude etel que U.Usoit inclus
dans V. On a alors e /∈xUUy−1, donc xU ∩ yU−1=∅. (Notation : si Aet Bsont
deux parties de G,A.B =AB désigne l’ensemble des éléments de la forme ab, où
a∈A, b ∈B.)
iii) Si fest comme dans la définition ci-dessus et si Gest séparé, alors Ker(f)est fermé
dans G. Par contre, Im(f)n’a pas de raison de l’être.
iv) Si Hest ouvert dans G, il est automatiquement fermé. En effet, son complémentaire
est réunion des classes à gauche xH, x ∈G, x /∈H. Par contre l’inverse n’est pas
vrai !
v) Si Hest fermé dans G, son normalisateur N(H) := {x∈G, ∀h∈H, xhx−1∈H}
est un sous-groupe fermé de G; idem pour son centralisateur Z(H) := {x∈G, ∀h∈
H, xhx−1=h}, donc pour le centre Z(G)de G.
vi) Si un sous-groupe Γde G, muni de la topologie induite, est discret, alors il est fermé.
En effet, soit Vun voisinage ouvert symétrique de etel que V ∩ Γ = {e}, et soit
y∈Γ(adhérence de Γ). Alors yVest un voisinage ouvert de ydonc yV ∩ Γ6=∅.
Soit xdans cette intersection. On a donc y∈xV ∩ Γ. Comme xVest ouvert, on a
xV ∩ Γ⊂xV ∩ Γ = {x}. Donc y=x.
vii) La composante connexe G0de e(aussi appelée composante neutre de G) est un sous-
groupe fermé normal (i.e. distingué : N(G0) = G). En effet, G0est fermé, comme
toute composante connexe. De plus, pour tout xdans G0,x−1G0est connexe et
contient e, donc est contenu dans G0, qui est donc un sous-groupe ; de même, x−1G0x
est contenu dans G0. Notons que G0est ouvert si Gest localement connexe.
viii) G0est contenu dans tout sous-groupe ouvert Hde G.En effet, on écrit G0= (G0∩
H)t(G0∩(G\H)) comme somme de deux ouverts (cf point iv)). Comme le premier
est non vide (il contient e), le second est nécessairement vide par connexité de G0,
et on a donc bien G0=G0∩H,i.e. G0⊂H.
1.1.5 Lemme.–Soient Gun groupe topologique, et Vun voisinage connexe de e. Alors,
G0est la réunion des Vn:= {x1x2...xn, xi∈ V}, où nparcourt N.
4