COURS DE LICENCE STRUCTURES ALG´
EBRIQUES
2007/8
5. Groupes op´
erant sur un ensemble
On essaie d’´ecrire une “multiplication” d’un groupe Gsur un ensem-
ble X,gxqui contient les id´ees d´ecrit ci–dessous.
D´efinition 5.1. Soit Gun groupe, Xun ensemble, S(X)le groupe des
bijections de X. On dit que Gop`ere sur l’ensemble Xou Gagit sur
l’ensemble Xs’il existe un homomorphisme f:GS(X).
C’est `a dire, `a tout ´el´ement gGon associe f(g) = fg:XX,
une application bijective, v´erifiant les conditions suivantes:
(i) pour tout xX, et pour tout g, g0G, on a fgg0(x) = fg(fg0(x));
(ii) pour tout xX, on a fe(x) = x.
Noter qu’on peut d´eduire que, pour tout x, y Xet pour tout gG
on a fg(x) = yfg1(y) = x.
On dit l’action de Gsur Xest fid`ele si l’unique ´el´ement gGtel
que pour tout xXon a g.x =x, est l’´el´ement neutre de G. L’action
est dite transitive (respectivement simplement transitive) si pour tout
x, y Xil existe un ´el´ement (resp. un unique ´el´ement) gGtel que
g.x =y.
On ´ecrira ´egalement g·xpour fg(x) — alors,
(i) pour tout xX, et pour tout g, g0G, on a (gg0)·x=g·(g0·x);
(ii) pour tout xX, on a e·x=x.
La condition fg(x) = yfg1(y) = xdevient g·x=y
g1·y=x.
exemple
(0) L’action triviale: tout groupe Gagit trivialement sur tout en-
semble Xen faisant correspondre `a tout ´el´ement gGl’application
identit´e sur X.
2 COURS DE LICENCE STRUCTURES ALG´
EBRIQUES 2007/8
(1) Le groupe SO(2) = {cos θsin θ
sin θcos θ}agit (simplement) tran-
sitivement sur le cercle S1R2(car ce groupe contient exactement les
rotations autour de l’origine).
(2) Soit Enl’espace vectoriel euclidien Rn; ceci est d’abord un groupe
ab´elien. En tant que groupe ab´elien, il agit transitivement sur Rnpar
t~a(x) = x+~a.
(3) On a souvent parl´e du groupe S3qui est le groupe d’isom´etrie d’un
triangle ´equilat´eral. Ce groupe “op`ere sur l’ensemble `a trois ´el´ements
{1,2,3}”. L’´el´ement neutre ne change rien et si on fait la permutation
qui correspond `a l’´el´ement a, suivi de la permutation qui correspond `a
a1, le triangle n’a pas boug´e.
(4) Chaque ´el´ement du groupe Gl2(R) = {a b
c d|a, b, c, d
R, ad bc 6= 0}d´efinit un automorphisme du plan vectoriel R×R.
La matrice 1 0
0 1correspond `a l’identit´e. Cette action n’est pas
transitive sur R2, mais l’est sur R2− {(0,0)}
Noter qu’un groupe peut avoir beaucoup d’actions sur un seul en-
semble.
Proposition 5.2. Soit Gun groupe qui agit sur X.
a) La relation binaire Rsur Xd´efinie par
xRyil existe gGt.q. y=g·x
est une relation d’´equivalence.
b) Il en suit que Xest la r´eunion disjointe des orbites, c’est `a dire
X=O1O2. . . et CardX= CardO1+ CardO2+. . . .
Demonstration. Utilisant (ii) on a xRx; par (ii) on a xRy⇒ ∃g, g ·
x=yg1·y=xyRx; et la transitivit´e est garantie par
(i).
D´efinition 5.3. Les classes d’´equivalence s’appellent les orbites ou
classes de transitivit´e de l’action de Gsur X.
S’il n’y a qu’une seule orbite, on dit que Gagit transitivement sur X.
COURS DE LICENCE STRUCTURES ALG´
EBRIQUES 2007/8 3
exemple
(1) Sur les sommets du triangle ´equilat´eral, le groupe S3agit transi-
tivement. C’est `a dire, il n’y a qu’une seule orbite.
(2) Le groupe Gl2(R) agit transitivement sur R×R− {(0,0)}.
(3) L’orbite de l’action de Zsur R(d´efinie par n·r=r+n) d’un point
rRest l’ensemble {r+n|nZ}.
(4) Le groupe Sn: Le groupe Snde toutes les permutations de
l’ensemble Xn={1,2, . . . , n}agit transitivement. Pour aSn, le
sous–groupe cyclique haiagit sur Xn.
Par exemple dans S3, l’´el´ement (123) qui d´enote la permutation qui
envoie 1 2,23,31 est un ´el´ement d’ordre 3 dans le groupe S3,
et le sous–groupe engendr´e agit transitivement. L’´el´ement b= (12) qui
envoie 1 2,21,33 est un ´el´ement d’ordre 2, et une orbite est
{1,2}, et l’autre est {3}.
(5) Le groupe Gop`ere sur lui–mˆeme: c’est `a dire on prend pour en-
semble Xl’ensemble des ´el´ements de G, sur lequel le groupe Gagit
(a) par conjugaison (ou automorphisme int´erieur)
Pour chaque ´el´ement de G, il y a l’automorphisme int´erieure
φg:GGd´efinie par φg(h) = ghg1pour tout hG, qui
s’appelle conjugaison par g. Alors l’application GAut(G)
(Aut(G)S(G)) ainsi d´efini donne une action de Gsur lui–
mˆeme. En g´en´erale cette action n’est pas transitive: par exemple
si gGet Gest commutatif (ou gZ(G)) on a φg=IdG.
Les orbites ici s’appellent les classes de conjugaison de G.
(b) par translation `a gauche
La multiplication dans Gdonne une action de Gsur lui–mˆeme. Pour
chaque gG, on a une bijection hgh pour tout hG. Cette ap-
plication n’est pas en g´en´eral un automorphisme (sauf si gest l’´el´ement
neutre), mais elle est bijective, et elle satisfait les conditions (i) et (ii).
Cette action est transitive.
Dans cette derni`ere action, si g, g0G, et g6=g0, appartiennent `a
G, la multiplication sont deux ´el´ements distincts, on a la propri´et´e que
4 COURS DE LICENCE STRUCTURES ALG´
EBRIQUES 2007/8
la bijection qui correspond `a multiplication `a gauche par gest diff´erent
de la multiplication `a multiplication `a gauche par g0car en particulier
g=g·e6=g0·e=g0.
Donc:
Proposition 5.4. L’op´eration de Gsur lui–mˆeme par translation `a
gauche est un homomorphisme injectif de Gdans S(G)(le groupe de
permutations de l’ensemble G).
Corollaire 5.5. Th´eor`eme de Cayley
Tout groupe fini d’ordre nest un sous–groupe de Sn.
D´efinition 5.6. Soit Gun groupe qui agit sur l’ensemble X. Le stabil-
isateur d’un ´el´ement xXest la collection d’´el´ements de Gqui fixent
x,Fx={gG|g·x=x}.
Pour un sous–ensemble AX, on a le stabilisateur de Aest la
collection d’´el´ements de Gqui fixent Acomme ensemble, c’est `a dire
FA={gG|g·A=A}(on ne suppose pas que g·a=apour tout
aA).
exemple
(1) Pour l’action de S3sur le triangle ´equilat´eral, le stabilisateur du
sommet 1 est le sous–groupe d’ordre 2 engendr´e par la transposition
qui fixe 1 et ´echange 2 et 3.
En fait, si x∈ {1,2, . . . , n}alors Fxest un sous–groupe de Sniso-
morphe `a Sn1.
(2) Quand on consid`ere l’action de Gsur lui–mˆeme par conjugaison, le
stabilisateur FAest le normalisateur de A,NA={gG|gAg1=A}.
Il est claire que eFAtoujours. Une minute de r´eflexion suffit pour
d´emontrer:
Proposition 5.7. Soit Gun groupe qui agit sur X.
(i) Pour xX, son stabilisateur Fxest un sous–groupe de G.
(ii) Pour ∅ 6=AX, son stabilisateur FAest un sous–groupe de G.
COURS DE LICENCE STRUCTURES ALG´
EBRIQUES 2007/8 5
Proposition 5.8. Soit Xun ensemble, et Gun groupe qui agit sur
X. Soit xXun ´el´ement , avec stabilisateur Fxet orbite Ox. Soit
yOx,gGtel que y=g·x.
(i) L’ensemble des ´el´ements g0Gt.q. g0·x=yest la classe lat´erale
gFx={g0G|g0=gh, h Fx};
(ii) Fy=gFxg1;
(iii) CardOx= [G:Fx](= CardG/CardFxquand CardGest fini).
Demonstration. (i) Si g·x=y=g0·x, alors on a (g1g0)·x=x
g1g0Fxg0gFx.
(ii) Si y=g·x, alors h·x=xhg1·(g·x) = x
(ghg1)·(g·x) = g·xghg1·y=y.
(iii) On d´efinit une application surjective Φ : GOxd´efinie par
gg·x. Cette application correspond `a une relation d’´equivalence R
d´efinie sur Gpar:
gRg0g·x=g0·x(g0−1g)·x=xg0−1gFx.
Elle est donc associ´e `a un sous–groupe Fxde G, et on a GG/R →
Ox, o`u la deuxi`eme application est une bijection. Il est claire que
CardG/R= CardG/CardFx= CardOx= [G:Fx].
Corollaire 5.9. Si Gest un groupe fini qui agit sur l’ensemble X, on
aCardFxdivise CardGet CardOxdivise CardG.
exemple Le cube est un solide r´egulier avec 6 faces carr´ees, 8 sommets,
et 12 arˆetes. Consid´erer le groupe Gde sym´etrie du cube (ceux qui
pr´eservent l’orientation).
(i) Il y a 6 faces, et Gagit transitivement sur l’ensemble des faces. Si
Pest une face, il y a une rotation d’ordre 4 qui le pr´eserve comme en-
semble — c’est `a dire CardFP= 4. Alors CardG= CardFPCardOP=
24.
(ii) Il y a 8 sommets, et Gagit transitivement sur l’ensemble des
sommets. Si vest un sommet, alors il y a une rotation d’ordre 3 qui le
fixe: CardFv= 3. Alors CardG= CardFvCardOv= 24.
1 / 6 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !