1.2 Factorisation canonique
Théorème 6 : Soient Eun ensemble, Rune relation d’équivalence sur E
et l’application canonique E!E=Ret fune application de Edans un
ensemble X: Les propriétés suivantes sont équivalentes :
a) xRy=)f(x) = f(y);
b) il existe une application f:E=R ! Xtelle que f=f:
Si ces conditions sont réunies, fest unique.
De plus, fest injective si et seulement si : xRy() f(x) = f(y); f est
surjective si et seulement si fl’est.
2 Groupes
2.1 Dé…nitions et généralités
Dé…nition 7 : Un groupe Gest un ensemble muni d’une loi de composition
interne, i.e. une application de GG!G: (x; y)7! xy; véri…ant les
propriétés suivantes
- la loi est associative : x(yz) = (xy)zpour tous x; y; z dans G;
- il existe un élément "neutre" , noté e; pour cette loi : ex =xe =xpour
tout x2G;
- chaque élément xpossède un symétrique x0;véri…ant xx0=x0x=e:
Dé…nition 8 : On dit que le groupe Gest commutatif (ou abélien) si la loi
véri…e de plus : xy =yx pour tous x; y dans G:
Remarque 9 : On note fréquemment de façon multiplicative la loi d’un
groupe quelconque, réservant la notation additive au cas où le groupe est
commutatif. Dans le premier cas, l’élément neutre sera noté eou 1, le sy-
métrique de x:x1(l’inverse) et l’élément xn(n > 0) désignera xx:::x (n
fois). Dans la notation additive, on utilisera plutôt 0pour désigner l’élément
neutre, xpour le symétrique de x(l’opposé) et nx pour x+x+::: +x(n
fois).
Bien noter que pour n > 0toujours, on a (x1)n= (xn)1et donc, pour
tous m; n :xmxn=xmn;en…n x0= 1:
Exemple 10 :Zpour +;Qpour ;Q
+pour ;S(X)(bijections de l’en-
semble Xdans lui-même) pour la loi de composition : (f; g)7! fg:
Dé…nition 11 : Un sous-groupe du groupe Gest un sous-ensemble de G
qui a lui-même une structure de groupe pour la loi induite (ce qui nécessite
évidemment que le sous-ensemble en question soit stable pour cette loi !).
4