1.2 Sous groupes
1.2.1 D´efinition-Propri´et´es
H⊂G, (H, ×) groupe pour la loi induite par celle de G.
Th´eor`eme 1.2.1 (G, ×)un groupe d’´el´ement neutre e.
Les propositions suivantes sont ´equivalentes :
1)Hest un sous groupe de G
2)Hest stable, e∈Het ∀x∈H, x−1∈H
3)Hest stable, H6=φet ∀x∈H, x−1∈H
4)H6=φet ∀(x, y)∈H2, xy−1∈H
Remarque : Hsous groupe de G, K sous groupe de Halors Ksous groupe de G
Proposition 1.2.2 G, G0deux groupes f:G→G0morphisme
1) f(G)est un sous groupe de G0
2) si H0sous groupe de G0alors f−1(H0)est un sous groupe de G.
3) finjective ⇔f−1({e0}) = {e}.
On note Kerfcet ensemble.
Proposition 1.2.3 (G, +) un groupe, Het H0des sous groupes de Galors H∩H0est
un sous groupe.
Remarque : On peut g´en´eraliser `a une intersection quelconque de sous groupes.
H∪H0n’est pas un sous groupe en g´en´eral
Proposition 1.2.4 Tous les sous groupes de (Z,+) sont de la forme nZ, n ∈N
1.2.2 Sous groupe engendr´e
Gun groupe, A⊂G, existe-t-il un plus petit sous groupe de Gcontenant A?
C’est `a dire si A={sous groupe de Gcontenant A}, ordonn´e par ⊂,Aposs`ede-t-il un
plus petit ´el´ement ? \
H∈A
Hest un sous groupe.
A⊂Hpour tout H∈ A donc A⊂\
H∈A
Het c’est le plus petit ´el´ement de A
On l’appelle le sous groupe engendr´e par A. On le note [A]
Exemple : (G, ×) un groupe, a∈G, [a] = {an, n ∈Z}
D´efinition 1.2.5 ordre d’un ´el´ement
Th´eor`eme 1.2.6 Ggroupe fini, a∈G
L’ordre de adivise l’ordre de G.
Th´eor`eme 1.2.7 Soit(G, ×)groupe fini d’ordre n,
alors ∀a∈G, an=e
Remarque : notation additive [a] = {na, n ∈Z}.
2