Master Math´ematiques 1`ere ann´ee
COMPL´
EMENT DE TH´
EORIE DES GROUPES
Nicolas JACON
Universit´e de Reims
Table des mati`eres
1 Actions de groupes 3
1.1 Rappel sur les quotients . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Actionsdegroupes.......................... 6
1.3 Premi`eres cons´equences . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Equations aux classes . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Quelques applications directes . . . . . . . . . . . . . . . . . . . . 11
1.6 Une application de la formule de Burnside . . . . . . . . . . . . . 12
2 Th´eor`emes de Sylow 14
2.1 Enonc´e des th´eor`emes . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 D´emonstration des th´eor`emes . . . . . . . . . . . . . . . . . . . . 15
2.3 Applications et exemples . . . . . . . . . . . . . . . . . . . . . . . 17
3 Structure des groupes ab´eliens de type fini 19
3.1 Sommes directes et base . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Groupes ab´eliens libres de type fini . . . . . . . . . . . . . . . . . 21
3.3 Th´eor`emes de structures . . . . . . . . . . . . . . . . . . . . . . . 26
4 Classification des groupes de petites cardinaux 30
4.1 Groupedi´edral ............................ 30
4.2 Rappel et techniques de classification . . . . . . . . . . . . . . . . 31
4.3 Classification des groupes d’ordres 1 `a 11. . . . . . . . . . . . . . 33
2
Chapitre 1
Actions de groupes
1.1 Rappel sur les quotients
Dans cette premi`ere partie, nous rappelons la construction du quotient.
Soient Gun groupe de structure multiplicative et d’´el´ement neutre eG. Soit
Hun sous-groupe de G. On d´efinit les deux relations ci-dessous :
xR1ysi et seulement si xy1H,
xR2ysi et seulement si y1xH.
Alors, on v´erifie facilement que R1et R2sont des relations d’´equivalences.
La relation R1est appel´ee congruence `a droite modulo H. L’ensemble des
classes d’´equivalence est not´e H\G. La classe de congruence `a droite d’un
´el´ement xGest ´egal `a Hx.
La relation R2est appel´ee congruence `a gauche modulo H. L’ensemble
des classes d’´equivalence est not´e G/H. La classe de congruence `a gauche
d’un ´el´ement xGest ´egal `a xH.
Le cardinal de l’ensemble G/H est appel´ee l’indice de Hdans Get il est not´e
[G:H].
Ces remarques nous permettent de d´emontrer le r´esultat important suivant.
Th´eor`eme 1.1.1 (Th´eor`eme de Lagrange) Soit Gun groupe fini et Hun
sous-groupe de G. Alors on a :
o(G) = [G:H]o(H).
En particulier, l’ordre de Hdivise l’ordre de G.
Preuve. Le cardinal d’une classe d’´equivalence de G/H est ´egale au cardinal de
xH c’est `a dire `a l’ordre de H. Les classes d’´equivalence r´ealisent une partition de
Gc’est `a dire que tout ´el´ement de Gest dans une et une seule classe d’´equivalence
(c’est une propri´et´e g´en´erale des classes d’´equivalence). On a donc [G:H] classes
d’´equivalence, chacune de cardinal o(H). Il en r´esulte que le cardinal de Gest
´egal `a [G:H]o(H) d’o`u le r´esultat.
Ceci implique en particulier que si xGalors o(x) divise o(G) et on a
xo(G)=eG.
3
1.1. Rappel sur les quotients
Avant d’´etudier plus pr´ecisement les structures de ces classes de congruence
attach´ees `a un sous-groupe, nous nous int´eressons `a certains sous-groupes par-
ticuliers.
efinition 1.1.2 Soit Gun groupe, un sous-groupe Hest dit normal (ou dis-
tingu´e) si et seulement si :
xG, xHx1=H.
On note alors HG. La caract´ırisation ci-dessus ´equivaut `a dire que
xG, xHx1H.
L’exemple typique de sous-groupe normal est le centre d’un groupe. Un moyen
simple de trouver des sous-groupes normaux est d’utiliser des morphismes de
groupes. En effet, un sous-groupe est normal si et seulement si c’est le noyau
d’un morphisme de groupes.
Exemple 1.1.3 Soit GLn(C) le groupes des matrices `a nlignes et ncolonnes
`a coefficients dans C. Soit SLn(C) := {MGLn(C)|det(M)=1}. On
aSLn(C) = Ker(det) (on rappelle que le d´eterminant est un morphisme de
GLn(C) dans C). Il suit que SLn(C) est un sous-groupe normal de GLn(C)
appel´ee le groupe sp´ecial lin´eaire.
Remarque 1.1.4 La d´
finition de groupes normaux fournit un nouveau crit`ere
pour d´eterminer si un groupe est produit direct de ses sous-groupes. Soit Gun
groupe et soient H1et H2deux sous-groupes de G. Alors G=H1×H2si et
seulement si
1. H1Get H2G.
2. H1H2={eG}.
3. G=H1H2.
A un groupe Get un sous-groupe H, on a associ´e un certain ensemble G/H,
ensemble des classes de congruence `a gauche modulo H. On se pose maintenant
la question suivante : est-il possible de mettre une structure de groupe sur cet
ensemble qui serait “compatible” avec la structure de groupe sur G? le th´eor`eme
suivant r´epond par l’affirmative `a ce probl`eme lorsque HG. Das ce cas, les
classes de congruence `a droite o`u `a gauche sont les mˆemes puisque xH =Hx
pour tout xG. On parlera donc seulement ici de classe de congruence et on
note G/H l’ensemble de ses classes.
Th´eor`eme 1.1.5 Soit Gun groupe et soit HG. Soit π:GG/H la
surjection canonique qui associe `a un ´el´ement de Gsa classe de congruence
modulo H. Alors, il existe sur G/H une unique structure de groupe tel que
πsoit un morphisme de groupe. Le groupe ainsi obtenu est appel´e le groupe
quotient G/H.
Preuve. Soit xG. La surjection canonique πest d´efinie par π(x) = xH.
Supposons qu’on ait une loi interne “ ” sur G/H induisant une structure de
4
1.1. Rappel sur les quotients
groupe sur cet ensemble et tel que πsoit un homomorphisme de groupes. Alors,
pour (x, y)G2, on a :
π(x.y) = (x.y)H=xH yH =π(x)π(y).
La seule structure de groupe possible sur G/H tel que πsoit un homomorphisme
est donc celle d´efinie par la formule xH yH := (xy)H. V´erifions maintenant
que cette loi conf`ere bien une structure de groupe `a G/H.
Il faut tout d’abord v´erifier que cette loi est bien d´efinie, c’est `a dire qu’elle
ne d´epend pas des choix de xet de ydans les classes de congruences. Soit donc
xGet yGtels que xH =xHet yH =yH. On veut montrer qu’alors
(xy)H= (xy)Hc’est `a dire que y1x1xyH=H. On a :
y1x1xy=y1yy1x1xy.
On a x1xHcar xH =xHdonc, comme Hest normal, on obtient
y1x1xyH. De plus, comme y1yH, on obtient y1x1xyH.
On en d´eduit donc y1x1xyH=H. Donc la loi xH yH := (x.y)Hefinit
une loi interne sur G/H. Elle est associative car la loi interne de Gl’est. On
a un ´el´ement neutre qui est eGHet chaque classe xH poss`ede un inverse qui
est x1H. On a donc bien une structure de groupe sur G/H tel que πest un
homomorphisme.
Ainsi, il est possible de mettre une structure de groupe sur le quotient G/H
lorsque Hest un sous-groupe normal de G. R´eciproquement, on peut montrer
que si une telle structure de groupe existe sur G/H alors Hest normal.
De la d´emonstration, on retient en particulier que la loi interne d´efinie sur
le groupe quotient est donn´ee par xH yH := (xy)Hpour xH G/H et
yH G/H. Par abus de notation, on notera cette loi interne de la mˆeme
mani`ere que la loi du groupe Gc’est `a dire “.” en g´en´eral et parfois “+” lorsque
le groupe est commutatif. Un ´el´ement de la classe de congruence sera parfois
not´e xpour xGau lieu de xH. Si deux ´el´ements xet yde Gsont dans la
mˆeme classe de congruence modulo H, c’est `a dire si x=y(ce qui ´equivaut `a
x1yH), on note xy(mod H) et on dit que xest congru `a ymodulo H.
En r´esum´e, le groupe quotient G/H est compos´e des classes de congruence
x(xG) avec, pour (x, y)G2,x=ysi et seulement si xy(mod H) ou
encore xy1H. La loi interne est donn´ee par :
x.y =x.y
Il faudra bien avoir en tˆete que pour d´efinir une application fde G/H dans
un ensemble S, il faudra associer `a chaque ´el´ement de G/H (et non de G) un
´el´ement de S. Ainsi, si xy(mod H) c’est `a dire si xH =yH on devra avoir
f(y) = f(x) sinon fn’est pas bien d´efinie.
Th´eor`eme 1.1.6 (Th´eor`eme de factorisation pour les groupes) Soient G
et Gdeux groupes et f:GGun morphisme de groupes. Soit HGun
sous-groupe normal de Gtel que HKer(f). Alors il existe un unique mor-
phisme de groupes f:G/H Gtel que fπ=fo`u π:GG/H est la
surjection canonique.
5
1 / 34 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 !