a - Comme dans le groupe du triangle équilatéral , O le centre du triangle est laissé fixe par ces transformations . Ces
éléments sont donc : Id , r = r(O, 2 , = r(O, 3
2
πρπ
))
, σ la symétrie de centre O , ss
AC BD
, les symétries d’axes (AC) et (BD)
puis ss
OI OJ
,les symétries dont les axes sont les médiatrices des cotés . C’est donc un groupe à 8 éléments .
Sa table est :
Id r s s s s
rIdssss
Id r s s s s
Id r s s s s
ssss Id r
ssss Idr
ssss r Id
ssss r Id
OI OJ BD AC
BD AC OJ OI
OJ OI AC BD
AC BD OI OJ
OI AC OJ BD
OJ BD OI AC
BD OI AC OJ
AC OJ BD OI
σρ
σρ
σρ
ρσ
σρ
σρ
ρσ
ρσ
. Ce groupe est donc non commutatif .
b - D’après le théorème de Lagrange (voir exercice 1) les sous-groupes sont de cardinal 1 , 2 , 4 , 8 . Le sous-groupe
à un élément est {Id} , et celui à huit éléments est le groupe entier lui même . Les groupes d’ordre deux sont :
{}
{}{}{}
Id,σ , Id,s , Id,s , Id,s
OI OJ BD et
{}
Id,sAC . Etudions les sous-groupes d’ordre quatre :
D’après l’exercice 4 , un tel groupe est commutatif , ou bien cyclique , ou bien isomorphe au groupe de Klein .
Le groupe cyclique d’ordre quatre est :
[]
{}
rIdr
=
,, ,
σ
.
Déterminons les autres groupes . Les éléments d’un groupe de Klein étant tous d’ordre 2 , un sous-groupe à 4
éléments non cyclique est donc inclus dans
{}
essss
OI OJ BD AC
,, , , ,
σ. La composée de deux symétries distinctes étant une
rotation , un tel groupe doit contenir σ . On trouve donc :
{}{ }
Id s s Id s s
OI OJ BD AC
,, , ,, ,
σσ
, .
c - A la lueur de l’étude qui précède , on vérifie que les parties génératrices à deux éléments sont :
{}{}{}{}
rs rs rs rs
OI OJ BD AC
,,, ,,,,,
{}{}{}{}{ }{ }{ }
ρρρρ
,,, ,,,,,,,,s s s s ss ss ss
OI OJ BD AC OI BD OI AC OJ BD
,,,
{}
ss
OJ AC
,.
d - Le centre étant un sous-groupe , on vérifie que c’est {Id , σ} .
10 - On considère une action d’un groupe G sur un ensemble non vide E . Pour x ∈E , on appelle le
stabilisateur de x , l’ensemble
{}
S g G:g.x = x
x=∈ .
a - Montrer que le stabilisateur d’un élément de E constitue un sous-groupe de G .
b - Déterminer le stabilisateur d’un élément de G , lorsque l’on fait opérer G sur lui même par conjugaison .
c - On suppose G fini . Montrer que pour tout x∈E : CardG = CardS CardO
xx
×
, où Oxdésigne l’orbite de x .
On pourra pour cela considérer l’application f : g → g.x définie de G dans E .
On note
[]
G:Sxl’entier CardG
CardSxet on suppose E fini . On choisit un xidans chaque orbite , 1≤ i ≤ q .
Montrer alors que :
[]
CardE G:Sx
i1
q
i
==
∑ ( équation aux classes ) .
a - Considérons x un élément de E . L’élément neutre de G appartient à Sx; pour tout g et h dans Sxon a :
(). .(. .gh x g h x) g x x
===
, c’est à dire gh appartient à Sx. Par ailleurs pour tout g dans Sx, on a
gxg gx) ggxexx
−− −
====
11 1
..(.()..
, d’où g−1appartient à Sx. En conclusionSxest un sous-groupe de G .
b - Pour tout x ∈ G , y appartient àSxsi et seulement si : yx x. =, ou encore : yxy x
−=
1, c’est à dire : xy = yx . En
résumé , le stabilisateur de x est l’ensemble des éléments qui commutent avec x .
c - L’application f a pour image Oxdonc
{}
{}
fa
aO
x
−∈
1constitue une partition de G . Fixons un élément a de Ox; il
existe u ∈ G tel que : a = u . x . Alors
{}
vf a
∈
−
1si et seulement si u . x = v . x , ou encore uv S
x
−∈
1,
c’est à dire : vuS
x
∈. L’application de SuS
xx
→
, g → ug étant bijective , on en déduit que :
{}
Cardf a CardSx
−=
1, pour
tout aO
x
∈. Il en découle l’identité demandée .
e - Le résultat découle directement du fait que l’ensemble des orbites constitue une partition de E .
11 - On considère G un groupe fini et Γ(G) son centre (cf exercice 3 ) . On fait opérer G sur lui même par
conjugaison et on conserve les notations de l’exercice précédent .
a - Montrer que x ∈ Γ(G) si et seulement si
[]
G:S 1
x=.