Licence 3 Alg`ebre Université Paris Diderot 2015-2016 - IMJ-PRG

Licence 3 Alg`ebre Universit´e Paris Diderot
2015-2016
Feuille de TD4–Actions de groupes
Exercice 1.– Soit Gun groupe op´erant sur un ensemble X. On notera g·xl’action de gG
sur xX,Gx={gG|g·x=x}le stabilisateur de xX,O(x) = {g·x, g G}l’orbite de
xsous l’action de Get XG={xX|g·x=x, gG}l’ensemble des points fixes de Xsous
l’action de G.
1. Montrer que Gxest un sous-groupe de G. Montrer qu’on a une bijection entre l’orbite de
xet le quotient G/Gx.
2. En d´eduire que si Xest fini |X|=Px∈R[G:Gx] o`u Rest un syst`eme de repr´esentants
de la partition de Xform´ee de ses orbites, et |X|d´esigne le cardinal de X.
3. En d´eduire que, pour Xfini, on a
|X|=|XG|+X
x∈R,Gx6=G
[G:Gx].
Comment se traduit cette ´equation aux classes lorsque G, groupe fini, op`ere par conjugai-
son sur lui-mˆeme ?
4. Soit Gun p-groupe, c’est-`a-dire un groupe d’ordre une puissance d’un nombre premier p.
Monter que |XG|est congru `a |X|modulo p. En d´eduire que, si G6={e}, le centre de G
n’est pas r´eduit `a e.
Exercice 2.–Soit Gun groupe fini op´erant sur un ensemble fini X. Posons E={(g, x)
G×X/g.x =x}. Pour gG, notons Xgle fixateur de gdans X. Pour xX, notons Gx
le stabilisateur de xdans G. Montrer que |E|=PgG|Xg|. Montrer que |E|=PxX|Gx|.
En d´eduire la formule de Burnside :|G\X|=1
|G|PgG|Xg|. (En d’autres termes, le nombre
d’orbites est ´egal au nombre moyen de points fixes.)
Exercice 3. Soit Gun groupe op´erant sur un ensemble X. Notons S(X) le groupe des
bijections XX. Montrer que pour tout gGl’application tg:x7→ g.x est une bijection
de X. En d´eduire que l’application G7→ S(X) qui `a gassocie tgest un morphisme de groupes.
Montrer qu’il est injectif si et seulement l’action de Gsur Xest fid`ele. Lorsque Xet Gsont
finis, et que l’action est fid`ele, montrer que |G|divise |X|!. eciproquement montrer que si on
a un morphisme d’un groupe Gvers S(X), cela d´efinit une action de groupe.
Exercice 4.–Le groupe G=GLn(R) op`ere sur l’espace vectoriel Rnpar multiplication `a gauche.
1. D´ecrire la d´ecomposition de Rnen orbites pour cette op´eration.
2. Quel est le stabilisateur du vecteur (1,0,· · · ,0) ?
3. Dans le cas n= 2 on consid`ere le sous-groupe Hdes rotations dans R2. Donner la
d´ecomposition de R2en orbites sous l’action de H. Faire un dessin.
1
Exercice 5.– Soit Gle sous-groupe du groupe des bijections de Cdans Cengendr´e par la
multiplication par i. Ce groupe agit sur l’ensemble C. Donner la d´ecomposition de Cen orbites
sous l’action de Get calculer le stabilisateur de chaque ´el´ement. Faire un dessin.
Exercice 6.–Un groupe Gde 35 ´el´ements agit sur un ensemble Xde 23 ´el´ements. Montrer
qu’il existe un ´el´ement de Xqui est un point fixe de G.
Exercice 7.– Soient Gun groupe fini, ple plus petit facteur premier de l’ordre de G, et Hun
sous-groupe de Gd’indice p. On se propose de montrer que Hest distingu´e dans G.
1. Montrer-le dans le cas p= 2
2. En faisant op´erer Gpar translation sur les classes `a gauche modulo H, efinir un mor-
phisme non constant f:GSpde Gdans le groupe Spdes permutations sur un ensemble
`a p´el´ements.
3. Montrer que ker f=\
xG
xHx1.En d´eduire que ker fest un sous-groupe de Hpuis que
H= ker f. Conclure.
Exercice 8. Soit Gun sous-groupe du groupe SO3(R) des isom´etries vectorielles de d´eterminant
1 de R3. Le groupe SO3(R) est compos´e de rotations de R3(et de l’identit´e). Supposons que
Gn’admette pas de point fixe autre que 0 (autrement dit, pour tout xR3,x6= 0, il existe
gSO3(R) tel que g.x 6=x).
1. Soient deux rotations non triviales de SO3(R) qui commutent. Montrer qu’elles ont mˆeme
axe.
2. En d´eduire que Gne peut pas ˆetre commutatif.
3. Cette conclusion est-elle encore valable si on remplace Gpar un sous-groupe du groupe
O3(R) des isom´etries vectorielles de R3?
2
1 / 2 100%

Licence 3 Alg`ebre Université Paris Diderot 2015-2016 - IMJ-PRG

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 !