5
Exercice 3. (Les r´esultats de cet exercice sont `a retenir).
On note P(R2) l’ensemble des parties de R2. Soient n≥3 un entier, et Pnle
polygˆone de sommets
Ak:= cos 2πk
n,sin 2πk
n.
(1) Montrer que •: GL(R2)× P(R2)→ P(R2),(f, E)7→ f(E) est une action
de groupes.
(2) Calculer le stabilisateur de Pnpour cette action.
D´efinition. Ce stabilisateur est appel´e groupe di´edral. On le note D2n.
(3) Montrer que D2nest isomorphe `a un sous-groupe de Snet que D6'S3.
(4) Montrer qu’un groupe Gest isomorphe `a D2nsi et seulement il est en-
gendr´e par {R, S}avec R∈Gd’ordre net Sd’ordre 2 tels que
SRS =R−1.
Solution.
(1) On a bien Id(E) = Epour tout E∈ P(R2), et (f◦g)(E) = f(g(E)) pour
tous f, g ∈GL(R2) et tout E∈ P(R2). Ainsi •est bien une action de
groupe.
(2) Le polygone Pnest conserv´e par
•la rotation Rde centre Oet d’angle 2π/n ;
•la sym´etrie axiale Sd’axe la droite (OA1) passant par Oet A1.
Nous allons montrer que les applications lin´eaires conservant Pnsont de
la forme Rkou RkSavec k∈ {0, . . . , n−1}. Pour cela on remarque que Id
est la seule application lin´eaire qui fixe deux points de R2non colin´eaires.
´
Etant donn´e f∈D2n, soit 1 ≤j≤ntel que f(A1) = Aj. Comme
(Rj)−1(Aj) = A1, la composition
g= (Rj)−1f∈D2n
fixe A1. Par cons´equent, genvoie le cˆot´e A1A2sur un cˆot´e de Pncontenant
A1, c’est-`a-dire A1A2ou AnA1. Ainsi :
•soit g(A2) = A2, d’o`u g= Id. On en conclut que f=Rj.
•soit g(A2) = An; dans ce cas, Sg est un ´el´ement de D2ntel que
Sg(A1) = S(A1) = A1
Sg(A2) = S(An) = A2,
d’o`u Sg = Id comme au point (1). Ainsi, f=RjS.
Finalement, montrons que les Rk,RkSsont tous distincts pour
0≤k < n. Nous aurons ainsi d´emontr´e qu’il existe exactement 2n
isom´etries conservant Pn. Comme Ra ordre n, il est clair que les Rk
(0 ≤k < n) sont tous distincts. Par cons´equent, les RkS(0 ≤k < n)