Exercice 5. Soit Eun plan euclidien et soit Pun polygone r´egulier `a ncot´es dans E,
n≥3.Notons Ole centre de P . Soit D2nle goupe des isom´etries affines de Elaissant
Pglobalement invariant. Ce groupe s’appelle le groupe dih´edral d’ordre 2n .
a) Montrer que si g∈D2nalors g(O) = O .
Soit rla rotation de centre Oet d’angle 2π
n, soit Aun sommet de Pet soit sla sym´etrie
orthogonale par rapport `a la droite OA .
b) Montrer que ret sappartiennent `a D2net que l’on a
rn= 1 , s2= 1 , srs =r−1.
c) En d´eduire que D2n={1, r, r2, . . . , rn−1, s, sr, sr2, . . . , srn−1}.
d) Montrer que D2nest isomorphe `a un sous-groupe de Sn.En d´eduire que D6est
isomorphe `a S3.
e) Soit Rle sous-groupe de D2nengendr´e par r . Quel est l’indice de R? Montrer que si
nest impair, alors Rest le seul sous-groupe d’ordre nde D2n.
Exercice 6. Soit Gle sous-groupe de GL(2,C) engendr´e par les deux ´el´ements suivants
j=i0
0−i, k =0 1
−1 0 .
Notons Jle sous-groupe engendr´e par jet Kle sous-groupe engendr´e par k .
a) Calculer j2et k2.Montrer que |J|=|K|= 4 et |J∩K|= 2 .
b) Montrer que le centre Z(G) est ´egal `a {1,−1}o`u 1 d´esigne la matrice unit´e.
c) Calculer kjk−1et jkj−1.Montrer que
G={jpkq/0≤p≤3 et 0 ≤q≤3}.
On pose i=jk (cr´eant ainsi une confusion avec l’´el´ement i∈C).
d) Montrer que i2=j2=k2=−1 et ij =−ji =k,jk =−kj =iet ki =−ik =j . En
d´eduire que G={1,−1, i, −i, j, −j, k, −k}et que |G|= 8 .Ce groupe s’appelle le groupe
des quaternions et se note H8.
e) Montrer que H8n’est pas isomorphe `a D8.
Exercice 7. Soit Gun groupe d’ordre 8 .
a) Montrer que si Gcontient un ´el´ement d’ordre 8 alors Gest ab´elien.
Montrer que si tous les ´el´ements de Gsont d’ordre 2 alors Gest ab´elien.
On suppose maintenant que Gn’est pas ab´elien.
b) Supposons que aest un ´el´ement de Gd’ordre 4 ; montrer que le sous groupe H
engendr´e par aest distingu´e.
c) Montrer que le centre Z(G) est d’ordre 2 ; on notera zl’´el´ement de Z(G) diff´erent de
l’´el´ement neutre.
d) On suppose z6∈ H . Montrer que G=Z(G)H . En d´eduire une contradiction.
e) Montrer que z=a2et que Z(G)⊂H .