2.3 Ordre d’un ´el´ement
D´efinition 2.3.1. Soit xun ´el´ementd’un groupeG.Le sous-groupeengendr´epar x,
not´e<x>est le plus petit sous-groupequi contientx.On dit que xest d’ordre fini
si et seulementsi le sous-groupe<x>est fini. Dans ce cas l’ordre de xest lenombre
d’´el´ements du sous-groupe<x>.
Proposition 2.3.2. Un ´el´ement xd’un groupeGest fini si et seulement s’il existe un
entier n>0tel qu’en composant nexemplaires de xon retrouve le neutre, et l’ordrede
xest le plus petit parmi ces entiers n.
En notation additive, la composition de nfois xs’´ecrit nx,et pour n=−m<0, nx
est l’´el´ementsym´etrique de mx (l’oppos´e).
En notation multiplicative, la composition de nfois xs’´ecrit xn,et pour n=−m<0,
xnest l’´el´ementsym´etrique de xm.
Lemme 2.3.3. Soit Gun groupenot´emultiplicativement. Lesous-groupeengendr´epar
xest l’ensemble des xn,n∈Z.
Exemple 2.3.4.Ordre des ´el´ements dans le groupesym´etrique S3.
2.4 Morphisme de groupe
D´efinition 2.4.1. Soient (G, ∗)et (G′,⊤)deux groupes. Une application f:G→G′
est un morphisme de groupesi et seulementsi :
∀x∈G,∀y∈G, , f(x∗y)=f(x)⊤f(y).
Exemple 2.4.2.L’application logarithme est un morphisme du groupe(]0,+∞[,×)vers
le groupe(R,+).
Exemple 2.4.3.Soit xun ´el´ementdans un groupeGnot´emulticativement. L’application
gx:Z→Gqui `a nassocie xnest un morphisme de groupe.
D´efinition 2.4.4. Le noyau d’un morphisme de groupef:G→G′est l’ensemble des
´el´ements dontl’image est le neutre e′de G′.
Proposition 2.4.5. Soit f:G→G′un morphisme de groupe.
a) Lenoyau de fest un sous-groupede G.
b) fest injective si et seulement si son noyau ne contient que le neutreede G.
D´efinition 2.4.6. L’image d’un morphisme de groupef:G→G′est l’ensemble :
Im(f)=f(G)={f(x),x∈G}.
Proposition 2.4.7. Soit f:G→G′un morphisme de groupe.
a) L’image de fest un sous-groupede G′.
b) fest surjective si et seulement si son image est ´egale `a G′.
8