CHAPITRE 1. GROUPES 3
Remarque. Si G1et G2sont deux groupes d’éléments neutres respectifs e1et
e2,fun homomorphisme de G1dans G2, alors :
–f(e1) = e2
–∀x∈G1,f(x−1) = [ f(x)]−1
L’ensemble des automorphismes d’un groupe G, que l’on note Aut(G), muni
de la composition des applications, est un groupe.
Théorème 1.1. Soient G1,...,Gndes groupes et G=G1× · · · × Gnleur produit
cartésien. Soient x et y deux éléments de Gtels que x = (x1,..., xn)et y =
(y1,..., yn). On considère la loi de composition interne définie sur Gpar
x y = (x1y1,..., xnyn)
Gmuni de cette loi est un groupe. On dit que Gest le produit direct (externe) des
groupes G1,...,Gn.
Démonstration. Soient
x= (x1,..., xn),y= ( y1,..., yn),z= (z1,...,zn)
trois éléments quelconques de G. Par définition,
x y = (x1y1,..., xnyn)et yz = ( y1z1,..., ynzn)
Alors
x(yz) = (x1,..., xn)( y1z1,..., ynzn)
= (x1(y1z1),..., xn(ynzn))
= ((x1y1)z1,...,(xnyn)zn)
= (x1y1,..., xnyn)(z1,...,zn)
= (x y)z
Donc la loi sur G est associative.
Considérons e= (e1,..., en)où ∀i∈N∗
n,eiest l’élément neutre de Gi. Pour
tout x= (x1,..., xn)de G,
ex = (e1, ..., en)(x1, . . . , xn)
= (e1x1,..., enxn)
= (x1,..., xn)
=x
xe = (x1,. . . , xn)(e1, .. ., en)
= (x1e1,. . . , xnen)
= (x1,. . . , xn)
=x