2
(6) Si x∈Gest une solution de ax =b, alors x=a−1bpar multiplication `a
gauche par a. De plus, x=a−1best bien une solution de ax =bpuisque
a(a−1b) = (aa−1)b=eb =b. Similairement, l’´equation xa =bposs`ede
l’unique solution x=ba−1. Les deux solutions sont ´egales si
a−1b=ba−1,
c’est-`a-dire quand ab =ba (multiplier `a gauche puis `a droite par a). Quand
Gn’est pas commutatif, les solutions ne sont donc pas forc´ement ´egales.
Par exemple, si G= GL2(R) et a= ( 1 0
0−1), b = ( 1 1
0 1 ), alors
ab =1 1
0−16=1−1
0−1=ba,
donc les solutions des deux ´equations sont diff´erentes.
(7) Montrons que l’assertion est v´erifi´ee si et seulement si Gest commutatif.
Remarquons premi`erement que (ab)2=a2b2pour tous a, b ∈Gsi et
seulement si ba =ab pour tous a, b, ∈G, en utilisant le point (2) de
l’exercice. Ainsi, le cas n= 2 est ´equivalent `a la commutativit´e du groupe.
Si Gest commutatif, montrons l’assertion par r´ecurrence sur n≥1. Elle
est ´evidente pour n= 1. Si m≥3 et si l’hypoth`ese est vraie pour n=m,
on a
(ab)m+1 = (ab)(ab)m=abambm=am+1bm+1
en utilisant le cas n=m, puis la commutativit´e.
Exercice 2.
(1) Parmi les couples suivants lesquels sont des groupes ?
({0},+),(N\ {0},+),(Z,+),(R,+),(N\ {0},×),(R2,+),(R\ {0},×).
(2) Soit Eun ensemble. Montrer que l’ensemble Sym(E) des bijections de E
muni de la composition des fonctions est un groupe.
Solution.
(1) (a) Le couple ({0},+) est un groupe, le groupe trivial. L’´el´ement neutre
est 0 et l’inverse de 0 est 0. L’associativit´e de la loi de composition
est claire.
(b) Le couple (N\{0},+) n’est pas un groupe, puisqu’il n’existe d’´el´ement
neutre : il n’existe pas d’entier n6= 0 tel que 1 + n= 1.
(c) Le couple (Z,+) est un groupe, l’´el´ement neutre ´etant 0 et l’inverse
de n∈Z´etant donn´e par −n. L’associativit´e de la loi de composition
est claire.
(d) Le couple (R,+) est un groupe, l’´el´ement neutre et l’inverse sont
comme au point pr´ec´edent. Notons d’ailleurs que (Z,+) est un sous-
groupe de (R,+). L’associativit´e de la loi de composition est claire.