Académique Documents
Professionnel Documents
Culture Documents
Structures algbriques
Didier Piau et Bernard Ycart
Lexprience indique que ltude abstraite des structures algbriques peut se rvler
fascinante ou puisante selon la personnalit de chacun. Un inconvnient, peut-tre
invitable, de cette tude est quil est difficile de mettre immdiatement en relief lutilit
des rsultats dmontrs ; il faut passer un certain temps dans la thorie, puis de nouveau
un certain temps dans des chapitres plus concrets o les rsultats accumuls seront
recycls.
Tentons cependant de rassurer le lecteur grce la constatation suivante ( moins
que cette constatation ne leffraie encore plus) : une bonne part des rsultats noncs sur
les groupes finis (concept dordre, thorme de Lagrange, etc.) aura loccasion dtre
mise en application ds le chapitre darithmtique. En effet, une premire utilit de
la thorie des groupes est de formaliser et systmatiser les calculs usuels quon sait
pratiquer sur les ensembles de nombres.
Lautre point de vue sur lequel on peut insister est celui des groupes forms de
bijections, mais malheureusement on aura peu loccasion de les voir vraiment appliqus
dans la suite de ce cours de premire anne. En revanche, on peut affirmer que des
connaissances sur les groupes de permutations (groupes de bijections des ensembles
finis) sont bien utiles de ci de l, en informatique par exemple. Et de toutes faons
linvestissement sera rentabilis ds que le lecteur apprendra plus de gomtrie, ce qui
reste un cadre idal dusage des groupes de transformations.
2 Entranement 27
2.1 Vrai ou faux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3 QCM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
8 novembre 2011
Maths en Ligne Structures algbriques UJF Grenoble
2.4 Devoir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.5 Corrig du devoir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3 Complments 46
3.1 Le programme dErlangen . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2 Hamilton et les quaternions . . . . . . . . . . . . . . . . . . . . . . . . 48
3.3 Les idaux dEmmy Noether . . . . . . . . . . . . . . . . . . . . . . . . 50
1
Maths en Ligne Structures algbriques UJF Grenoble
1 Cours
1.1 Relations
Vous avez dj rencontr cette notion dans votre cursus ; rappelons quintuitive-
ment, une relation sur un ensemble E est la description de liens entre certains lments
de E. Donnons des exemples avant mme la dfinition.
Exemple 1. 1) La relation est infrieur ou gal sur lensemble R des rels : pour
deux rels x et y, on peut avoir x 6 y ou non.
2) La relation est inclus dans sur lensemble des parties dun ensemble : pour deux
parties A et B, on peut avoir A B ou B A ou aucun des deux.
3) La relation a le mme cardinal que sur lensemble des parties dun ensemble fini.
4) Plus exotique : la relation concide en au moins un point avec pour des fonctions
dfinies sur un mme ensemble.
Dfinition 1. Le graphe dune relation R sur un ensemble E est lensemble des couples
(a, b) de E E tels que aRb.
Sermon
Attention bien lire cette dfinition, qui, comme toutes ses consurs de la suite de
ce cours, peut tre mal retenue par de jeunes mes peu scrupuleuses mathmatique-
ment parlant. Il est facile de retenir que le graphe de R a un rapport avec aRb. Mais
soulignons que le graphe est un ensemble.
Profitons en pour signaler ds labord que les divers objets qui sont dfinis dans
ce cours entrent dans un petit nombre de catgories : souvent des ensembles, assez
souvent des applications, souvent des n-uplets (qui ne sont rien dautres que des ap-
plications particulires, sauriez-vous prciser pourquoi ?), souvent aussi des nombres
(entiers, rels ou autres), plus rarement des relations, etc. Il nest pas difficile de savoir
dans quelle catgorie ranger les graphes : ce ne sont manifestement pas des triplets, ni
des nombres complexes ! Le plus important est de ne pas oublier de les ranger quelque
part. Savoir quelle catgorie appartient un objet permet dviter les bourdes les plus
monumentales : ainsi, le symbole aura un sens entre deux ensembles, pas entre deux
rels, et rciproquement pour le symbole +. On profitera du fait que la premire phrase
de cette section contient les mots lment et ensemble pour vrifier quon ne
confond pas les deux.
Ctait la fin de notre sermon daujourdhui.
Voici maintenant quatre dfinitions rbarbatives, mais incontournables.
2
Maths en Ligne Structures algbriques UJF Grenoble
Quelques commentaires sur la dernire condition, qui est sans doute la plus difficile
bien mmoriser des quatre : cest, comme son nom lindique, en gros le contraire de
la proprit de symtrie. La symtrie exige que quand deux lments sont lis dans un
sens, ils le sont aussi dans lautre. Lanti-symtrie, cest approximativement demander
que si deux lments sont lis dans un sens, ils ne le sont pas dans lautre. Mais cette
condition empcherait un lment dtre li lui-mme, ce qui ne serait pas dsesprant
en soi mais ne serait pas conforme lusage. De fait, lusage sest fait de compliquer la
dfinition afin de garder la permission pour un lment dtre li lui-mme.
On comprendra peut-tre un peu mieux la dfinition en crivant la contrapose de
limplication quelle contient.
Autre formulation de la dfinition de lanti-symtrie Une relation R sur un
ensemble E est anti-symtrique lorsque pour tous lments a et b distincts de E, on ne
peut avoir simultanment aRb et bRa.
Comme nous sommes encore dbutants, faisons leffort dexpliciter une autre faon
de prsenter la mme notion.
Autre formulation de la dfinition de lanti-symtrie Une relation R sur un
ensemble E est anti-symtrique lorsque pour tous lments a et b distincts de E, aRb
est faux ou bRa est faux.
Bien videmment, ce genre de liste de formulations quivalentes nest surtout pas
savoir par cur . Ce qui est par contre indispensable, cest de se familariser avec
les petites manipulations qui permettent de passer de lune lautre, selon les besoins.
En pratique, les relations qui pourront nous intresser dans ce cours ne seront
jamais bien compliques ; le vocabulaire que nous avons d ingurgiter depuis le dbut
de ce chapitre na dutilit que pour savoir reconnatre deux types trs particuliers de
relations : les relations dordre, auxquelles cette section est consacre, puis, dans la
section prochaine, les relations dquivalence.
Dfinition 3. Une relation est une relation dordre lorsquelle est simultanment r-
flexive, transitive et anti-symtrique.
Exemple 2. La relation 6 sur E = R est une relation dordre. Pour tout ensemble
A fix, la relation sur E = P(A) est une relation dordre. La seconde est sans
3
Maths en Ligne Structures algbriques UJF Grenoble
2
3
6
1
5 4
doute plus complique matriser que la premire dans la mesure o deux parties de A
ne sont pas forcment comparables lune lautre.
Le morceau est plus srieux pour les relations dquivalence que pour les relations
dordre, car on ne va pas se contenter de donner une dfinition, mais on va aussi voir le
lien avec un autre concept. Pour expliquer intuitivement ce qui va suivre, une relation
dquivalence est une relation qui peut raisonnablement sappeler est de la mme
catgorie que et une partition est une rpartition en catgories.
Dfinition 4. Une relation est une relation dquivalence lorsquelle est simultanment
rflexive, symtrique et transitive.
Exemple 3. Lgalit sur nimporte quel ensemble E fix. La relation a mme parit
que sur lensemble N des entiers naturels. La relation est confondue avec ou parallle
sur lensemble des droites dun plan affine.
Avalons encore trois dfinitions de plus en plus indigestes mais ce nest pas gratuit,
les concepts serviront plus loin, notamment en arithmtique.
{x E | aRx}.
Avec des mots, la classe dquivalence de a est lensemble form des lments de la
mme catgorie que a.
4
Maths en Ligne Structures algbriques UJF Grenoble
On abrge souvent clR (a) en cl(a). Une autre notation pour la classe dquivalence
de a est a mais nous lutiliserons rarement dans ce cours. Par contre, nous dsignerons
souvent les relations dquivalence par le signe .
Sans commentaires, car il y en aura plus loin, un objet plus trange :
Dfinition 6. Soit une relation dquivalence sur un ensemble E. On appelle
ensemble-quotient de E par la relation lensemble :
{ cl(a) | a E }.
Attention tout de mme ! Comme cl(a) est une partie (et non un lment) de E,
lensemble-quotient est un ensemble de parties de E. Ce nest pas une partie de E mais
une partie de P(E). Ce nest pas si compliqu, mais il ne faut pas sy perdre.
Notation 2. Lensemble-quotient de E par est not E/ .
On remarquera quen gnral, chaque lment c de lensemble quotient E/ peut
scrire comme c = cl(a) pour de nombreux lments a diffrents de E : trs prcisment,
c scrit c = cl(a) pour un lment a de E tel que a c, et aussi c = cl(b) pour tous
les lments b de E tels que a b.
Dfinition 7. Une partition dun ensemble E est un ensemble Q de parties de E
vrifiant les trois proprits suivantes :
(i) Lensemble vide nest pas un lment de Q.
(ii) Deux lments distincts de Q sont disjoints.
(iii) Tout lment de E appartient un lment de Q.
Cest dur avaler parce quon rentre invitablement dans le monde des ensembles
dont les lments sont eux-mmes des ensembles. Les lments de Q sont des parties
de E et doivent donc tre penss comme des groupes dlments de E vrifiant une
condition commune. Et Q P(E) : une partition de E est une partie de lensemble
des parties de E (ouf !).
Exemple 4. En notant I N lensemble des entiers impairs et P N lensemble des
entiers pairs, {I, P } est une partition de N.
Tentons maintenant de commenter les conditions de la dfinition 7. La condition
(i) est sans grand intrt et juste l pour que les noncs marchent bien. La condition
(ii) nous assure quon na inscrit aucun lment de E dans deux catgories la fois.
La condition (iii) signifie quon na oubli dinscrire personne : tout lment de E est
dans un groupe.
On remarquera quon peut regrouper les deux conditions significatives, ce qui donne
lnonc suivant.
Autre formulation de la dfinition dune partition Une partition dun ensemble
E est un ensemble Q de parties de E vrifiant les deux proprits (i) et (iv) ci-dessous :
5
Maths en Ligne Structures algbriques UJF Grenoble
Complment Toute partition de A peut sobtenir ainsi comme quotient par une rela-
tion dquivalence de E et cette relation dquivalence est unique.
La preuve du complment est laisse au lecteur.
Dmonstration : Vrifions successivement les trois proprits dfinissant une partition.
Vrification de (i) : Soit A un lment de E/ . Par dfinition de E/ , il existe un
lment a de E tel que A = cl(a). Comme est rflexive, a a, donc a appartient
cl(a) = A. Ainsi A nest pas rduit lensemble vide.
Vrification de (ii) : Soient A et B deux lments de E/ . On peut trouver des
lments a et b de E tels que A = cl(a) et B = cl(b). On doit montrer que si A et B
sont distincts, ils sont alors disjoints, et on va procder par contraposition, cest--dire
en montrant que si A et B ne sont pas disjoints, ils sont gaux.
Supposons donc A et B non disjoints. Lobjectif est de prouver que A = B, on va
montrer successivement les inclusions A B et B A.
Par lhypothse quon vient de faire, on peut prendre un lment c de E qui appar-
tient simultanment A et B.
6
Maths en Ligne Structures algbriques UJF Grenoble
7
Maths en Ligne Structures algbriques UJF Grenoble
3. On dit quun lment e de E est lment neutre pour lorsque pour tout lment
a de E,
a e = e a = a.
Dfinition 10. Soit une loi de composition sur un ensemble E admettant un lment
neutre not e et soit a un lment de E. On dit quun lment b de E est symtrique
(ou inverse) de a lorsque
a b = b a = e.
Maintenant que nous savons manipuler une loi de composition sur un seul ensemble,
apprenons voluer dun ensemble muni dune loi de composition vers un autre.
f (a b) = f (a) f (b).
8
Maths en Ligne Structures algbriques UJF Grenoble
et enfin que est tout simplement lidentit de E, que lon note dsormais e.
Pour abrger les calculs qui suivent, introduisons une notation.
Notation 4. Pour tout lment a dun ensemble E muni dune loi de composition
et pour tout entier n > 1, notons an la composition de a avec lui-mme n fois. Ainsi,
a1 = a puis, pour tout n > 1, an+1 = an a. Si la loi de composition est munie
dun neutre e, on notera aussi a0 = e. Enfin, on abrge souvent an en an .
En utilisant cette notation, on peut trs facilement calculer tous les produits deux
deux des bijections introduites ici ; par exemple % = 3 2 = 5 = 4 = e = .
On considre alors lensemble S = {e, , , %} et on voit que est une loi de compo-
sition sur ce sous-ensemble de E E , qui sera agrablement dcrite par le tableau suivant,
que lon appelle une table de composition.
e %
e e %
% e
% e
% % e
9
Maths en Ligne Structures algbriques UJF Grenoble
que la multiplication des nombres complexes dfinit une loi de composition sur F , dont
la table est donne ci-dessous.
1 i 1 i
1 1 i 1 i
i i 1 i 1
1 1 i 1 i
i i 1 i 1
Visuellement, on retrouve la mme table, seuls les noms des lments ont chang.
Cest signe quil y a un isomorphisme camoufl. On le dtectera facilement ; cest bien
sr lapplication g de E vers F dfinie par :
Exemple 6. Soit R lensemble des rotations de centre (0, 0) dans le plan, et soit U
le cercle-unit de C, cest--dire lensemble des nombres complexes de module 1. Les
lois de composition respectivement envisages sur R et sur U sont la composition des
applications et la multiplication. On dfinit une application f : R U en envoyant la
rotation dangle sur le nombre ei .
Il faut tout dabord se soucier de vrifier que cette dfinition nest pas ambigu, car
elle nest pas loin de ltre ! Une rotation peut en effet tre caractrise par plusieurs
angles (tourner dun quart de tour dans le sens trigonomtrique, cest aussi tourner de
trois quarts de tour dans le sens des aiguilles dune montre), mais deux angles distincts
1 et 2 correspondant la mme bijection diffrent dun multiple entier de 2 ; il existe
donc un entier k Z tel que 2 = 1 + 2k. Les valeurs ei1 et
Montrer que f est bijective nest pas difficile ; on en conclut que f est un isomorphisme,
en dautres termes que ltude des nombres complexes de module 1 nous instruira sur
le fonctionnement des rotations.
Exemple 7. Voici enfin un morphisme qui nest pas un isomorphisme et qui est pour-
tant une simple variante du prcdent. Considrons lapplication F de R (muni de
10
Maths en Ligne Structures algbriques UJF Grenoble
1.3 Groupes
Dfinition 13. Soit G un ensemble muni dune loi de composition . On dit que G
est un groupe lorsque les trois conditions suivantes sont ralises :
(i) La loi de composition est associative.
(ii) La loi de composition possde un lment neutre.
(iii) Tout lment de G possde un symtrique pour .
Dfinition 14. Un groupe G est dit ablien (ou commutatif) lorsque sa loi de compo-
sition est commutative.
Avant de donner des exemples, quelques remarques dordre purement calculatoire
sur les groupes. Comme promis plus haut, on utilise dsormais la notation multiplica-
tive, donc ab dsigne le compos des lments a et b dun groupe G.
Proposition 4. Soit G un groupe. Alors pour tous lments a, b et x de G :
1) Si ax = bx, alors a = b.
2) Si xa = xb, alors a = b.
3) Le symtrique de ab est b1 a1 .
et
(b1 a1 )(ab) = b1 (a1 a)b = b1 b = e,
ce qui conclut la dmonstration.
Remarque Au fait, pourquoi faut-il effectuer les deux calculs lmentaires ci-dessus ?
Un seul ne suffirait-il pas ? La rponse est non ; on rappelle que y est le symtrique de
x si xy et aussi yx valent e.
Maintenant que lon sait calculer dans les groupes, il est temps de donner les
exemples les plus lmentaires : regardons les lois de composition que nous connaissons
le mieux, elles concernent les ensembles de nombres usuels.
11
Maths en Ligne Structures algbriques UJF Grenoble
Additions : elles sont associatives, ont un lment neutre not 0. Dans N, le sym-
trique peut faire dfaut ; ainsi 2 na pas doppos. Dans Z (puis dans les ensembles
usuels bien connus), loppos existe. Ainsi Z est un groupe pour laddition.
Multiplication : 0 na jamais dinverse, donc les ensembles de nombres bien connus
ne sont jamais des groupes pour la multiplication. En revanche, si on considre le
sous-ensemble form des lments non nuls, la multiplication y est bien dfinie, elle est
associative et elle possde un lment neutre not 1. Le point problme est lexistence
du symtrique (de linverse en notation multiplicative). Dans Z , il fait dfaut la plu-
part des lments, ainsi 2 na pas dinverse ; Z nest donc pas un groupe. En revanche,
dans Q (lensemble des fractions non nulles) ou R ou C , lexistence de linverse ne
pose pas de problme. Tous ces ensembles sont donc des groupes multiplicatifs.
Encore quelques proprits de bon sens, mais quil ne cote rien dnoncer. Elles
paraissent videntes si on comprend quun morphisme est moralement une application
qui transporte la structure ; si elle transporte la loi de composition, elle doit aussi
transporter ses caractristiques, telles que llment neutre et le symtrique.
Proposition 5. Soit f un morphisme dun groupe G, dlment neutre e, vers un
groupe G0 , dlment neutre e0 .
Alors f (e) = e0 et, pour tout lment a de G, [f (a)]1 = f (a1 ).
Zn = {0, 1, . . . , n 1},
Dmonstration : Le seul point notable est que linverse de 0 vaut 0 et celui dun lment
i 6= 0 vaut n i.
12
Maths en Ligne Structures algbriques UJF Grenoble
On verra plus tard une prsentation plus intrinsque des groupes Zn comme quo-
tients du groupe Z muni de laddition. Profitons tout de mme du moment pour intro-
duire une dfinition.
Dfinition 16. Soit G un groupe de loi de composition et de neutre e et soit a un
lment de G. Lordre de a est le plus petit entier k > 1, sil existe, tel que ak = e.
Sinon on dit que lordre de a est infini.
Bien sr, lordre du neutre vaut toujours 1 et lordre de tout lment dun groupe
fini de cardinal fini n est fini et infrieur ou gal n. Nous verrons bientt que cest
forcment un diviseur de n.
Outre les groupes Zn , les groupes les plus directement utilisables sont sans doute
ceux qui interviennent en gomtrie. Ce sont des groupes de transformations res-
pectant telle ou telle proprit ; ainsi les isomtries, qui conservent les distances,
ou les similitudes, qui conservent les angles. Et ils constituent notre deuxime classe
dexemples.
Tous ces groupes ont le point commun davoir pour loi de composition , la com-
position des applications, et dtre forms de bijections.
Fondamentale (quoique trs facile) sera donc laffirmation suivante.
Proposition 7. Soit E un ensemble. Lensemble des bijections de E dans lui-mme
forme un groupe pour la composition.
Dmonstration : Tout est trs simple. On vrifie que, pour toute bijection f de E, la
bijection rciproque est un symtrique de f ; que la compose de deux bijections est
une bijection, par exemple parce que g 1 f 1 se rvle un inverse de f g ; que la
composition est associative ; et enfin que idE est son neutre. On a dj fini !
Notation 5. Soit E un ensemble. Lensemble des bijections de E dans lui-mme est
not S(E).
On utilise souvent (au moins en mathmatiques, en informatique et en analyse du
gnome) le cas particulier du groupe des bijections dun ensemble fini. Larchtype dun
tel ensemble fini tant {1, . . . , n}, cela justifie dintroduire une toute spciale notation.
Notation 6. Pour tout entier n > 1, on note Nn = {1, 2, . . . , n}. Lensemble des
bijections de Nn sappelle le groupe des permutations sur n lments. On le note Sn .
Tentons de dcouvrir comment fonctionne le groupe des permutations Sn pour n
pas trop gros ; il vaut mme mieux prendre n franchement petit, car Sn possdant n!
lments, on serait vite dbord.
Pour n = 1, le groupe na quun lment ; sa table est vite trace.
e
e e
13
Maths en Ligne Structures algbriques UJF Grenoble
Pour n = 2, il y a deux bijections de {1, 2} : celle qui change les deux lments,
quon notera , et lidentit.
La table du groupe est donc la suivante.
e
e e
e
partir de n = 3, les calculs complets seraient nettement plus fastidieux. On va
en profiter pour introduire des notations et numrer les ensembles Sn .
Dfinition 17. Une orbite dune permutation s lment de Sn est une partie
Dfinition 18. Un cycle s est un lment de Sn qui possde exactement une orbite de
longueur diffrente de 1.
Pour tout cycle s de longueur k > 2, il existe donc une partie S Nn de cardinal
k telle que s(i) = i pour tout lment i de Nn \ S. De plus, on peut numroter les
lments de S comme suit :
s = (i1 i2 . . . ik ).
14
Maths en Ligne Structures algbriques UJF Grenoble
Fin de lavertissement.
Il est prsent facile dnumrer les lments de S3 : outre lidentit, que lon va
noter e, il y en a trois dapparence identique : lun, que je noterai t, change 1 et 2
en laissant 3 fixe ; un autre, que je me garderai astucieusement de noter, change 2
et 3 en laissant 1 fixe ; le dernier change 3 et 1 en laissant 2 fixe. Enfin deux autres
jouent aussi des rles voisins : lun, que je noterai a, fait tourner les trois lments
de {1, 2, 3} en envoyant 1 sur 2, 2 sur 3, et 3 sur 1 ; lautre, dont je remarquerai que
cest le carr de a, les fait tourner dans lautre sens. Ainsi,
! ! !
1 2 3 1 2 3 2 1 2 3
t = (12) = , a = (123) = , a = (132) = .
2 1 3 2 3 1 3 1 2
e a a2 t
e e a a2 t
a a a2 e
a2 a2 e a
t t e
e
e
Cest le bon moment pour glisser une remarque importante : dans la table de com-
position dun groupe on trouve chaque lment du groupe une fois et une seule dans
15
Maths en Ligne Structures algbriques UJF Grenoble
chaque ligne, et dans chaque colonne. Sauriez-vous le dmontrer ? Sinon, cher lecteur,
nous vous conseillons darrter votre lecture et de chercher une dmonstration.
Le produit at ne peut tre prsent deux fois dans la colonne a, ni deux fois dans
la ligne t. Il est donc distinct des lments qui y figurent dj, cest--dire de e, de a,
de a2 et de t. Cest donc un cinquime lment, quon peut alors faire figurer dans la
cinquime ligne et la cinquime colonne du tableau. On calcule au passage sans mal
(a2 )(at) = (a3 )t = et = t, et (at)t = a(t2 ) = ae = a.
e a a2 t at
e e a a2 t at
a a a2 e at
a2 a2 e a t
t t e
at at a e
e
Puis son tour, a2 t ne peut dj figurer dans la ligne a2 ni dans la colonne t :
cest donc le sixime lment. On peut lajouter au tableau en compltant par quelques
calculs vidents.
e a a2 t at a2 t
e e a a2 t at a2 t
a a a2 e at a2 t t
a2 a2 e a a2 t t at
t t e
at at a e
a2 t a2 t a2
e
En utilisant toujours lastuce selon laquelle il ne peut y avoir deux fois la mme
valeur dans une ligne ni dans une colonne, on arrive calculer (at)(a2 t) et (a2 t)(at)
par simple limination de cinq valeurs impossibles.
16
Maths en Ligne Structures algbriques UJF Grenoble
e a a2 t at a2 t
e e a a2 t at a2 t
a a a2 e at a2 t t
2
a a2 e a a2 t t at
t t e
at at a e a2
a2 t a2 t a2 a e
Surprise ! On vient de montrer avec une tonnante conomie de calculs que le groupe
nest pas commutatif ; en effet (at)(a2 t) 6= (a2 t)(at).
Le mme truc des rptitions interdites permet de complter le coin infrieur droit
du tableau.
e a a2 t at a2 t
e e a a2 t at a2 t
a a a2 e at a2 t t
a2 a2 e a a2 t t at
t t e a2 a
at at a e a2
a2 t a2 t a2 a e
Dernier obstacle inattendu, alors que nous avions presque fini, avec la mthode,
maintenant classique pour nous, de remplir les cases par limination, cette mthode est
insuffisante pour remplir les six misrables cases laisses blanches ! Il faut une nouvelle
astuce pour passer cet obstacle. Concentrons-nous sur la case correspondant au produit
ta. Pour calculer ce produit, bidouillons un peu : ta = tae = ta(t2 ) = [t(at)]t = a2 t.
Une nouvelle case est remplie :
e a a2 t at a2 t
e e a a2 t at a2 t
a a a2 e at a2 t t
a2 a2 e a a2 t t at
t t a2 t e a2 a
at at a e a2
a2 t a2 t a2 a e
17
Maths en Ligne Structures algbriques UJF Grenoble
Cette tape franchie, il est dsormais trs facile de finir de remplir la table en
utilisant lide simple : pas plus dune apparition par ligne ou par colonne.
e a a2 t at a2 t
e e a a2 t at a2 t
a a a2 e at a2 t t
a2 a2 e a a2 t t at
t t a2 t at e a2 a
at at t a2 t a e a2
a2 t a2 t at t a2 a e
On a donc obtenu la table complte de la loi de composition sur S3 , en nutilisant
que des techniques lmentaires.
1.5 Sous-groupes
Maintenant que nous connaissons ce que nous avons pompeusement appel les
exemples fondamentaux, il reste apprendre tirer de ces exemples trop fondamentaux
pour tre vraiment utiles des exemples plus concrets.
Pour cela, introduisons une nouvelle notion.
Avant de commenter ce que a veut dire, donnons tout de suite une proposition
trs simple, et utile en pratique pour vrifier quun sous-ensemble dun groupe est un
sous-groupe.
18
Maths en Ligne Structures algbriques UJF Grenoble
19
Maths en Ligne Structures algbriques UJF Grenoble
Le thorme de Lagrange est un rsultat simple et lgant, propos ici surtout pour
le plaisir de faire une dmonstration agrable.
ab si et seulement si ab1 H.
20
Maths en Ligne Structures algbriques UJF Grenoble
f (h) = ha.
Vrifions tout dabord que f est bien une application. La difficult vient ici de ce que
la formule ha possde certes un sens, mais quil faudrait savoir que ha appartient bien
cl(a). Heureusement, la question est plus facile rsoudre qu poser ! Cest en effet
une simple vrification : a(ha)1 = aa1 h1 = h1 H ; donc a ha ; en dautres
termes ha appartient cl(a).
Vrifions que f est une bijection. Soit b un lment de G tel que b cl(a). Cherchons
les antcdents de b. Un lment h de H est antcdent de b par f si et seulement si
b = ah, cest--dire si et seulement si h = ba1 . Il y a donc au plus un antcdent,
savoir ba1 , et comme en outre b a, llment ba1 est dans H et il y a exactement
un antcdent.
Ceci montre que f est une bijection, et cl(a) compte donc exactement autant dl-
ments que H.
tape 3. Il ne reste plus qu conclure. On dispose dune relation dquivalence
, donc dun ensemble-quotient G/ , qui constitue une partition de G. Chacune des
parties de G figurant dans cette partition possde exactement card(H) lments ; le
nombre total dlments de G est donc gal au produit de card(H) par le nombre
de parties de G figurant dans la partition G/ et est en particulier un multiple de
card(H).
1.6 Noyaux
Une petite dfinition, lusage pratique pour prouver des injectivits. Pour le reste,
une section courte sans gure de commentaires.
Dfinition 20. Soit f un morphisme de groupes, allant dun groupe G vers un groupe
G0 , dont llment neutre est not e0 . Le noyau de f est par dfinition lensemble des
lments x de G tels que f (x) = e0 .
Notation 9. Le noyau de f est not Ker(f ) (parce que Ker est labrviation de lalle-
mand Kern ).
21
Maths en Ligne Structures algbriques UJF Grenoble
Dfinition 21. Soit a un lment dun groupe et n un entier relatif. On appelle puis-
sance n-ime de a llment an dfini comme valant aa . . . a} si n > 1, comme valant
| {z
n fois
linverse de an si n 6 1 et comme valant llment neutre si n = 0.
Proposition 12. Soit a un lment dun groupe et n et m deux entiers ; alors am+n =
am an et (am )n = amn .
22
Maths en Ligne Structures algbriques UJF Grenoble
Dmonstration : Cest trs simple voir avec des points de suspension, en noubliant
pas de distinguer plein de cas selon les signes des divers entiers des formules, la dfinition
dpendant de ce signe. Comme cest la fois trs facile et trs fastidieux, on va oublier
discrtement de le faire.
On en dduit aussitt la trs lmentaire
Dfinition 22. Soit a un lment dun groupe, dont le neutre est not e. Si pour tout
n > 1, an 6= e on dit que a est dordre infini. Sinon on appelle ordre de a le plus petit
entier n > 1 tel que an = e.
Afin de tenter de prvenir les confusions, introduisons un autre sens du mot ordre ,
pas du tout synonyme du prcdent et un peu superflu mais tellement pass dans les
usages quon ne peut lviter.
Thorme 3. Soit a un lment dun groupe. Lordre de a est gal au nombre dl-
ments de hai.
Dmonstration : La preuve tant plus longue que la moyenne, essayons de dgager des
tapes intermdiaires avec des noncs prcis, qui nous permettront de souffler quand
ils seront atteints. On notera e llment neutre du groupe considr.
tape intermdiaire 1 : si lordre de a est fini, not n,
b = ak = anq+r = (an )q ar = eq ar = ar ,
23
Maths en Ligne Structures algbriques UJF Grenoble
En dautres termes, dans le cas particulier dun sous-ensemble dun groupe fini
(et seulement dans ce cas !) on peut faire des conomies et viter de travailler sur les
ennuyeux symtriques pour examiner un potentiel sous-groupe.
Pour enfoncer le clou sur la ncessit de lhypothse selon laquelle G est fini, on
pensera au cas G = Z et H = N.
Dmonstration : La seule difficult est videmment de vrifier la proprit (iii) de la
dfinition des sous-groupes . Prenons donc un lment a de H. On commence par
24
Maths en Ligne Structures algbriques UJF Grenoble
Larchtype de lanneau est lensemble Z des entiers relatifs ; dans un anneau quel-
conque on peut calculer comme dans Z. Mfiance sur un seul point toutefois :
la dfinition nexigeant pas que la multiplication soit commutative, certaines formules
peuvent tre un peu plus perverses ; par exemple (a+b)2 se dveloppe en a2 +ba+ab+b2 ,
mais ne peut pas dans un anneau trop gnral tre regroup en a2 + 2ab + b2 puisque
ab na aucune raison dtre gal ba.
Voici un autre exemple.
Proposition 15. Soit E un espace vectoriel. Lensemble des applications linaires de
E vers E, not L(E), est un anneau pour laddition et la composition.
25
Maths en Ligne Structures algbriques UJF Grenoble
Dfinition 25. Soit A un anneau et n > 1 un entier. Lanneau des matrices carres
de taille n coefficients dans A, not Mn (A), est dfini par les lois de composition
suivantes. Si M = (ai,j )16i,j6n et N = (bi,j )16i,j6n sont deux lments de Mn (A),
n
X
M + N = (ai,j + bi,j )16i,j6n , M N = (ci,j )16i,j6n avec ci,j = ai,k bk,j .
k=1
Le neutre de Mn (A) pour laddition est la matrice nulle, dont tous les coefficients
valent le neutre de laddition de A. Le neutre de Mn (A) pour la multiplication est la
matrice identit, dont tous les coefficients valent le neutre de laddition de A sauf ceux
de la diagonale qui valent le neutre de la multiplication de A.
Dfinition 26. Un anneau est dit commutatif quand sa multiplication est commuta-
tive.
Une classe particulire danneaux est celle des anneaux tels que la deuxime loi (la
multiplication) fournit aussi une structure de groupe (sur lanneau priv de son zro).
26
Maths en Ligne Structures algbriques UJF Grenoble
2 Entranement
2.1 Vrai ou faux
Vrai-Faux 1. Soit E = {0, 1, 2}. Les graphes suivants dfinissent-ils une relation d-
quivalence sur E (oui ou non et pourquoi) ?
1. = { (0, 0), (0, 1), (1, 0), (1, 1) }
2. = { (0, 0), (0, 1), (1, 0), (1, 1), (2, 2) }
3. = { (0, 0), (0, 1), (1, 0), (1, 1), (1, 2), (2, 2) }
4. = { (0, 0), (0, 1), (1, 0), (1, 1), (1, 2), (2, 1), (2, 2) }
5. = { (0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2), (2, 0), (2, 1), (2, 2) }
Vrai-Faux 2. Soit E = {0, 1, 2}. Les graphes suivants dfinissent-ils une relation dordre
sur E (oui ou non et pourquoi) ?
1. = { (0, 0), (0, 1), (1, 1), (2, 2) }
2. = { (0, 0), (0, 1), (1, 0), (1, 1), (2, 2) }
3. = { (0, 0), (0, 1), (0, 2), (1, 1), (2, 2) }
4. = { (0, 0), (0, 1), (1, 1), (1, 2), (2, 2) }
5. = { (0, 0), (0, 1), (0, 2), (1, 1), (1, 2), (2, 2) }
Vrai-Faux 3. Soient E un ensemble fini non vide et x un lment fix de E. Les relations
dfinies ci-dessous sont-elles des relations dquivalence sur P(E) (oui ou non et
pourquoi) ?
1. A, B P(E) , A B A = B
2. A, B P(E) , A B A B
3. A, B P(E) , A B (A B = )
4. A, B P(E) , A B (A B = ) (A B 6= )
5. A, B P(E) , A B (x A B)
c c
6. A, B P(E) , A B (x A B) (x A B)
Vrai-Faux 4. Soient E un ensemble fini non vide et x un lment fix de E. Les relations
R dfinies ci-dessous sont-elles des relations dordre sur P(E) (oui ou non et pourquoi) ?
1. A, B P(E) , ARB A = B
2. A, B P(E) , ARB A B
3. A, B P(E) , ARB (x (A cB))
4. A, B P(E) , ARB (x (A cB))
c
5. A, B P(E) , ARB (A = B) (x A B)
27
Maths en Ligne Structures algbriques UJF Grenoble
Vrai-Faux 5. Les relations R dfinies ci-dessous sont-elles des relations dordre sur R
(oui ou non, et pourquoi) ?
1. x, y R , xRy x < y
2. x, y R , xRy ex 6 ey
3. x, y R , xRy |x| 6 |y|
4. x, y R , xRy (x y) N
5. x, y R , xRy (x y) Z
Vrai-Faux 7. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1. La soustraction est une loi de composition interne dans Z.
2. 0 est lment neutre de la soustration dans Z.
3. La soustraction dans Z est associative.
4. 0 est lment neutre pour laddition dans N.
5. Laddition est associative dans N.
Vrai-Faux 8. Les ensembles suivants, munis de laddition des rels sont-ils des groupes
(oui ou non et pourquoi) ?
n o
1. a/10n , a Z , n N
n o
2. a/2n , a Z , n Z
n o
3. a 2 , a Z
n o
4. a 2 , a N
n o
5. a 2 + b 3 , a, b Z
n o
6. a 2 + b 3 , a Z , b N
Vrai-Faux 9. Les ensembles suivants, munis de la multiplication des rels sont-ils des
groupes (oui ou non et pourquoi) ?
n o
1. 1, 1
28
Maths en Ligne Structures algbriques UJF Grenoble
n o
2. 1, 1, 1/2, 2
n o
3. 2n , n Z
n o
4. a2n , a = 1 , n Z
n o
5. a + b 2 , a, b Q
n o
6. a + b 2 , a, b Q \ {0}
2.2 Exercices
Exercice 1. On considre les relations suivantes sur R.
x, y , xRy x 6 y
x, y , xRy x2 6 y 2
x, y , xRy bxc 6 byc
x, y , xRy bxc = byc
x, y , xRy sin(x) = sin(y)
x, y , xRy y x N
Pour chacune de ces relations R :
29
Maths en Ligne Structures algbriques UJF Grenoble
x, y E , x y f (x) = f (y)
x, y R , x y = xy + (x2 1)(y 2 1)
Montrer que est commutative, non associative, et que 1 est lment neutre,
2. On munit R+ de la loi de composition interne dfinie par :
q
x, y R+ , xy = x2 + y 2
Montrer que est commutative, associative, et que 0 est lment neutre. Montrer
que aucun lment de R+ na de symtrique pour .
30
Maths en Ligne Structures algbriques UJF Grenoble
31
Maths en Ligne Structures algbriques UJF Grenoble
4. Soit {e, a, b, c} , un groupe 4 lments, dlment neutre e.
(a) Montrer quil existe au moins un lment, autre que llment neutre, qui
est son propre symtrique. On suppose dsormais que b est son propre sy-
mtrique.
(b) On suppose a c = c a = e. Remplir la table de composition du groupe.
Montrer quil est isomorphe aux groupes suivants.
Z4 ; {1, i, 1, i} ,
n o
(1, 2, 3, 4), (2, 3, 4, 1), (3, 4, 1, 2), (4, 1, 2, 3) ,
( ! ! ! !) !
1 0 0 1 1 0 0 1
, , , ,
0 1 1 0 0 1 1 0
(c) On suppose a a = c c = e. Remplir la table de composition du groupe.
Montrer quil est isomorphe aux groupes suivants.
Z2 Z2 ; P({x, y}) , 4
n o
1 2 3 4 , 1 2 4 3 , 2 1 3 4 , 2 1 4 3 ,
( ! ! ! !) !
1 0 0 1 1 0 0 1
, , , ,
0 1 1 0 0 1 1 0
(d) Vrifier que lon est toujours dans le cas de la question (4b) ou dans le cas
de la question (4c).
5. Vrifier que tous les groupes de cet exercice sont abliens.
Exercice 8. On considre les lments suivants de S5 .
! !
1 2 3 4 5 1 2 3 4 5
= et % =
3 4 2 5 1 5 4 1 2 3
Calculer les puissances successives et dterminer lordre de et %, ainsi que de %, %,
%1 et %1 .
Exercice 9. On considre un pentagone rgulier : pour fixer les ides, lensemble des
points du plan complexe dont des sommets ont pour affixes les racines cinquimes de
lunit, soit n o
P = e2ik/5 , k = 0, 1, 2, 3, 4 .
Le but de lexercice est dtudier le groupe (pour la composition des applications) des
isomtries du plan complexe qui laissent invariant ce pentagone. On notera % la rotation
de centre lorigine et dangle 2/5, et la symtrie qui un nombre complexe associe
son conjugu.
% : z 7 ze2i/5 ; : z 7 z
32
Maths en Ligne Structures algbriques UJF Grenoble
33
Maths en Ligne Structures algbriques UJF Grenoble
Montrer que est une relation dquivalence sur G. Montrer que chaque classe
dquivalence a deux lments.
5. On dfinit la loi sur lensemble-quotient G/ par :
Montrer que est une loi de composition interne sur G/ , et que G/ muni de
est un groupe ablien, dans lequel chaque lment est son propre symtrique.
6. On suppose que G est fini. Dduire des questions prcdentes que le cardinal de
G est une puissance de 2.
Exercice 13. Soient (E, ) et (F, ) deux groupes. On munit lensemble produit E F
de la loi de composition definie par :
34
Maths en Ligne Structures algbriques UJF Grenoble
Exercice 14. Montrer que les ensembles suivants dapplications de C dans C, munis de
la loi de composition des applications, sont des groupes.
n o
1. z 7 z + t , t Z
n o
2. z 7 z + t , t C
n o
3. z 7 ei z , R
n o
4. z 7 sz + t , s C , t C
az + b
5. z 7 , (a, b, c, d) C4 , ad bc 6= 0
cz + d
Exercice 15. Soit G un sous-groupe additif de (R, +). On suppose que G 6= {0}.
1. Montrer que G R+ possde une borne infrieure, que lon notera b.
2. Montrer que b G.
3. On suppose b > 0. Montrer que G = bZ.
4. On suppose b = 0. Montrer que si x et y sont deux rels tels que x < y, lintervalle
]x, y[ contient au moins un lment de G (on dit que G est dense dans R).
5. Montrer que lensemble { m + n 2 , (n, m) Z2 } muni de laddition
est un sous-
groupe de (R, +), et quil est dense dans R (on rappelle que 2 est irrationnel).
Exercice 16. Soit n > 1 un entier. On dfinit une multiplication sur Zn en convenant
que i j est lunique entier 0 6 k 6 n 1 tel que ij k est divisible par n.
1. Montrer que (Zn , , ) est un anneau.
2. Montrer que (Zn , , ) est un corps si et seulement si n > 2 et n est premier.
Exercice 17. Montrer que lapplication de C dans C qui un nombre complexe associe
son conjugu est un isomorphisme de corps : cest une bijection, et un morphisme la
fois pour laddition et la multiplication.
Exercice 18. On note Z[ 2] lensemble de rels suivant :
n o
Z[ 2] = m + n 2 , m, n Z .
1. Montrer que Z[ 2], muni de laddition et de la multiplication des rels, est un
sous-anneau de R.
2. On considre lapplication , de Z[ 2] dans lui-mme, qui m + n 2 associe
(m + n 2) = m n 2.
Montrer que est un automorphisme de lanneau (Z[ 2], +, ) (cest une bijec-
tion, et un morphisme pour chacune des deux lois).
35
Maths en Ligne Structures algbriques UJF Grenoble
3. Pour tout x Z[ 2], on pose N (x) = x(x). Montrer que N est une application
de Z[ 2] dans Z, qui est un morphisme pour la multiplication.
4. Dmontrer que x est un lment inversible de Z[ 2] si et seulement si N (x) = 1.
5. Vrifier que 3 + 2 2 et 3 + 2 2 sont inversibles dans Z[ 2].
Exercice 19. On considre les deux matrices suivantes.
! !
0 1 0 0
U= et V = .
0 0 1 0
1. Calculer les produits U V et V U .
2. En dduire que M2 (R) est un anneau non commutatif et non intgre.
3. tendre ce rsultat lanneau Mn (A) des matrices de taille n > 2 sur un anneau
A quelconque.
Exercice 20.
1. Soit S un ensemble de cardinal au moins 2 et E = {0, 1}S lensemble des appli-
cations de S dans {0, 1}. On munit E de laddition modulo 2 des images et de
leur multiplication : pour tout f, g E, f g et f g sont les applications de S
dans {0, 1} dfinies par :
( (
1 si f (x) 6= g(x), 1 si f (x) = g(x) = 1,
f g(x) = et f g(x) =
0 si f (x) = g(x), 0 sinon.
Montrer que (E, , ) est un anneau commutatif.
2. Soit I lapplication constante gale 1. Soit f une application non constante de
S dans {0, 1}. Calculer f (I f ). En dduire que (E, , ) nest pas un anneau
intgre.
3. Soit F = P(S) lensemble des parties de S. On munit F de la diffrence sym-
trique et de lintersection ensemblistes. On considre lapplication de F dans
E qui une partie de S associe sa fonction indicatrice :
: A P(S) 7 IA ,
o, pour tout x S, IA (x) = 1 si x A et IA (x) = 0 sinon. Montrer que est
un isomorphisme de (E, ) vers (F, 4), et galement un isomorphisme de (E, )
vers (F, ). En dduire que (F, 4, ) est un anneau commutatif non intgre.
2.3 QCM
Donnez-vous une heure pour rpondre ce questionnaire. Les 10 questions sont
indpendantes. Pour chaque question 5 affirmations sont proposes, parmi lesquelles 2
sont vraies et 3 sont fausses. Pour chaque question, cochez les 2 affirmations que vous
pensez vraies. Chaque question pour laquelle les 2 affirmations vraies sont coches
rapporte 2 points.
36
Maths en Ligne Structures algbriques UJF Grenoble
Question 3.
A La division est une loi de composition interne dans R .
B La division ne possde pas dlment neutre dans R .
C La division est associative dans R
D La division est commutative dans R
E Tout lment de R est son propre inverse pour la division.
Question 5. On
considre des ensembles de rels, munis de laddition.
A ({a + b 5 , a, b N}, +) est un groupe.
B ({a + b 5 , a, b Z}, +) est un groupe.
C ({5a + b 5 , a, b Z}, +) est un groupe.
D ({5(a + b 5) , a, b N}, +) est un groupe.
E ({a + b 5 , a Z , b N}, +) est un groupe.
37
Maths en Ligne Structures algbriques UJF Grenoble
2.4 Devoir
Essayez de bien rdiger vos rponses, sans vous reporter ni au cours, ni au corrig. Si
vous souhaitez vous valuer, donnez-vous deux heures ; puis comparez vos rponses avec
le corrig et comptez un point pour chaque question laquelle vous aurez correctement
rpondu.
Questions de cours : Soit G un groupe fini et H un sous-groupe de G.
38
Maths en Ligne Structures algbriques UJF Grenoble
a, b G , a b ab1 H .
r s
C C C C
z 7 r(z) = iz z 7 s(z) = z .
{e, r, r2 , r3 , s, s r, s r2 , s r3 } ,
39
Maths en Ligne Structures algbriques UJF Grenoble
40
Maths en Ligne Structures algbriques UJF Grenoble
symtrique :
Soient a et b deux lments de G. Supposons a b. Alors ab1 appartient H.
Donc linverse de ab1 appartient aussi H. Or cet inverse est (ab1 )1 = ba1 .
Donc b a.
transitive :
Soient a, b, c trois lments de G. Supposons a b et b c. Les deux lments
ab1 et bc1 appartiennent H, donc leur produit aussi. Ce produit est :
(ab1 )(bc1 ) = ac1 ). Donc a c.
Donc est une relation dquivalence sur G.
2. Linverse de ha est a1 h1 . Donc a(ha)1 = (aa1 )h1 = h1 H. Donc a ha.
3. Si a b, ab1 H. Notons h linverse de cet lment : h = (ab1 )1 = ba1 . Il
appartient aussi H. On a bien ha = ba1 a = b.
4. Daprs la question 2, pour tout a G, a ha, donc f (h) cl(a). Soit b un
lment de cl(a), cest --dire tel que a b. Daprs la question 3, il existe h H
tel que b = ha, donc b = f (h) : lapplication f est surjective.
Montrons que f est injective. Soient h1 et h2 deux lments de H tels que f (h1 ) =
f (h2 ). Alors h1 a = h2 a, donc h1 aa1 = h2 aa1 , soit h1 = h2 .
Lapplication f est donc une bijection de H dans cl(a).
5. Sil existe une application bijective entre deux ensembles finis, alors ces deux
ensembles ont mme cardinal. Daprs la question 4, pour tout a G, le cardinal
de cl(a) est gal au cardinal de H. Or lensemble des classes dquivalence pour
constitue une partition de E. Donc le cardinal de E est la somme des cardinaux
des classes dquivalence, qui sont tous gaux au cardinal de H. Le cardinal de
E est donc un multiple entier du cardinal de H.
Exercice 1 :
1. Soit O lorigine du plan complexe.
r est la rotation de centre O et dangle /2.
r2 est la rotation de centre O et dangle .
r3 est la rotation de centre O et dangle 3/2 (ou /2).
s est la symtrie par rapport laxe horizontal.
s r est la symtrie par rapport la droite dquation y = x (seconde
bissectrice).
s r2 est la symtrie par rapport laxe vertical.
s r3 est la symtrie par rapport la droite dquation y = x (premire
bissectrice).
2. Pour montrer que G est un groupe, il suffit de vrifier que cest un sous-groupe
de lensemble S(C) des bijections du plan complexe dans lui-mme. Lensemble
propos est non vide. Observons ensuite que r et r3 sont inverses lun de lautre,
41
Maths en Ligne Structures algbriques UJF Grenoble
et que chacun des autres lments de G est son propre inverse. La table de
composition ci-dessous montre que le produit de deux lments quelconques de
G est encore dans G. Donc G est un sous-groupe de S(C). Dans cette table, nous
omettons les signes par souci de clart.
e r r2 r3 s sr sr2 sr3
e e r r2 r3 s sr sr2 sr3
r r r2 r3 e sr3 s sr sr2
r2 r2 r3 e r sr2 sr3 s sr
r3 r 3
e r r2 sr sr2 sr3 s
s s sr sr2 sr3 e r r2 sr3
sr sr sr2 sr3 s r3 e r r2
sr2 2
sr sr 3
s sr r 2
r 3
e r
sr3 sr3 s sr sr2 r r2 r3 e
3. Nous le montrons pour {e, r2 }, le raisonnement est identique pour les 4 autres.
Dans la mesure o r2 est son propre inverse, {e, r2 } est bien un sous-groupe de
G. Lapplication qui e associe 0 et r2 associe 1 est une bijection, et cest un
morphisme pour la loi au dpart, et pour laddition modulo 2 larrive. Il
suffit pour cela de sassurer que les tables de composition correspondent.
e r2 + 0 1
e e r2 0 0 1
r2 r2 e 1 1 0
4. Ici encore, le plus simple est de dfinir la bijection, puis de vrifier que cest
un morphisme pour les deux lois en comparant les tables de composition. Re-
marquons que lexistence dun isomorphisme entre un sous-ensemble de G et un
groupe connu, nous dispense de montrer que ce sous-ensemble est effectivement
un sous-groupe. Comme bijection nous choisissons lapplication , dfinie par :
e s r2 sr2 + 00 01 10 11
e e s r2 sr2 00 00 01 10 11
s s e sr2 r2 01 01 00 11 10
r2 r2 sr2 e s 10 10 11 00 01
sr2 2
sr r 2
s e 11 11 10 01 00
5. Mme technique ; la bijection est dfinie par :
42
Maths en Ligne Structures algbriques UJF Grenoble
e r r2 r3 + 0 1 2 3
e e r r2 r3 0 0 1 2 3
r r r2 r3 e 1 1 2 3 0
r2 r2 r3 e r 2 2 3 0 1
r3 r3 e r r2 3 3 0 1 2
6. Vrifions-le pour r et pour s.
r(A1 ) = A2 , r(A2 ) = A3 , r(A3 ) = A4 , r(A4 ) = A1 .
s(A1 ) = A4 , s(A2 ) = A3 , s(A3 ) = A2 , s(A4 ) = A1 .
Puisque r et s laissent invariant lensemble {A1 , A2 , A3 , A4 }, cest aussi le cas pour
toute transformation du plan compose de r et s, donc pour tous les lments du
groupe G.
7. Soient f et g deux lments du groupe G. Soient et les deux permutations
de S4 telles que pour tout i = 1, 2, 3, 4 :
f (Ai ) = A(i) et g(Ai ) = A (i) .
Alors, pour tout i = 1, 2, 3, 4,
f g(Ai ) = f (g(Ai )) = f (A (i)) = A( (i)) = A (i) .
Donc (f g) = = (f )(g). Donc est un morphisme pour la composition
des applications dans G au dpart, et pour la composition des permutations
larrive.
8. Voici le tableau donnant limage par des lments de G.
f (f ) f (f )
e (1, 2, 3, 4) s (4, 3, 2, 1)
r (2, 3, 4, 1) sr (3, 2, 1, 4)
r2 (3, 4, 1, 2) sr2 (2, 1, 4, 3)
r3 (4, 1, 2, 3) sr3 (1, 4, 3, 2)
9. Puisque est un morphisme, H est un sous-groupe de G. Le tableau de la question
prcdente liste tous les lments de H, qui sont tous distincts. Donc la restriction
de H larrive est une bijection : est donc un isomorphisme de G sur H.
10. Les deux ensembles {B1 , B2 , B3 , B4 } et {A1 , A2 , A3 , A4 } sont les mmes. Les deux
sont invariants par G. Le raisonnement pour montrer que est un morphisme
est identique. Par contre les permutations images des lments de G ne sont pas
les mmes.
f (f ) f (f )
e (1, 2, 3, 4) s (3, 4, 1, 2)
r (4, 2, 3, 1) sr (2, 1, 3, 4)
r2 (2, 1, 4, 3) sr2 (4, 3, 2, 1)
r3 (3, 2, 4, 1) sr3 (1, 2, 4, 3)
43
Maths en Ligne Structures algbriques UJF Grenoble
44
Maths en Ligne Structures algbriques UJF Grenoble
45
Maths en Ligne Structures algbriques UJF Grenoble
3 Complments
3.1 Le programme dErlangen
Le programme dErlangen est un programme de recherche publi par le mathmati-
cien allemand Felix Klein en 1872 dans un mmoire intitul Vergleichende Betrachtun-
gen ber neuere geometrische Forschungen, cest--dire tude compare de diffrentes
recherches rcentes en gomtrie.
Felix Klein (1849-1925) nat le 25 avril 1849 Dsseldorf en Rhnanie alors sous do-
mination prussienne, pendant des journes dmeutes anti-prussiennes. Il sera toujours
trs fier davoir pour date de naissance trois carrs de nombres premiers (52 , 22 et 432 ).
En juillet 1870, aprs avoir voulu faire des tudes de physique, Klein est dj docteur en
mathmatiques et il se trouve Paris mais la guerre franco-allemande loblige retour-
ner en Allemagne. Il sert un temps dans larme prussienne avant dtre nomm lecteur
Gttingen en 1871. En 1872 ( lge de 23 ans !), Klein devient professeur Erlangen
grce laide providentielle dAlfred Clebsch (1833-1872, il tait temps. . . ) qui voit
en lui lun des futurs plus grands mathmaticiens de son temps. En 1875, il pouse
Anne Hegel, la petite-fille du philosophe Georg Wilhelm Friedrich Hegel (1770-1831).
Install Gttingen de 1886 jusqu sa mort, Klein sy consacre en particulier faire
de la revue Mathematische Annalen un des journaux de mathmatiques les plus connus
au monde. Par ailleurs, grce ses efforts et ceux de quelques autres, les femmes sont
admises Gttingen partir de 1893. Klein supervise lui-mme le premier doctorat
obtenu par une femme dans une universit allemande, toutes disciplines confondues,
en loccurrence la thse de mathmatiques de Grace Chisolm Young (1868-1944), une
tudiante anglaise dArthur Cayley (1821-1895) qui lui rendra hommage sa mort.
Voici comment elle dcrit ses rapports avec Klein au dbut de sa thse :
Professor Kleins attitude is this, he will not countenance the admission
of any woman who has not already done good work, and can bring proof
of the same in the form of degrees or their equivalent [. . . ] and further he
will not take any further steps till he has assured himself by a personal
interview of the solidity of her claims. Professor Kleins view is moderate.
There are members of the Faculty here who are more eagerly in favour of
the admission of women and others who disapprove altogether.
Les premires dcouvertes importantes de Klein datent de 1870. En collabora-
tion avec le mathmaticien norvgien Sophus Lie (1842-1899) qui lui avait prsent
le concept de groupes, Klein tudie les proprits fondamentales des lignes asymp-
totiques sur la surface de Kummer. Klein et Lie en viennent ainsi sintresser aux
courbes invariantes sous un groupe de transformations projectives.
En 1871, Klein montre que les gomtries euclidienne et non-euclidienne sont des
cas particuliers dune gomtrie dfinie sur une surface projective. Un corollaire est que
les axiomes de la gomtrie non euclidienne sont consistants si et seulement si ceux de
la gomtrie euclidenne le sont, ce qui met fin une controverse persistante autour des
46
Maths en Ligne Structures algbriques UJF Grenoble
47
Maths en Ligne Structures algbriques UJF Grenoble
aiment mais que Felix Klein naime pas. quelle catgorie Felix Klein
appartient-il ?
Les tudiants taient terroriss par un tel sacrilge et aucun deux ne sut rpondre. La
rponse de Zermelo tait pourtant simple :
Felix Klein nest donc pas un mathmaticien.
La fin de lanecdote est que Zermelo nobtint jamais de poste de professeur Gttingen.
Ce point de vue a t dvelopp en 1835 par William Hamilton. Par la suite, il essaya
longuement et sans succs de multiplier des triplets de nombres rels de faon satis-
faisante mais il finit par russir multiplier des quadruplets, inventant ainsi en 1843
lensemble des quaternions, not H en son honneur.
Sir William Rowan Hamilton (1805-1865), n Dublin, fut la fois un enfant
adopt et un enfant surdou. 13 ans, il parlait autant de langues que le nombre de
ses annes : bien sr la plupart des langues europennes mais aussi les langues persane,
arabe, hindoue, malaise, et le sanskrit. Il resta toute sa vie au Trinity College de Dublin,
o il avait t nomm professeur dastronomie lge de 22 ans. Calculateur gnial,
il semble avoir pris grand plaisir toute sa vie durant effectuer des multiplications
monstrueuses. 10 ans, il dcouvre par accident une copie en latin des lments
dEuclide et 12 ans il dvore les Principia de Newton. Pendant lt 1822, 17 ans, il
tudie de manire systmatique la Mcanique cleste de Laplace et y trouve une faute
srieuse, quil russit corriger. Hamilton dcide alors de se consacrer principalement
aux mathmatiques, ce qui ne lempchera pas de fournir galement dimportantes
contributions en optique et en mcanique.
Le but de Hamilton tait donc dtendre les proprits des nombres complexes des
dimensions suprieures, essentiellement sans succs. Dailleurs Frobenius dmontrera en
1877 quune telle structure ne pouvait pas exister pour lensemble des triplets. Hamilton
racontera plus tard que, dans la soire du 16 octobre 1843, il marchait le long du Canal
royal de Dublin avec sa femme, en route vers une soire, quand la solution pour des
quadruplets lui apparut soudain, sous la forme
i2 = j2 = k2 = ijk = 1,
et quil grava aussitt ces quations au couteau dans une pile du pont le plus proche,
Broom Bridge. Depuis 1989, la National University dIrlande organise un plerinage
48
Maths en Ligne Structures algbriques UJF Grenoble
ij = k, ik = j, ji = k, jk = i, ki = j, kj = i,
49
Maths en Ligne Structures algbriques UJF Grenoble
Cette dcouverte dmontra la ncessit de travailler aussi avec des lois non commuta-
tives, une avance radicale pour lpoque. Il faut se rappeler que vecteurs et matrices
faisaient encore partie du futur, mais Hamilton venait en quelque sorte dintroduire
avant lheure le produit vectoriel et le produit scalaire des vecteurs.
On sait prsent que bien avant Hamilton, en 1748, le mathmaticien et physicien
suisse Leonhard Euler (1707-1783) connaissait la rgle de multiplication des quater-
nions, sous la forme du thorme des quatre carrs, ainsi que le mathmaticien, astro-
nome et physicien allemand Carl Friedrich Gauss (1777-1855) en 1819. Hamilton quant
lui passa le reste de sa vie explorer cette notion car il pensait que sa dcouverte
allait rvolutionner la physique mathmatique. La postrit dmentit ce pronostic et
porta un regard souvent svre sur son invention. Daprs le physicien mathmaticien
et ingnieur cossais William Thomson alias Lord Kelvin (1824-1907) par exemple (oui,
le Kelvin des degrs Kelvin) :
Quaternions came from Hamilton after his really good work had been done,
and though beautifully ingenious, have been an unmixed evil to those who
have touched them in any way.
50
Maths en Ligne Structures algbriques UJF Grenoble
o les rk sont les racines p-imes de lunit. En 1847, Lam annona avoir dmontr le
thorme de Fermat, mais il supposait que tous les entiers cyclotomiques possdaient
une dcomposition unique. Or en 1844, Kummer avait montr que ce ntait pas le cas.
Interprtant le fait que la dcomposition ne soit pas unique comme labsence de certains
facteurs premiers, il eut lide de les rajouter en les baptisant nombres idaux . La
thorie des idaux, formalise plus tard par Dedekind, vise donc tendre dans un
anneau quelconque la notion de facteur premier dans Z. Quest-ce quun idal I dans
un anneau commutatif A ? Cest un sous-groupe pour laddition, possdant en plus une
proprit de stabilit :
a A , x I , ax I .
Dans Z, les idaux sont les ensembles de multiples dun mme nombre. Petit petit les
proprits des anneaux permettant dtendre les oprations de larithmtique prirent
forme, et la thorie des idaux permit de gnraliser des ensembles de nombres quel-
conques les outils de larithmtique.
Emmy Noether 1 nat Erlangen en 1882, dun pre mathmaticien. Elle fait ses
tudes Erlangen et y soutient une thse sur la thorie des invariants en 1907. Aprs
sa thse, personne ne soppose ce quelle enseigne Erlangen. . . condition que ce
soit sous le nom de son pre et sans recevoir de salaire ! Au printemps 1915, Hilbert
et Klein la font venir Gttingen pour travailler sur les problmes mathmatiques
lis la thorie de la relativit gnrale dEinstein. Elle rflchit aussi des questions
dalgbre plus thoriques, qui conduisent en 1921 la publication de sa Thorie des
idaux dans les anneaux . Elle y atteint une gnralit, une simplicit, une efficacit
exceptionnelles, et ouvre la voie une foule de travaux ultrieurs, au point quelle est
considre comme la mre de lalgbre moderne. Sa capacit exceptionnelle abstraire
et gnraliser pour simplifier en se dbarrassant des dtails inessentiels allait de pair
avec une caractristique profonde de sa personnalit. Elle ne sest jamais proccupe ni
de sa condition sociale, ni de ses revenus, ni de son confort matriel, ni mme semble-
t-il de son aspect extrieur. Gttingen, Hilbert et Klein taient bien convaincus
que Emmy Noether mritait un poste de professeur. Hilbert disait : Je ne vois pas
en quoi le sexe dun candidat pourrait tre un argument contre son recrutement en
tant quenseignant ; aprs tout, nous sommes une universit, pas un tablissement de
bains ! Il fallut trois tentatives et lintervention dAlbert Einstein lui-mme, pour
quon lui accorde en 1922 le titre de plus bas niveau que lon ait pu inventer, celui de
professeur non officiel et extraordinaire , avec un salaire minimal. Certains glosrent
1. Paul Dubreil : Emmy Noether Cahiers du sminaire dhistoire des mathmatiques 7, pp. 1527
(1986)
51
Maths en Ligne Structures algbriques UJF Grenoble
52
Maths en Ligne Structures algbriques UJF Grenoble
53