Preuve :En effet,H6=∅par hypoth`ese. L’´el´ementneutreede Gappartient`a Hd’apr`eslaproposition
pr´ec´edente etquel quesoit h∈H,h∗e=e∗h=hcar happartient`a G.D’autre part, si gappartient`a
H,alors g−1,l’inversedegdansGappartient`a Hcar Heststable par l’inversion donc gaun inverse
dansH.2
Proposition II.5Soit (G, ∗)un groupeet Hunepartie de G.Alors Hestun sousgroupede Gsi et
seulementsi
1. H6=∅,
2. ∀h, h′∈H,h′∗h−1appartientencore `a H.
Preuve :⇒)On supposeque HEst un sousgroupe.AlorsH6=∅parhypoth`ese.De plus,quels que
soienth, h′∈H,h′−1appartientencore`a Hcar Heststablepour l’inversion etcommehet h′−1
appartiennent`a H,alorsh∗h′−1appartientencore `a Hcar Heststable pourla multiplication.
⇐)On note ele neutre de G.Soithappartenant`a H.Alorsh∗h−1=eappartient`a H.
MontronsqueHeststablepour l’inversion.Soit h∈H.Alors commeeet hsontdes ´el´ementsdeH,
e∗h−1=h−1appartient`a H.
MontronsmaintenantqueHeststablepar la loi ∗.Soit h, h′∈H.Comme Heststablepourl’inversion,
h′−1appartient`a H.Ainsi, commeh′−1et happartiennent`a Het que(h′−1)−1=h′,h∗h′=
h∗(h′−1)−1appartient`a H.2
Proposition II.6Soit (G, ∗)un groupe,H1, . . . , Hndes sous groupes de G.Alors ∩n
i=1Hiestun sous
groupede G.
Preuve :L’intersection ∩n
i=1Hiestnon vide car pourtouti,eappartient`a Hidonceappartient`a
∩n
i=1Hi.
Soienta, b∈ ∩n
i=1Hi.Alors pourtout i,a∗b−1appartient`a Hicar Hiestun sousgroupeet donc
a∗b−1appartient`a ∩n
i=1Hi.2
Remarque II.7 En g´en´eral, la r´eunion de deux sous groupes n’est pas un sous groupe. Par exemple,
2Zet 3Zsontdes sousgroupesde (Z,+) mais 2Z∪3Z, l’ensemble desmultiples de2ou de 3, n’est
pas un sousgroupedeZcar 2et3appartiennent`a 2Z∪3Zmais 5=2+3n’appartientpas `a 2Z∪3Z
puisque 5n’estni un multiple de2, niun multiple de3.
Exemple II.8 (Les sous-groupes de Z)D´eterminonstouslessous groupes de Z.Remarquonsd´ej`a
quequelquesoit n∈N,nZet un sous groupedeZ.En effet:
–nZ6=∅car 0=n·0appartient`a nZ.
–Soita, b∈nZ.Alors il existe α,β∈Ztels que a=αnet b=βn.Ainsi, a−b=n(α−β)appartient
`a nZ.
Montronsque tous les sousgroupes deZsontde cette forme.
SoitGun sousgroupede Z.Si G={0}, il n’yarien`a faire, G=0Z.Sinon, il existe a∈Gtel que
a>0. En effet, G6={0}donc il existe a∈G.Soit a>0et il n’y arien `a faire, soit a<0, alors −a,
l’inversede aappartient`a Get −a>0.
Soitnle pluspetit ´el´ementde l’ensemble {a∈G, a>0}.Montronsque G=nZ.
Soita∈nZ.Il existe k∈Ztel que a=kn.
⋆Si k>0, alors kn=n+n+. . . +nappartient`a Gcar Geststable par laloi +etdonc aappartient
`a G.
⋆Si k<0, alors (−k)nappartient`a Gd’apr`es ce qu’on vientdevoir et −(−kn)=knappartient`a G
car Geststable pourl’inversion.Ainsiaappartient`a Get nZestinclusdans G.
R´eciproquement, montrons que toutg∈Gappartient`a nZ.
On effectue la division euclidiennedegpar n:g=nq +ravec q∈Z,r∈Ntel que 0≤r<n.
On ar=g−nq,or gappartient`a Get nq aussi d’apr`es ce quel’on vientde voir.Ainsi, g−nq
appartient`a Get donc raussi. Mais 0≤r<net nestle plus´el´ementstrictementpositifdeGdonc
r=0et g=nq appartient`a nZ.
Ainsi, tous lessous groupes de Zsontde laforme nZ,n∈N.
43