
1. Montrer que l’ordre de (g0, h0) dans le groupe produit G×Hdivise mn.
2. Montrer que l’ensemble des entiers k∈Ztels que la premi`ere coordonn´ee de
(g0, h0)k= (g0, h0)× · · · × (g0, h0) (kfois) vaut eGest l’ensemble des multiples
de m.
3. Effectuer un raisonnement similaire et en d´eduire l’ordre de (g0, h0).
4. Conclure la preuve du Th´eor`eme.
Question 4.1 On a
(g0, h0)mn = (gmn
0, hmn
0) = (eG, eH)
donc mn est un multiplie de l’ordre de (g0, h0).
Question 4.2 On a (g0, h0)k= (gk
0, hk
0) donc si la premiere coordonnee vaut eGon a
gk
0=eGet kest un multiplie de m.
Question 4.3 De meme si la deuxieme coordonnee de (g0, h0)k= (gk
0, hk
0) vaut eH,
kest un multiplie de n. Ainsi si (g0, h0)k= (eG, eH) alors kest un multiplie commun
de met net donc un multiple commun de leur ppmc qui vaut mn. Ainsi l’ordre
de (g0, h0), k0est un multiple de mn et comme par la premiere question mn est un
multiple de k0. on a k0=mn.
Question 4.4 Le groupe G×Hest d’ordre mn et (g0, h0) est d’ordre mn donc
h(g0, h0)i=G×Het G×Hest cyclique.
Exercice 5. (Deuxi`eme m´ethode) Soit (C×, .)=(C− {0}, .) le groupe multiplicatif
de C(muni de la multiplication usuelle). Soient µm, µn⊂C×les sous-groupes des
racines m-i`emes et n-i`emes de l’unit´e.
1. Montrer que l’application ”produit”
π:µm×µn7→ C×
(ζ, ξ)7→ ζ.ξ
est un morphisme de groupes.
2. Montrer que l’image Im(π) est un groupe cyclique.
3. Montrer que le noyau ker(π) peut s’identifier `a un sous-groupe de µmet a un
sous-groupe de µn. En d´eduire que ker(π) = {(1,1)}.
4. Montrer que µm×µnest cyclique et conclure la preuve du Th´eor`eme.
5. Quel sous-groupe de C×est le groupe Im(π) ?