(a) Montrer que fest une application injective. [Utiliser (α)]
En déduire que fest bijective.
(b) Montrer que hk =kh pour tout h∈Het pour tout k∈K, [Utiliser (α) et (a)]
(c) En déduire que fest un isomorphisme de groupes.
Correction. (a) Soient h, h0∈Het k, k0∈Ktels que f(h, k) = f(h0, k0), alors hk =h0k0
et h−1h0=kk0−1∈H∩K={e}. D’où h=h0et k=k0et l’application fest injective.
Comme f(H×K) = HK =Gdonc fest surjective et par suite fest bijective.
(b) Soit h∈Het k∈K. Comme Kest distingué dans G, il existe k1∈Ktel que
hk =k1h, et comme Hest distingué dans G, il existe h1∈Ktel que k1h=h1k1. Donc
hk =h1k1c-à-d. f(h, k) = f(h1, k1)et comme fest injective, h=h1et k=k1. D’où
hk =k1h=kh.
(c) Montrons maintenant que fest un morphisme de groupes. Soient (h, k),(h0, k0)∈
H×K. On a
f[(h, k)(h0, k0)] = f[(hh0, kk0)] = (hh0)(kk0) = (hk)(h0k0) = f[(h, k)]f[(h0, k0)],
car h0k=kh0. Ainsi fest un morphisme de groupes bijectif de H×Ksut G.
Exercice 4. Soit Gun groupe fini, Het Kdeux sous-groupes de G. On suppose que :
(α) : Het Ksont des sous-groupes distingués de G,
(β) : H∩K={e}.
Montrer que HK est un sous-groupe distingué de Gd’ordre |H|×|K|. [Utiliser Exercice
3]
Correction. On a e∈HK et si g=hk ∈HK,g0=h0k0∈HK, alors gg0=hkh0k0=
hh0kk0d’après la question (b), Exercice 3. Donc HK est stable par le produit. De plus, si
g=hk ∈HK, alors g−1=k−1h−1=h−1k−1, toujours d’après la question (b), Exercice
3. On en déduit que HK est un sous-groupe de G.
Montrons que HK est distingué dans G. Soit hk ∈HK et g∈G. On a ghkg−1=
h1gkg−1, avec h1∈H, car Hest distingué dans G; et h1gkg−1=h1k1gg−1=h1k1∈HK,
avec k1∈K, car Kest distingué dans G. Par conséquent, HK est distingué dans G.
L’application f:H×K→HK,f(h, k) = hk est un isomorphisme de groupes. Donc
|HK|=|H×K|=|H|·|K|.
Exercice 5. Soit Gun groupe d’ordre 55, possédant deux sous-groupes distingués Het
Kd’ordre 5 et 11 respectivement.
Montrer que Gest isomorphe Z/55Z. [Utiliser Exercice 4]
Correction. Si x∈H∩K, alors o(x)divise à la fois 3 et 11, donc o(x) = 1 et x=e.
Par conséquent H∩K={e}.
D’après l’exercice 4, on sait que HK est un sous-groupe de Gd’ordre 5×11 = 55,
donc HK =G. On a vu aussi que HK est isomorphe à H×K. Donc Gest isomorphe à
H×K. Or Hest d’ordre 5, donc (cyclique) isomorphe à Z/5Z. De la même façon, Kest
isomorphe à Z/11Z. Donc G'H×K'Z/5Z×Z/11Z'Z/55Z, le dernier isomorphisme
est dû au théorème chinois.
Exercice 6.
2