
3
Proposition 1.5
1. Une intersection de sous-groupes est un sous-groupe
2. Si G0est un sous-groupe de (G, .)et H0un sous-groupe de (H, .)alors
G0×H0est un sous-groupe de (G×H, .).
1.1 Morphismes
D´efinition 1.5
Soient (G, .)et (G0, .)deux groupes. Une application f:G−→ G0est un
morphisme de groupes de (G, .)vers (G0, .)si ∀(x, y)∈G×G0,f(x.y) =
f(x).f(y).
Attention au pi`ege des notations multiplicatives. La fonction exponentielle est un morphisme
de (R,+) vers (R∗+, .).
Un morphisme bijectif est appel´e isomorphisme. Si (G0, .) = (G, .), on dira que c’est un endomorphisme.
Si c’est `a la fois un isomorphisme et un endomorphisme, on dira que c’est un automorphisme.
Proposition 1.6
Soit fun morphisme de (G, .)vers (G0, .).
1. L’image de l’´el´ement neutre de Gest celui de G0; l’image de l’inverse
est l’inverse de l’image.
2. La compos´ee de deux morphismes est un morphisme (`a condition de bien
v´erifier l’existence de la compos´ee !)
3. L’image r´eciproque de l’´element neutre de G0est un sous-groupe de
(G, .). On l’appelle le noyau de fet on le note Kerf.
4. L’image d’un sous-groupe de (G, .)est un sous-groupe de (G0, .). On
appelle image de f, not´ee Imf l’ensemble f(G).