Alg`
ebre L3 Colles
2. On a
g∈G
ϕ(g) =
g∈G
ϕ(g0g) =
g∈G
ϕ(g0)ϕ(g)
d’o`u
g∈G
ϕ(g) = ϕ(g0)
g∈G
ϕ(g).
3. Ainsi
(1 −ϕ(g0))
g∈G
ϕ(g) = 0
D’o`u, puisque ϕ(g0)6= 1,
g∈G
ϕ(g) = 0.
R´ef´erence : [4]
Exercice 5
Soient (G, ·) un groupe et H1,H2deux sous-groupes de G. On pose H1H2={xy, x ∈H1, y ∈H2}.
On notera el’´el´ement neutre de G.
1. Montrer que H1H2est un sous-groupe de Gsi et seulement si H1H2=H2H1.
2. Si H1et H2sont finis et si H1∩H2={e}, montrer que
Card(H1H2) = Card(H1).Card(H2).
3. On suppose que Gest ab´elien et que H1et H2sont finis d’ordre pet q, o`u pet qsont deux
nombres premiers distincts. Montrer que H1H2est un sous-groupe cyclique de G.
Solution:
1. Supposons que H1H2est un sous-groupe de G. Soit a∈H1H2. Alors a−1∈H1H2, i.e. il existe
(x, y)∈H1×H2tel que a−1=xy. D’o`u a=y−1x−1, puis a∈H2H1. Ainsi H2H1⊂H1H2.
L’autre inclusion se montre de la mˆeme mani`ere.
R´eciproquement, supposons H1H2=H2H1. On a, puisque H1, H2sont deux sous-groupe de
G,H1H26=∅. Soient a, b ∈H1H2. On veut montrer que ab−1∈H1H2. Notons a=a1a2
et b=b1b2, avec ai, bi∈Hi. On a ab−1=a1a2b−1
2b−1
1=a1yx, avec y=a2b−1
2∈H2et
x=b−1
1∈H1. Or H1H2=H2H1, donc il existe (x0, y0)∈H1×H2tel que yx =x0y0. Donc
ab−1=a1x0y0= (a1x0)(y0)∈H1H2, d’o`u le r´esultat.
2. L’application
ϕ:H1×H2−→ H1H2
(x1, x2)7−→ x1x2
est surjective par d´efinition de H1H2. De plus, pour (x1, x2),(y1, y2)∈H1×H2tels que
ϕ(x1, x2) = ϕ(y1, y2), on a x1x2=y1y2, d’o`u y−1
1x1=y2x−1
2, d’o`u y1x−1
1∈H1∩H2={e},
donc x1=y1, puis x2=y2. Ainsi ϕest une bijection, d’o`u
Card(H1H2) = Card(H1).Card(H2).
3. G´etant ab´elien, on a H1H2=H2H1, donc H1H2est un sous-groupe de Gd’apr`es ce qui
pr´ec`ede. Par ailleurs, d’apr`es la question pr´ec´edente, Card(H1H2) = pq puisque H1∩H2={e}
(on sait que H1∩H2est un sous-groupe de H1et H2, donc Card(H1∩H2) divise `a la fois p
et qpremiers entre eux, donc Card(H1∩H2) = 1).
Les sous-groupes H1et H2sont cycliques car leur ordre est un nombre premier. Soient x∈H1
et y∈H2des g´en´erateurs de H1et H2respectivement. Montrons que xy est g´en´erateur de
H1H2, i.e. que l’ordre de xy est pq = Card(H1H2). Soit k∈N?tel que (xy)k=e. Alors
xk= (y−1)k. Or H1∩H2={e}, donc xk= (y−1)k=e, donc p|ket q|k. Or pet qsont
premiers entre eux, donc pq|k. Ainsi l’ordre de xy est sup´erieur `a pq, et comme l’ordre d’un
´el´ement est toujours inf´erieur `a Card(H1H2) = pq, on en d´eduit que l’ordre de xy est ´egal `a
pq.