Groupes opérant sur un ensemble, exemples et
applications, cours de premier cycle
universitaire
F.Gaudon
12 août 2005
Table des matières
1 Définitions 2
2 Exemples et applications 4
1
1 Définitions
Définition :
Soient Gun groupe et Xun ensemble. On dit que Gopère sur Xs’il existe
une application fde G×Xdans X qui à (g;x)associe g.x tel que :
(g;g0)G×G, xX, g.(g0.x) = (gg0).x
xX, e.x =xedésigne l’élément neutre du groupe G
fest appelée opération de Gsur X.
Remarque :
La donnée d’une opération de Gsur Xrevient à définir un homomorphisme de
groupes φ:G7→ S(X), où S(X)désigne le groupe des permutations de
l’ensemble Xsur lui-même, par : gG, xX, φ(g)(x) = g.x
Définition et proposition :
On définit sur Xla relation Rpour tout xet yde Xpar :
xRy⇔ ∃gG/y =g.x
Rest une relation d’équivalence sur X.
Preuve :
xX e.x =xdonc xRx.
x, y X xRy⇔ ∃gG y =g.x ⇔ ∃gG g1.y =xyRx
x, y, z X xRyet yRz⇒ ∃gG y =g.x et g0G z =g0.y. Donc
z=g0.y =g0.(g.x) = (g0g).x et zRx.
Définition :
2
Les classes d’équivalence sont appelées orbites. Lorbite de xXest
donc : {g.x/g G}et se note Gx.
Une opération sur Xest dite transitive ssi il n’y a qu’une seule orbite c’est
à dire ssi
(x;y)X×X, gG, g.x =y
Une opération sur Xest dite simplement transitive ssi
(x;y)X×X, !gG/y =g.x
L’ensemble Gx={gG/g.x =x}est un sous groupe de Gappelé
stabilisateur (ou groupe d’isotropie) de x.
Une opération est dite fidèle ssi le morphisme φde Gdans S(X)est
injectif
ssi
(xX g.x =x)g=e
ssi
xX, Gx={e}
Proposition :
Si xet y, éléments de X, appartiennent à la même orbite, il existe en général
plusieurs gGtels que y=g.x. Plus précisément, on a :
xX, Gxest en bijection avec l’orbite de xsous l’action de G.
Preuve :
Soit ϕ:GG.x (où G.x désigne l’orbite de xsous G), l’application définie
par ϕ(g) = g.x, surjective par construction.
Soient g, g0G.ϕ(g) = ϕ(g0)g.x =g0.x g0−1gGx
Donc, par passage au quotient dans G
Gx,! ¯ϕ:G
GxG.x définie par
¯xG
Gx,¯ϕ(¯x) = ϕ(x).¯ϕest injective car ϕ(g) = ϕ(g0)g0−1gGx
En outre ¯ϕest surjective car ϕl’est donc ¯ϕest une bijection de G
Gxdans G.x.
Remarque :
Si Gest fini, |Gx|et |G.x|sont des diviseurs de |G|.
Théorème, "équation aux classes" :
3
Si Get Xsont finis alors on a :
|X|=|G|X
x∈I
1
|Gx|
Idésigne est l’ensemble obtenu en prenant un représentant dans chaque .
Preuve :
Les orbites forment une partition de Xdonc |X|=Px∈ I|G.x|. On conclut
grâce à la bijection de (G/Gx)dans G.x et au fait que |(G/Gx)|=|G|/|Gx|.
2 Exemples et applications
Définition :
Lopération canonique de S(X)sur Xest l’opération :
S(X)×XX, (σ, x)7→ σ(x)
Proposition :
Cette opération est transitive,fidèle mais non simplement transitive; l’homor-
phisme φcorrespondant est φ=IdS(X).
Preuve :
Pour montrer la transitivité, prenons xet ydans X, et soit la transposition τqui
échange xet y. On a τ(x) = y. Il n’y a en général pas unicité ce qui explique que
l’action n’est pas simplement transitive.
Il est clair que φ:S(X)→ S(X), σ 7→ φ(σ) = σtel que
xX, φ(σ)(x) = σ(x)est φ=IdS(X)et est injectif c’est à dire que
l’opération est fidèle.
Définition :
Un groupe peut agir sur lui-même par translation à gauche :(g;x)7→ gx
(action simplement transitive et fidèle). L’homomorphisme φcorrespondant
est ici : φ:G→ S(G), g 7→ (x7→ gx).
Proposition :
4
Cette action est simplement transitive,fidèle et l’homorphisme de groupes φ
est injectif.
Preuve :
x, y G, !gG y =g.x (g=yx1)donc l’opération est simplement
transitive.
xG g Gxgx =xg=edonc l’opération est fidèle.
φ(g) = φ(g0)⇒ ∀xGgx =g0xg=g0donc φest injectif.
Conséquence, Théorème de Cayley :
Tout groupe fini de cardinal nse plonge dans Sn.
Preuve :
Si Gest un groupe fini de cardinal n, l’homorphisme φinjectif défini ci-dessus
induit un isomorphisme de Gsur son image φ(G)qui est un sous groupe de
S(G)lui-même en bijection avec Sn.
Proposition :
Si Hest un sous groupe de G,Gagit sur l’ensemble (G/H)gdes classes à
gauche suivant Hpar : (g;aH)7→ gaH (idem pour les classes à droite).
Preuve :
g, g0G, aH (G/H)g,(gg0)aH =g(g0aH)et eaH =aH edésigne
l’élément neutre de G
Définition :
Un groupe peut également agir sur lui-même par automorphismes intérieurs :
G×GG, (g;a)7→ gag1
Lorbite de aGs’appelle classe de conjugaison :G.a ={gag1/g G};
deux éléments appartenant à une même orbite sont dits conjugués.
Le stabilisateur de as’appelle centralisateur de a.
5
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 !