Beruflich Dokumente
Kultur Dokumente
ALGEBRE
3 ANNE
2" dition
Lionel Schwartz
DUNOD
ALGEBRE
3 ANNE
Consultez nos catalogues
sur le W eb---------- %
|http://www.dunod.com |
SCIENCES INFORMATIQUE
SCIENCES?
ET Dunod
-, 9..
/ . ^' HUMAINES
TECHNIQUES Microsoft Press
M> OECF.l
SiAcheter '
^ ei limite
Nouveauts
D U
M icirosoi P^ess
E d lJ c J< 2 ii < 2 F
Jsiiter d J'iJoiis
Wiidn>.\P
Complments
?/ilifine Magazine
^ et n ile rvie w i
ALGEBRE
3 ANNE
Cours et exercices
avec solutions
Lionel Schwartz
Professeur l'universit de Paris-Nord
(Paris 13-Villetanneuse)
Prfac par
M ichel Zisman
Professeur mrite de l'universit Paris 7 - Denis Diderot
2 dition
DUNOD
D ans la mme collection
C'est avec ce cours d'Algbre que les ditions Dunod ont initi
une srie d'ouvrages destins aux tudiantes et tudiants prparant
la L icence de Mathmatiques. Cette srie, de mme que le
cours des deux premires annes de L icence de Franois Liret et
Dominique Martinais dans la mme collection, a pour vocation de
prsenter ses lecteurs les thories classiques qui constituent le fond
usuel des programmes des premires annes d'tudes universitaires
fcondes par l'esprit des ides et des connaissances provenant
des recherches contemporaines. Les thories les plus abstraites sont
riches d'applications concrtes importantes rcemment dcouvertes
que l'on peut maintenant prsenter parfois dans un cours de ce
niveau, non seulement pour illustrer sur des exemples les mthodes
et les thormes gnraux, mais surtout pour montrer explicitement
aux tudiants et tudiantes la profonde unit de la science et son
impact sur la vie moderne.
Le cours d'Algbre de Lionel Schwartz, premier de la srie, se
devait de prouver que cet objectif pouvait tre atteint. La richesse
et la densit de son texte, sa prsentation de la cryptographie
cls publiques, aujourd'hui couramment utilise comme application
de la thorie des corps finis, ainsi que d'autres applications aussi
intressantes sinon aussi spectaculaires, dans un ouvrage dont
la vocation reste lmentaire et qui distingue soigneusement le
niveau L icence de celui du Master , tout cela montre qu'il y a
parfaitement russi.
Michel Zisman
Chapitre 0. Rappels
1. Rappel de thorie des ensembles 1
2. Rappels sur l'anneau Z des entiers relatifs et son corps des fractions Q 2
3. Topologie de 4
4. Le corps des nombres complexes C 4
5. Espaces vectoriels et algbre linaire 5
6. Matrices, dterminants, systmes linaires 8
1C
1 Chapitre 3. Anneaux, idaux, polynmes
S et sries formelles
a
S 1. Anneaux, idaux, anneaux quotients 85
a>
p,
8 2. Anneaux principaux 96
3. L'anneau Z/nZ 103
1 4. Cryptographie cl rvle 105
(
0
Q
ALG BRE VII
5. Anneaux de polynmes et de sries formelles 110
6. Polynmes en plusieurs indtermines, polynmes symtriques 116
7. Anneaux factoriels et applications 122
.
8 Zros des polynmes 127
9. Complments sur les sries formelles 133
Exercices 135
Bibliographie 283
Index 285
VIII ALGBRE
Avant-Propos
Vous avez entre les mains la seconde dition d'un cours d'algbre de
L icence . Cette dition arrive au moment o les cursus universitaires
sont en cours de refonte, pour passer du systme DEUG, L icence ,
Matrise , DEA au systme dit L icence , Master , Doctorat .
Ce livre s'adresse aux tudiants de troisime anne, c'est--dire l'ac
tuelle, et la fin de la future. L icence . Comme il se place un moment
charnire dans les tudes de mathmatiques, il a vocation intresser
au-del de ce public, les tudiants qui, aprs la L icence , iront pr
parer le CAPES, ou ceux qui poursuivront en Master (quelle qu'en
soit l'orthographe !), puis passeront 1' A grgation.
Le programme officiel de la L icence de Mathmatiques est trs
vague, et les traditions sont varies d'une universit l'autre. Nous
avons voulu rester dans un quilibre raisonnable, en tenant compte
du fait que l'algbre est une discipline fondamentale du programme
de troisime anne, mais que certaines thories (telle que la thorie
de Galois, par exemple) relvent plutt du programme de Master .
Nous ne prtendons certainement pas que tout le contenu du livre
doit tre fait en L icence mais que l'on peut y faire des choix en
fonction de ce qu'on souhaite faire au-del.
L'algbre, tout comme la gomtrie, sont des matires que les pro
grammes des lyces ont une fcheuse tendance ngliger (quand bien
mme on assiste un modeste retour). Ceci entrane des retards qu'il
est important de corriger. Les prrequis consistent ici en de solides
bases d'algbre linaire et de gomtrie euclidienne, qui relvent des
deux premires annes de la future L icence . Un premier contact avec
les groupes est, lui aussi, souhaitable.
Il y a trois notions centrales dans ce cours. D'abord, la structure
des groupes et les actions de groupes, en insistant particulirement
sur les groupes symtriques. Puis viennent les anneaux, avec la ques
tion de la divisibilit sous ses divers aspects. Enfin, les extensions de
corps, sans la thorie de Galois, en s'attardant plus spcialement sur
les corps finis.
Certains noncs ne sont pas centraux et peuvent tre rservs
une seconde lecture. Par exemple, les thormes de Sylow, ou bien
la dmonstration des thormes de structure des groupes abliens de
type fini.
Les quatre premiers chapitres sont consacrs la prsentation de
ces diffrentes notions. Les deux derniers sont, quant eux, des com
plments sur la rduction des endomorphismes et sur les formes
quadratiques. Un certain nombre de thormes plus avancs sont
abords dans les exercices (deux toiles ** aprs un numro d'exer
cice indiquent une difficult plus grande). On accorde aussi une place
privilgie aux proprits topologiques des groupes classiques.
Enfin, l'ouvrage introduit des applications classiques de ces math
matiques (parmi d'autres !) : la cryptographie et les codes correcteurs
d'erreurs, qui sont deux prolongements naturels de ce cours. Si les
techniques utilises dans ce cadre ne sont pas plus difficiles, voire
sont plus simples, que les autres dveloppes dans ce livre, leur
enchanement rend l'approche du problme plus dlicate.
Dans la mesure o ce livre reflte tout la fois des choix personnels,
associs des contraintes de temps et d'espace, mentionnons un cer
tain nombre de sujets qui auraient pu tre abords. Le choix de faire
une tude des actions de groupes en liaison beaucoup plus troite
avec la gomtrie n'a pas t retenu ici. Le lecteur pourra se rfrer
[Be] sur ce point. D'autre part, l'tude des sries formelles en liaison
avec la combinatoire pouvait fournir d'autres dveloppements, qui
sont exposs plus prcisment dans [Co]. Ces sujets peuvent trouver,
videmment, leur place en Master .
Ce cours peut dboucher, ainsi qu'on l'a dit plus haut, sur des ap
plications concrtes , ou tout au moins sur d'autres cours qui, eux,
y donnent accs. Les mathmatiques ont toujours eu des liens troits,
explicites ou implicites, avec d'autres activits, mme si ces liens ne
sont pas toujours apparents. La figure ci-dessous est, un peu simpli
fie, la trame d'un zellige des tombeaux saadiens Marrakech. Cet
entrelacs prsente des symtries internes par rapport des groupes
didraux d'ordres 32 et 16, et est galement invariant par diverses ac
tions de translation. On y retrouve le savoir-faire des artisans et des
artistes arabes. Et ici, on se souviendra du rle crucial des savants
arabes dans la transmission et le dveloppement des mathmatiques.
Il convient enfin de dire deux mots sur les diffrences par rapport
la premire dition. D'abord, on a apport des prcisions et des cor
rections, je tiens ici remercier les collgues et tout particulirement
les tudiants qui m'ont signal tel ou tel point corriger ou prciser.
Ensuite, quelques ajouts ont t faits : en cryptographie, codes cor
recteurs et sur les sous-groupes finis SO(3). Enfin, on a ajout des
exercices et complt des corrections.
X AVANT-PROPOS
Je remercie encore une fois Michel Zisman de m'avoir propos
d'crire ce cours, Alberto Arabia, pour son soin, sa superbe mise en
pages, et les figures qu'il a faites. Je remercie enfin Anne Bourguignon,
pour son suivi dans l'dition de cet ouvrage.
>3
I
TQJ
P rin cip a le s no tations u tilises
XII NOTATIONS
chapitre 0
Rappels
On rappelle ici quelques notions ncessaires la lecture du cours. Elles sont suppo
ses avoir t vues durant les deux premires annes de L icence ou des C lasses
P rparatoires . Il s'agit d'abord de rappels lmentaires de thorie des ensembles,
puis sur l'anneau Z et le corps Q, ensuite de notions de topologie de et enfin
des bases d'algbre linaire.
Ces rappels sont brefs et doivent tre lus avec le soutien d'un manuel de premire
et seconde anne. Ils seront l'occasion de fixer un certain nombre de notations.
I
Q
0.1 - R A P P E L DE T H O R IE DES EN SEM BLES 1
Remarque
On peut choisir comme exemple de relation d'quivalence celle dfinie par : x y
si et seulement si f{x) = f{y).
Si n est non nul, quand le reste est nul on dit que k divise n, on le note k |n.
Une consquence fondamentale, qui sera redmontre dans le chapitre 1 est que
tous les sous-groupes de Z sont de la forme :
kZ = {ku I U G Z } .
2 RAPPELS - C hap. 0
L'algorithme d'Euclide permet de calculer le pgcd de deux entiers a et 6, on en
dduit aussi un algorithme pour calculer les coefficients de la formule de Bzout.
Supposons que 0 < a < 6 et que bi est le reste de la division de b par a on constate
que :
soit 6i = 0 et le pgcd cherch est a,
soit le pgcd de a et 6 est aussi celui de a et 6i .
Par ailleurs l'ensemble des classes d'lments de la forme (fc, 1) est isomorphe
Z et la classe de l'lment (1,A;), k ^ 0 , est un inverse pour la multiplication de
la classe de {k, 1).
Le corps Q est l'ensemble de ces classes d'quivalence de Z x Z* muni de ces
deux lois internes.
I
'V
O
Q
0.2 - R A P P E L S SUR Z E T Q 3
3 . Topologie de
Rappelons d'abord les proprits fondamentales de R.
Thorme 1 Le corps Q est dense dans le corps R et R est complet : toutes les suites
de Cauchy convergent dans R.
Thorme 2. Les sous-espaces connexes de R sont les intervalles, c'est--dire les sous-
espaces convexes.
Ce rsultat se gnralise R^ :
L'lment (a, b) est not comme d'habitude a + bi, avec i = (0 ,1), et bien entendu
2 = - l = ( - l , 0 ) .
Ces deux lois sont commutatives, associatives. La multiplication est distributive
par rapport l'addition. L'lment 0 = (0,0), est lment neutre pour l'addition,
alors que l'lment 1 = (1, 0) l'est pour la multiplication.
Le conjugu d'un lment z = a-\-bi, not z, est a 6. Le module || de l'lment
G C est a? et \z\^ = zz. L'inverse d'un lment non nul . est .
kl
4 RAPPELS - C hap. 0
tant donn un nombre complexe 2; l'exponentielle, note de z est dfinie
comme tant la somme de la srie absolument convergente ;
n^O n!
Enfin on a :
Proposition 1. Soit Z un nombre complexe, les deux conditions suivantes sont
quivalentes :
- = 1,
il existe k e Z tel que z = 2k'Ki.
Corollaire. Soit z un nombre complexe. Les deux conditions suivantes sont quivalentes :
^ z^ = 1,
2k'ni
Z= e n pour un certain entier k.
iel
En effet, seuls un nombre fini d'lments sont non nuis. Une telle somme est
appele une combinaison linaire coefficients dans k des vecteurs Vi.
Une famille (vi) d'lments de E est gnratrice sur fc, ou constitue un systme de
gnrateurs sur k, si le plus petit sous-espace vectoriel de E contenant tous les vi
est E lui-mme.
Si E a au moins un lment non nul ceci quivaut dire que pour tout v e E il
existe une famille d'lments, presque tous nuis, de k indexe par I, soit (Ai) telle
que V = XiVi.Si E est rduit au vecteur nul la partie vide est gnratrice.
6 RAPPELS - C hap. 0
Une famille (vi) d'lments de E est libre sur k si la relation = 0, (Ai)
dsignant une famille d'lments de k, presque tous nuis, indexes par I, n'a lieu
que si tous les lments Ai sont nuis.
Une famille qui est gnratrice et libre est appele une base de E sur le corps k.
Il en rsulte que, si " a une base sur k, tout lment de v e E s'crit d'une manire
et d'une seule comme combinaison linaire des vecteurs de la base.
Thorme 1 Un espace vectoriel E sur un corps k a au moins une base. Toutes les
bases ont mme nombre d'lments, appel la dimension de l'espace.
On remarquera que l'espace vectoriel {0} admet pour base l'ensemble vide et est
de dimension zro.
Rappelons le thorme de la base incomplte :
Thorme 2. Soit E un espace vectoriel sur un corps k, et soit (vi), i e l une famille
libre. Alors il existe au moins une autre famille libre (wj) telle que la runion des deux
familles constitue une base de E.
i
Q
0.5 - ESPACES VECTORIELS ET ALGEBRE LINEAIRE 7
Le dual d'un espace vectoriel E sur un corps k est k) et est not E * . Rap
pelons qu'tant donne une application linaire f : E ^ F on peut dfinir son
application duale /* : F* >E* et que { f o g y = g * o f * ds que la formule a un sens.
tant donn un espace E on dfinit une application linaire de E dans le bidual
E** par X X, o X est donne par (A) = A(a:). Cette application est linaire et
est un isomorphisme si et seulement si E est de dimension finie.
Si a est une forme linaire non nulle l'ensemble des v l E tels que a{x) = 0 est
un sous-espace de dimension n 1 de F (si F est de dimension n). C'est un
hyperplan de F , a est appel une quation de l'hyperplan.
Nous introduisons maintenant brivement la notion d'espace vectoriel quotient. Celle-
ci devra tre relue, par exemple, aprs l'tude des groupes quotients. Elle ne jouera
de rle que dans les chapitres 5 et 6.
Soit F un espace vectoriel et F un sous-espace. On dfinit sur F une relation
d'quivalence par v si et seulement si v - w e F . Une classe d'quivalence
est un sous-ensemble de la forme v + F = { v - \ - f \ f G F } .
On munit l'ensemble des classes d'quivalence d'une structure d'espace vectoriel
sur k par les formules :
{v + F) (w F) = V w F,
X(v h F ) = \v + F .
Cet espace est appel l'espace vectoriel quotient de F par F et est not F/F.
On vrifie que l'application v F de E vers F/ F est une surjection linaire.
Enfin, si on restreint cette application un supplmentaire F ' quelconque de F
dans F , l'application de F ' dans F / F est un isomorphisme. En particulier l'image
d'une base de F ' est une base de F/ F et la dimension de F est la somme de la
dimension de F ' et de celle de F/F.
Le sous-ensemble de <^(F) constitu par les applications bijectives est un groupe
pour la composition. Entre autres, l'application rciproque d'une application linaire
bijective est elle-mme linaire. C'est le groupe linaire de F et il est not G L (F ).
fi^ i) ^ ^
8 RAPPELS - Chap. 0
La matrice A = (a^k) de / dans les bases (e^) et (fj) est le tableau d'lments de
k a n lignes et m colonnes dont le terme situ sur la -ime ligne et la /i-ime
colonne est ae^h
L'ensemble des matrices coefficients dans k a n lignes et m colonnes est un es
pace vectoriel sur k de dimension mn, isomorphe ^k{E^F). Il est not Mn,m{k)^
Si m = n on notera (k) . la compose de deux applications linaires f \ E ^ F,
g: F correspond le produit des matrices. Nous renvoyons [LM] et [LA] pour
les dtails. En fait, Mn(A;) est un anneau. Les matrices inversibles constituent un
groupe pour la multiplication not GLn(fc). Il est videmment isomorphe G L(E ).
Rappelons la formule du changement de base. Soient (e^) et (e^) deux bases de
E et soient (fj) et (/j) deux bases de F. Soit P la matrice de passage de (e^)
(e^), c'est--dire la matrice dont les vecteurs colonnes sont les coefficients des
e'i^ dans la base (e^). Et soit Q la matrice de passage de (fj) (/j). Soit A la
matrice d'une application linaire / par rapport aux bases (e^) et (/j), et soit A'
la matrice de / par rapport aux bases (e^) et (/j). On a :
Pour terminer rappelons que le rang d'une matrice est gal la dimension du
sous-espace image de l'application linaire associe. C'est aussi la dimension de
la plus grande sous-matrice carre extraite inversible. C'est--dire la dimension de
la plus grande matrice extraite de dterminant non nul.
La formule pour le dterminant d'une matrice (n,n), A = {ij), est :
det{A) = \ai,j\ = n MW
se&n i
Ici 6 n est le groupe symtrique et sgn est la signature. Encore une fois on renvoie
[LA], [LM] pour les dtails ainsi que pour les formules de Cramer donnant
l'inverse d'une matrice.
Nous invitqns le lecteur relire toutes les proprits du dterminant lies aux ma
nipulations des lignes et des colonnes. Elles s'tendent immdiatement quand les
coefficients sont dans un corps commutatif quelconque ou un anneau commutatif
quelconque.
Nous concluons en donnant une partie du thorme de Rouch et Fonten :
Thorme Soit un systme de n quations linaires non homognes p inconnues.
Soit A la matrice de taille (p, n) du systme, soit k le rang de A. Alors si k = n le
systme admet une solution et l'ensemble des solutions un sous-espace affine de dimension
8 p n.
1
Q
0.6 - MATRICES, DETERMINANTS, SYSTMES LINAIRES 9
chapitre 1
Groupes
Groupes quotients
Groupes obliens
de type fini
Dans ce chapitre, on commence par rappeler les notions de base de la thorie des
groupes : sous-groupes, homomorphismes, noyaux, images, intersections, produits.
Le groupe des congruences modulo n est redfini et tudi en dtail. Puis on
introduit la notion de systme gnrateur d'un groupe, de groupe monogne et
d'ordre d'un lment.
La deuxime section est consacre l'tude des relations d'quivalence associe
un sous-groupe, puis la notion de sous-groupe distingu et celle de groupe
quotient. On classe alors les groupes d'ordre p o p est un nombre premier. Le
produit semi-direct de deux groupes est tudi en dtail.
Dans la troisime section on tudie la dcomposition primaire des groupes abliens
finis, en liaison avec le lemme Chinois .
Les deux dernires sections sont elles consacres la structure des groupes ab
liens de type fini. Il s'agit l de thormes plus difficiles mais il est souhaitable
que les noncs en soient connus en troisime anne de L icence .
11
1. G roupes, gnrateurs, groupes monognes
Cette section commence donc par un rappel des dfinitions de base :
Dfinition 1 /
Un groupe est un ensemble G muni d'une loi interne, Le. d'une application
P : G X G ^ G, qui satisfait aux conditions suivantes :
Dans la suite un groupe sera not (G,//). S'il n'y a pas lieu d'avoir une notation
particulire pour la loi interne celle-ci sera omise dans la notation, le groupe sera
seulement not G et p{g^ h) sera simplement not gh.
L'lment e est appel l'lment neutre. L'lment g' est appel l'inverse de g et
est not g~^. La dernire condition s'appelle l'associativit de la loi interne.
La premire condition implique l'unicit de e. En effet, soient deux lments e et e'
satisfaisant la premire condition. On a ee' = e et ee' = e' donc e = e'. La dernire
condition implique elle l'unicit de g~^. En effet soient et gi satisfaisant la
deuxime condition, on a = ^o(^^i) = {9o9)gi = 9i-
I
Dfinition 2
Un groupe (G, p) est dit ablien ou commutatif si pour tous x et y lments de
G on a p{x,y) = p{y,x).
0 0
1 0
Dfinition 3
Un sous-groupe d'un groupe (G, p) est un sous-ensemble non vide i de G tel
que l'application p restreinte a H x H soit valeurs dans H, et dtermine une
loi de groupe sur H,
La premire condition nous dit que p dfinit une loi interne pour H, On en conclut
que P est associative. En effet, les relations satisfaire le sont dans G, donc par
restriction dans H, La seconde condition est ralise ds que tout lment de H
a son inverse dans JT. Ces conditions sont quivalentes aux suivantes :
l'lment neutre appartient H
pour tous X ei y dans H p{x^y~^) appartient JT.
En effet, partons du second groupe de conditions. Si on remplace x par e dans
la seconde, on voit que si y G JT alors G JT. Si on y remplace y~^ par y, on
obtient la premire puis la seconde du premier groupe.
Inversement, si JT est un sous-groupe, les conditions du second groupe sont
satisfaites.
partir de groupes ou de sous-groupes, un certain nombre de constructions
permettent de construire de nouveaux groupes, en voici quelques unes :
Q
1.1 - GROUPES, GNRATEURS, GROUPES MONOGNES 13
Produits, produits restreints, et sommes directes de
groupes
tant donns une famille de groupes Gi, l'indice i dcrivant un ensemble I
considrons le produit
n<
iel
constitu par les lments (^i, ., Pi >) tels que pour tout i, sauf un nombre fini,
l'lment gi est gal l'lment neutre de G i. C'est un sous-groupe du produit.
Si l'ensemble d'indice I est fini, produit et produit restreint concident.
Si les groupes sont abliens, le produit restreint est appel la somme directe et est
not :
O i.
iel
Les groupes sont importants tant pour eux-mmes que pour les relations qu'ils ont
entre eux. Celles-ci s'expriment par les applications d'un groupe dans un autre,
compatibles aux lois la source, et au but, plus prcisment :
Dfinition 4
On appelle homomorphisme de (G,/x) dans {G\pl) une application (j) de G dans
G' telle que pour tous x ei y dans g on ait
4>{fJ'{x,y)) ^ n'i^{x),(i>{y)).
Dfinition 6
On appelle noyau d'un homomorphisme
(j) : G G '
l'ensemble des lments x de G tels que (>{x) = e', e' dsignant l'lment neutre
de G'. On le note Ker(0).
4>{x) = <l>{y)~^ =
et
4>{xy = 4>{x)<f>iy) = e',
le rsultat suit.
P
1.1 - GROUPES, GNRATEURS, GROUPES MONOGNES 15
La relation de congruence est une relation d'quivalence sur les entiers. La classe
d'quivalence d'un entier k est l'ensemble des entiers de la forme k + an, a G
Z quelconque, on la notera {k + nZ}. Ces classes d'quivalence constituent une
partition de Z.
On note Z/nZ l'ensemble des classes d'quivalence dans Z pour la relation de
congruence modulo n.
Dfinissons une loi interne, note +, sur cet ensemble par :
{ A i + n Z j - + {Ai^ + nZy = {A i + 1
Proposition 4. Cette loi dfinit sur Z/nZ une structure de groupe. De plus l'application
P : Z >Z/nZ qui un entier associe sa classe d'quivalence est un homomorphisme.
Groupes de permutations
Soit S un ensemble, l'ensemble ^ {S ) des applications bijectives, ou permutations,
de S dans lui-mme est un groupe pour la composition des applications. La loi est
interne car la compose de deux bijections est une bijection, elle est associative car
la composition des applications l'est. L'lment neutre est l'application identit de
X , note Idx dfinie par ldx{x) = x pour tout x e X. L'inverse est l'application
rciproque.
Voici un exemple particulier de sous-groupe de permutations. Soit E un espace vec
toriel sur un corps K . L'ensemble des applications linaires inversibles forme, pour
la composition des applications, un groupe not GL(J5). C'est un sous-groupe de
^ { E ) . Si E est de dimension finie n, et si on a choisi une base, le groupe GL(i?)
est isomorphe au groupe G L n(ii) des matrices inversibles (n,n) coefficients
dans K.
Systmes de gnrateurs
Nous dfinissons maintenant la notion de systme de gnrateurs pour un groupe.
Dfinition 8
L'ensemble ainsi dfini est un sous-groupe (proposition 1). Par dfinition, tout
sous-groupe de G contenant P contient ce sous-groupe.
Soit P = {xi,X2, ... ,Xn} une famille finie d'lments de G. On notera
{i,X2,...,Xn}
le sous-groupe engendr par P . Les lments Xi sont appels les gnrateurs.
L'ensemble P = { x i , X2, . . . , Xn } est un systme de gnrateurs. Il n'y a videmment
pas unicit des systmes de gnrateurs.
Dfinition 9
On dira que G est engendr par n lments s'il existe n lments
I dans G tels que le sous-groupe engendr par ces lments soit G lui-mme.
Proposition 6 Soit G un groupe ablien. Les deux conditions suivantes sont quiva
lentes :
G est engendr par n lments,
il existe un homomorphisme surjectif de Z^ sur G.
Nous n'avions donc pas besoin de l'hypothse G ablien pour cette partie de
l'nonc. Prenons maintenant la notation additive pour G. Posons Xi = (){ei), on
montre que { x i, . .. ,X n } est un systme de gnrateurs pour G, soit que tout
lment de G peut s'crire sous la forme SiA^Xi, pour Ai,. . . , An G Z^. En effet
l'ensemble des lments de la forme prcdente est un sous-groupe de G ainsi
qu'on l'a vu plus haut. Comme c'est l'image de 0 et que (j) est surjective, il est
gal G. Le rsultat suit.
I
i
,a>
Le cas des groupes engendrs par un lment mrite une attention particulire. On
8 remarque que ces groupes sont tous commutatifs. En effet si x dsigne le gnra
S teur le sous-ensemble {x^ |n G Z} du groupe est un sous-groupe qui s'identifie
au groupe par hypothse. Il est clair que x^ commute x^ pour tous m et n.
I
Q
1.1 - GROUPES, GNRATEURS, GROUPES MONOGENES 19
D f in it io n 1 0
Un groupe est dit monogne s'il admet un systme gnrateur rduit un
lment. Un groupe monogne fini est appel un groupe cyclique.
Introduisons maintenant :
D f in it io n 1 1
Soit G un groupe et soit x un lment de G. On appelle ordre de x, s'il existe,
le plus petit entier positif non nuUtel que = e. Si un tel entier n'existe pas
on dit que l'lment est d'ordre infini. Un lment d'ordre fini est aussi dit de
torsion.
Par exemple dans Z/nZ la classe de 1 est d'ordre n. Dans le groupe multiplicatif
U des nombres complexes de module 1 l'lment i est d'ordre 4, l'lment j est
d'ordre 3, l'lment ~ j est d'ordre 6, et l'lment ij est d'ordre 12.
D f in it io n 1 2
I Le cardinal ou nombre d'lments d'un groupe G est aussi appel son ordre. On
le note # G,
0 ( + 6) = () + ^(6).
Corollaire. L'ordre d'un lment est gal au cardinal du sous-groupe qu'il engendre.
Voici un exemple de calcul de l'ordre d'un lment, le corollaire sera utilis dans
la dernire section du chapitre.
n n a
pgcd(a, n)
l'entier a ----^ r est donc nul modulo n. Inversement, si k est l'ordre de a
p g c d ( a ,n )
l'entier n divise ka. crivons a sous la forme a'pgcd(a,n), en particulier a' est
premier n. L'entier divise ka\ donc divise k, d'o le rsultat.
p g c d (a , n )
On a donc
pgcd(a,n) ^
( ___ ^___ ) )
=< d \pgcd(a, n) //
L'implication inverse est immdiate.
Proposition 10. Soit H un sous-groupe de Z/nZ. Alors, soit H est trivial, c'est--
dire rduit l'lment neutre, soit H est isomorphe Ijim lj pour un entier m > 1 bien
dtermin et divisant n.
Corollaire 1. Soit G un groupe fini. L'ordre d'un lment divise l'ordre du groupe.
{ H ^ H i ) H 2 = { k m \ k e H qH,m gi/2 }=
i
Par exemple le groupe Z/nZ est le quotient du groupe Z par le sous-groupe nZ.
<t>'
G/Ker((^)- Itn(<^)
Le produit semi-direct
Nous allons tudier maintenant une construction qui illustre les dveloppements
prcdents : le produit semi-direct. Elle apparat naturellement dans un grand nombre
de situations.
On se donne un groupe G, un groupe F ainsi qu'un homomorphisme r de G dans
le groupe A ut(F) des automorphismes de F . Un lment g e G tant donn, r{g)
est donc un automorphisme de F . Soient (/,^), des lments du produit
F X G. On dfinit une loi interne sur F x G par la formule suivante
T h o r m e 5 . L'ensemble F x G muni de cette loi interne est un groupe que l'on notera
F Xr G. On l'appelle le produit semi-direct de G par F relativement r. Par ailleurs :
l'ensemble des lments de la forme (1,^), g ^ G , est un sous-groupe isomorphe G,
l'ensemble des lments de la forme (/, 1), f e F , est un sous-groupe distingu
isomorphe F , que l'on notera par abus galement F ,
l'intersection des deux sous-groupes prcdents est rduite l'lment neutre,
le quotient de F x^ G p a r ^ est isomorphe G.
I F
On remarquera que si r est l'identit on retrouve le produit ordinaire des groupes.
Q
1.2 - RELATIONS DQUIVALENCE DANS UN GROUPE 27
D m o n s t r a t i o n . Nous devons vrifier que la loi dfinie a un lment neutre,
qu'elle est associative et que chaque lment a un inverse. Pour ce qui est de
l'lment neutre on vrifie que (1, 1) en est un. Pour ce qui est de l'associativit
on calcule, omettant fj, dans les notations :
iifo>9o)ifi,9i)){f2,92) = {foT{9o)ifi),9o9i){f2,92)
= ifor{9o)ifi)r{9o9i){f2),9o9i92 ) ,
et
{ f o , 9 o ) { { f i , 9 i ) { f 2 , 9 2 ) ) = i f o , 9 o ) i f i ' r { 9 i ) { f 2 ) , g i g 2 ) =
= i f o T { g o ) { f i T { g i ) { f 2 ) ) , g o g i g 2 ) ,
mais on a
ce qui donne gg' = 1 soit g' = g~\ et f T { g ) { f) = 1 soit T {g ){f) = /"L Comme
l'application rciproque de T{g) est T{g~^) ceci donne f = r{g~^){f-^). On vrifie
que i f ,g ' ) i f ,g ) = (1, 1).
b ba bo? bo?
e a b ba bo? bo?
a a O? ba^ b ba bo?
0? a bo? bo? b ba
e a a^ ba bo? bo? b
b b ba bo? ba^ e a
^2 a^
ba ba bo? bo? b ^3 e a^
ba^ bo? ba^ b ba
^3 a
Etant donn que l'on a la table de Dg et la liste des lments du groupe en question il suffit
de construire une application / de Dg vers H qui soit une bijection et un homomorphisme.
On commence par observer que ncessairement on a /( e ) = e et que l'image d'un lment
d'ordre 2 (resp. 4) doit tre d'ordre 2 (resp. 4). Il y a dans les deux groupes 2 lments
d'ordre 4, pour H il s'agit de ec et e d . Posons donc /( a ) = ec, f{a^) = ed ce qui donne
/( a ^ ) = c d . Puis posons f(b ) = e, ce qui implique f{ba) = c, b{bd^) = e c d , f{ba^) = d .
On vrifie la main que l'application ainsi dfinie est un homomorphisme.
1
Q
1.2 - RELATIONS DQUIVALENCE DANS UN GROUPE 31
Le groupe quaternionien
Pour conclure cette section on va donner un autre exemple de groupe 8 lments
non ablien. En fait, on vrifie (exercice) qu'un groupe non ablien 8 lments
est isomorphe soit soit au groupe que l'on va dcrire.
On considre l'ensemble 8 lments constitu par les symboles
On note Q cet ensemble. On dfinit sur Q une loi interne par les conditions
suivantes :
1 est lment neutre,
( - 1) = - i , { - l ) j ^ - j , { - l ) k : -fc.
2 _ j 2 = /j2 _
- i j = k, j k = i, ki = j ,
j i = - k , k j = - i , ik - - j .
Ai 1 -1 i i 3 -3 k -k
1 1 -1 i i 3 -3 k -k
-1 -1 1 i i -3 3 k k
i i i -1 1 k -k -3 3
i i i 1 -1 -k -k 3 -3
j 3 -3 -k k -1 1 i
-j -3 3 -k -3 1 -1 i
k k k 3 -3 i i -1 1
-k -k k -3 3 i i 1 -1
On vrifie sans peine que la loi ainsi dfinie est associative et que chaque l
ment a un inverse. L'ensemble Q est donc un groupe avec cette loi interne. Il y a
un lment d'ordre 1, un lment d'ordre 2 et 6 lments d'ordre 4. Ce groupe
ne peut donc tre isomorphe au groupe Dg- En effet, s'ils l'taient, ils auraient
ncessairement autant d'lments d'ordre 1, 2 et 4, ce qui n'est pas le cas.
D f in it io n 1
Soit P un nombre premier, soit Gp le sous-ensemble de G constitu par les
lments dont l'ordre est une puissance de p. Un tel lment est dit de p-torsion.
P r o p o s i t i o n 1 Pour que Gp soit non rduit l'lment neutre il faut que p divise
l'ordre de G.
n
p WG
On observera que l'on peut prendre le produit sur tous les nombres premiers
ou seulement sur ceux pour lesquels Gp est non-trivial, le rsultat est le mme.
La dmonstration de ce thorme va prendre toute cette section. On va d'abord
noncer un certain nombre de lemmes. Le premier d'entre eux est connu sous
I le nom de lemme de Cauchy. Nous ne l'nonons ici que dans le cas o G est
ablien. On verra au chapitre suivant que l'on peut lever cette restriction.
L e m m e 1 Tout groupe ablien fini G dont l'ordre est divisible par un nombre premier
p contient un lment d'ordre p.
I
SJ
Q
1.3 - D ECOM PO SITION PR IM A IR E 33
Dmonstration du lemme. On raisonne par rcurrence sur l'ordre de G.
Soit donc n l'ordre de G, on suppose que p divise n. Si n = p le rsultat est une
consquence de l'tude des groupes cycliques, faite dans la section 1. Le groupe
tant alors isomorphe Z/pZ. Supposons le rsultat dmontr pour tout groupe
ablien fini dont l'ordre est strictement plus petit que n. Soit g e G un lment
distinct de l'lment neutre.
Si le sous-groupe engendr par g, {g) est gal G cela veut dire que G est cyclique
et que g est d'ordre n. Alors l'lment - g est d'ordre p.
P
Si (g) n'est pas gal G et si p divise le cardinal de (g) on peut appliquer
l'hypothse de rcurrence.
Sinon on peut considrer le groupe quotient G/ (g) et lui appliquer l'hypothse de
rcurrence. En effet, son ordre est divisible par p car c'est le quotient de n par
l'ordre de g, qui est premier p. Soit x un lment d'ordre p du groupe quotient.
Soit p G G un lment tel que 7r(p) = x , o tt dsigne la projection canonique de
G sur G/(p). L'ordre de y , que nous appellerons k , est un multiple de l'ordre de
X , c'est--dire de p. L'lment - y est alors d'ordre p, d'o le rsultat. m
P
= 1 ,.. .,
G
(xi,...,Xn) X \ - \ - X 2 ^ --------- \ -X n
O X k G Gpf^.
Faisons d'abord l'observation^suivante. Supposons que l'on ait x^y e G, avec G
ablien et que x et y soient d'ordre premiers entre eux. Supposons alors que x -h
y = 0, alors X et y sont nuis.
C'est une application de l'identit de Bzout. Soit l'ordre de x et -y l'ordre de
y. Il existe a et b tels que au + bv = 1. On obtient donc
au{x + y) = 0
et
au{x + y) = aux + auy = auy = auy + bvy = {au H- bv)y = y ,
donc y = 0. De mme on obtient x = 0.
Revenons la dmonstration du thorme. Supposons que l'on ait une quation
de la forme x^ = 0 . Soient Pi,P2, ,Pn les nombres premiers divisant l'ordre
de G.
On a alors x\ = 0, l'ordre de x\ est une puissance de pi, et celui de
qui divise une puissance.de Pn, sont premiers entre eux. Ces deux
n==n 2 = 1 ,... ,n
Pi
Ui = .
Les entiers l,U2,.. . ,n sont premiers entre eux, le. il n'y a pas d'entiers distincts
de 1 ou - 1 les divisant tous. On peut donc crire l'identit de Bzout : il existe des
entiers a i, . . . , an tels que aiUi H------ h a n U n = 1. Soit alors x G G, on a a: = a \ U \ x -\ -
-----\- anUnX. L'ordre de l'lment UiX (et donc aiUix) divise . Cet lment est
donc dans Gp,. D'o le rsultat. h
Q
1.3 - D COM PO SITION PR IM A IR E 35
Le lemme chinois peut videmment tre dmontr directement! On le fait en
exercice.
C o r o l l a i r e . Soit G un groupe ablien fini. Soit m le ppcm des ordres de ses lments,
alors il existe un lment d'ordre m dans G.
G = TLI2M. X Z /3 8 Z X Z /2 1 Z ,
on a :
Z /2 4 Z ^ Z /8 Z X Z /3 Z ,
Z /3 8 Z ^ Z /2 Z X Z /1 9 Z ,
Z /2 1 Z ^ Z /3 Z X Z /7 Z .
Donc
G ^ Z /2 Z X Z /8 Z X Z /3 Z x Z /3 Z x Z /7 Z x Z /1 9 Z .
D f in it io n 1
I On dit qu'un groupe ablien G est un groupe de type fini s'il a un nombre fini
de gnrateurs.
Les groupes abliens de type fini, c'est--dire les quotients de Z^ pour un cer
tain entier n, se rencontrent dans une grande varit de contextes mathmatiques.
Nous allons tudier leur structure. Ils se rpartissent en deux types :
D f in it io n 2
I On dit qu'un groupe ablien est un groupe de torsion si tout lment de G est
d'ordre fini, (on rappelle qu'un lment est dit de torsion si son ordre est fini).
D f in it io n 4
On appelle sous-groupe de torsion d'un groupe ablien G le sous-groupe constitu
I par les lments de torsion.
Un groupe G dont le sous-groupe de torsion est rduit { 0} sera dit sans torsion.
Soit G un groupe ablien de type fini.
D f in it io n 5
Le groupe ablien G sera dit libre s'il est isomorphe pour un certain
entier n.
Un groupe ablien libre est sans-torsion. Les rsultats suivants dcrivent la structure
des groupes abliens de type fini. Le premier rsultat sur la structure des groupes
abliens de type fini est que les deux types dcrits ci-dessus permettent de les
dcrire tous :
T h o r m e 1 Tout groupe ablien de type fini G est somme directe d'un groupe ablien
libre L et d'un groupe de torsion T. Si on a des isomorphismes G = L ^ T et G = L' ^ T ',
L et libres, T et V de torsion alors L est isomorphe U et T est isomorphe T'.
Il nous faut maintenant tudier les deux types en question. On commence par le
O cas des groupes libres. Pour le cas des groupes de torsion on renvoie la section
a
suivante.
Q
1.4 - STRUCTURE DES GROUPES ABELIENS DE TYPE FINI 37
T h o r m e 2 . Soit L un groupe ablien sans torsion de type fini, alors L est isomorphe
IT' pour un entier n bien dtermin.
Ce thorme n'est pas vrai si on remplace la mention sans torsion de type fini par
sans torsion.
Les thormes 1 et 2 seront dmontrs plus loin. On commencera par noncer et
dmontrer la proposition suivante :
........
La premire condition quivaut dire que ( x i, ... ,Xn) est isomorphe 1/^.
On dira qu'une telle famille est un systme libre maximal.
Des familles satisfaisant la premire condition et ayant un cardinal non nul exis
tent ds que le groupe n'est pas un groupe de torsion. En effet, il suffit de prendre
la famille rduite un lment qui n'est pas de torsion. L'existence d'un systme
4
cd libre maximal est garantie par la proposition prcdente.
I
Q
1.4 - STRUCTURE DES GROUPES ABLIENS DE TYPE FINI 39
En effet, si G est un quotient de et si { x i,...,X n } est une famille de G
satisfaisant la premire condition, on va montrer que n Soit tt l'appli
cation canonique de dans G. L'ingalit rsulte de l'observation suivante :
soient G Z^ tels que n{x^^) = x i. Le systme form par les x\ satisfait la pre
mire condition, il engendre un groupe isomorphe Z^, donc n ^ m d'aprs la
proposition 2.
Soit {x\ ,...,X n } une famille satisfaisant aux deux conditions. Considrons un sys
tme de gnrateurs {?/i, . . . , 2/m} de L, puis le systme {a;i, . . . , Xn, 2/j } Pour tout
1 ^ j ^ m II existe des entiers , l ei ij non tous nuis tels que
A l J 2^1 H * * h ^ n , j ^ n "1 l ^ j U j ~ 0
Donc
<p{h ft') = (j){a{lx)) = a(j){lx) = ay = a lw ,
et
Xw X!w = a lw ,
car l'ordre de w est un diviseur de k. L'application est donc bien dfinie.
La dmonstration du lemme s'achve par une rcurrence. Le groupe G est engen
dr par H et un nombre fini d'lments Xi, i = 1,..., fc. On fait une rcurrence sur i
variant de 1 fc. On vient de faire le pas initial de la rcurrence. On suppose avoir
prolong l'homomorphisme au sous-groupe engendr par et , . . . , . De nou
veau, on prolonge celui engendr par i f et x i , . . . , comme il a t indiqu, b
'^ Z x . X I ji /
P / P
et
77 fm'Tl r
Z X xZ /
V / P '
I
Voici un exemple : Soit le groupe
G= X Z /3 8 Z X Z /2 1 Z ,
rappelons que l'on a :
I G^ Z /2 Z X Z /8 Z X Z /3 Z x Z /3 Z x Z /7 Z x Z /1 9 Z .
a ce qui se rcrit :
0)
a
8 G^ (Z /2 Z X Z /3 Z ) X (Z /8 Z x Z /3 Z x Z /7 Z x Z /1 9 Z ) ,
I
ce
soit
G ^Z/6ZxZ/3192Z.
I
Q
1.5 - STRUCTURE DES GROUPES ABLIENS DE TYPE FINI DE TORSION 43
H H nnH H nH BB Exercices bw w b m w m i^ ^
Certains exercices font appel des dfinitions nonces au chapitre 2. Entre autres
celle du groupe symtrique, le lecteur, au cas il ne saurait pas cette dfinition, s'y
reportera.
I. G n r a lit s
1. a) Soit G un groupe dont tous les lments, distincts de l'lment neutre, sont
d'ordre 2. Montrer qu'il est commutatif.
b) Montrer que si G est fini son cardinal est une puissance de 2, on pourra
raisonner par rcurrence sur l'ordre de G,
c) Montrer que G est isomorphe au groupe {Zf2Z)^.
3. Soit P un nombre premier, montrer que tout groupe d'ordre 2p contient un lment
d'ordre P, on utilisera l'exercice 1.
II. S o u s - g r o u p e s d is t in g u s , g r o u p e s q u o tie n t s
9 . a) (Voir [Del]) Montrer que si G/Z(G) est fini il en est de mme de D{G)
(exercice 3). On commencera par montrer que l'ensemble des commutateurs
de paires d'lments de G est fini et stable par les automorphismes intrieurs.
Majorer le cardinal t de cet ensemble en fonction du cardinal n du groupe
quotient. On notera ce cardinal.
b) Montrer que si 7 est un commutateur sont des commutateurs un produit de
P -f g commutateurs comportant 7 au moins p fois peut se rcrire sous la forme
a
cd o U est un produit de q commutateurs.
I
Q
EXERCICES 45
c) Montrer que l'on a la relation :
[ x , y ^ ] [ y x y ~ ^ = [,/]"+ ,
pour tout X et y, on rappelle que [x^y] = xyx~^y~^. Montrer jfinalement qu'on
peut ramener tout produit de commutateurs au plus n termes.
12. Montrer que 63 est un produit semi-direct. Montrer que le groupe orthogonal
0(2) est le produit semi-direct de Z/2Z et de 5 0 (2 ).
13. Calculer le centre des groupes Og et Q. Calculer les groupes quotients. De mme
rechercher les groupes drivs D{G) pour Og et Q et dterminer les groupes
ablianiss.
14. a) Montrer que tous les sous-groupes du groupe quaternionien Q sont distingus.
Montrer que le groupe Q n'est pas le produit semi-direct d'un groupe d'ordre
2 par un groupe d'ordre 4.
b) Identifier Q un sous-groupe de GL2(C).
15. Dcrire tous les groupes d'ordre 8. On commencera par dcrire tous les groupes
abliens, puis on passera au cas non ablien.
5. Soit ; = (ai, . . . , an) G Z^. Montrer que les conditions suivantes sont quivalentes :
il existe un homomorphisme i: Z^ ^ Z tel que ii{v) = 1,
les entiers a i, . . . , an sont premiers entre eux dans leur ensemble,
il existe une matrice (n, n) coefficients entiers de dterminant gal 1 dont
la premire colonne est v.
Q
EXERCICES 47
l m e n ts c d 'o r d r e 3 v o n t p a r p a ir e (c e t c^). L e g r o u p e 6 3 e s t is o m o r p h e D 3 , v o ic i s a
tab le e n n o ta n t c u n l m e n t d 'o r d r e 3 e t r u n l m e n t d 'o r d r e 2 :
e TC TC"
e e c c TC Tc2
c c C2 e TC TC
C2 c2 e c TC TC T
r r TC rc2 e c C2
TC TC rc2 r c2 C
^^2 rc2 r TC c e
D a n s le s d e u x c a s q n d o it v rifie r q u e ceci d te r m in e b ie n u n h o m o m o r p h is m e .
II. S o u s - g r o u p e s d is t in g u s , g r o u p e s q u o t ie n t s
2. a) b) O b s e r v e r q u e le g r o u p e d riv e s t c o n te n u d a n s le n o y a u d e to u t h o m o m o r p h is m e d e
G v e r s u n g r o u p e a b lie n et a p p liq u e r la fa c to risa tio n c a n o n iq u e .
8 . C h o isir un re l v e m e n t du g n r a te u r g de G IZ {G ), o b se rv e r que ce re l v e m e n t
et Z {G ) e n g e n d re n t G. D onc to u t l m e n t s ' c r it g^z, z Z {G ). On a a lo rs
g ^ z g ^ z ' = g ^ z z ' g^'- = z z ' g ^ g ^ = z' g^'^zg^.
(-) ( - 0 -
13. O n tro u v e d a n s le s d e u x c a s Z / 2 Z c o m m e c e n tre e t Z / 2 Z x Z / 2 Z c o m m e q u o tie n t. L e
g r o u p e d r iv e st le cen tre d a n s le s d e u x c a s.
P o u r la d e rn i re la r p o n se e st n o n , o n c o n s id r e r a le s o u s - g r o u p e e n g e n d r p a r 1 e t \ / 2 .
4. C o n sid re r la s u ite ( 1 , 2 !, 3 ! , . . . , n ! , . . . ) .
EXERCICES 49
5. crire la fo r m e g n r a le d 'u n h o m o m o r p h is m e d e IP- d a n s Z e t u tilis e r B z o u t et le
d v e lo p p e m e n t d u d te r m in a n t.
6. E x p r im e r le s i m a g e s d e s g n r a te u r s p a r u n a u to m o r p h is m e c o m m e c o m b in a is o n lin a ire s d e s
g n r a te u r s . P u is p r o c d e r c o m m e d 'o r d in a ir e e n a lg b r e lin a ire e n v rifia n t s o ig n e u s e m e n t
le s ta p e s .
b) O n c o n s id r e le s o u s - g r o u p e Z /2 Z x Z /2 Z d e Z / 4 Z x Z / 2 Z . u n a u to m o r p h is m e
d e Z /4 Z X Z /2 Z o n a s s o c ie s a re stric tio n ce s o u s - g r o u p e . C 'e s t u n a u to m o r p h is m e
d e Z / 2 Z X Z / 2 Z . O n m o n tre ra q u e l'im a g e e s t d 'o r d r e 2 e n c o n s id r a n t l'a c tio n s u r
le s g n r a te u r s d e Z / 4 Z x Z / 2 Z : o n o b s e r v e r a q u 'o n o b tie n t d e s m a tric e s t r ia n g u la ir e s
s u p r ie u r e s. L e n o y a u e s t is o m o r p h e a u g r o u p e d e s a u to m o r p h is m e s d e Z / 4 Z x Z / 2 Z
la is s a n t fix e Z / 2 Z x Z / 2 Z : le s a u to m o r p h is m e s d e Z / 4 Z , s o it Z /2 Z .
c) O n c o n sid re le s o u s - g r o u p e Z / 2 Z x Z / 2 Z d e Z / 4 Z x Z /4 Z . u n a u to m o r p h is m e d e
Z / 4 Z X Z / 4 Z o n a s s o c ie s a re stric tio n ce s o u s - g r o u p e . O n m o n tre ra d a n s ce c a s q u e
l'h o m o m o r p h is m e e st s u r je c tif e n f a is a n t u n e c o n str u c tio n e x p lic ite : u n a u to m o r p h is m e
d e Z / 2 Z X Z / 2 Z e s t d o n n p a r u n e m a tric e (2 ,2 ) c o e ffic ie n ts d a n s Z / 2 Z d e d te r m in a n t
n o n -n u l, u n a u to m o r p h is m e d e Z / 4 Z x Z / 4 Z e s t d o n n p a r u n e m a tric e (2 ,2 ) c o e ffic ie n ts
d a n s Z / 4 Z d e d te r m in a n t in v e rsib le . D o n c ta n t d o n n e u n e m a tric e ( 2 , 2 ) c o e ffic ie n ts
d a n s Z / 2 Z d e d te r m in a n t n o n -n u l o n tr o u v e r a u n e m a tric e (2 ,2 ) c o e ffic ie n ts d a n s Z / 4 Z
d e d te r m in a n t in v e rs ib le d o n t la r d u c tio n m o d u lo 2 e s t la m a tric e in itiale . P o u r ce q u i
e s t d u n o y a u m o n tre r q u 'il e s t is o m o r p h e Z / 2 Z x Z /2 Z e n c o n s id r a n t le s m a tric e s (2 ,2 )
c o e ffic ie n ts d a n s Z / 4 Z la is s a n t fix e Z / 2 Z x Z / 2 Z C Z / 4 Z x Z / 4 Z
Actions de groupes
Groupes symtriques
Ce chapitre est consacr l'tude des actions de groupes sur des ensembles. Les
groupes apparaissent le plus souvent dans ce contexte et non pour eux-mmes.
C'est le cas en gomtrie : par exemple les groupes laissant invariants des polydres
ou tout autre figure gomtrique.
L'action d'un groupe sur lui-mme par conjugaison est un outil puissant pour
comprendre sa structure. On le verra l'occasion de l'tude des thormes de
Sylow. De ce point de vue, c'est galement une mthode utile pour classifier les
petits groupes finis isomorphisme prs. On donnera des exemples dans le
cours, et d'autres dans les exercices.
Enfin, le groupe symtrique mrite une tude part, cause de la grande varit
de situations o il apparat, et cause de ses liens avec la combinatoire. On en
dcrira les classes de conjugaison, ainsi que des systmes de gnrateurs.
I D f in it io n 1
On appelle action gauche de G sur S une application (j):G x S S telle que :
l'application s 0(l,s) est l'application identit de S,
pour tous g,g' e G, s e S on a :
s <!>{99\s ) = <!){g,<t>{g' , s ) ) .
I
73
et
s) = H99'){s) = (I>{9){<t>i9'){s)) = (/){gy s) ) ,
pour tous g, g' e G et s e S.
Nous allons maintenant dcrire des exemples fondamentaux.
Soit S un ensemble ; le groupe ^{S ) agit sur S par l'application ^{S ) x S S
donne par
(0, s)i >(>{s) 0 G ^ (5 ), se S.
L'homomorphisme associ est l'identit de ^ {S ).
Cette formule dtermine une action gauche de 6n sur K[X\, . . . , . Les lments
fixes de cette action seront dcrits au chapitre 3.
Q
2.1 - ACTIONS DE GROUPES, EXEMPLES 53
Il est intressant dans ce cas d'tudier le noyau de l'homomorphisme associ :
Le groupe r\geG9Hg~^ est distingu par construction. C'est en fait le plus grand
sous-groupe distingu de G contenu dans H : tout sous-groupe distingu de G
contenu dans H est contenu dedans.
Dfinition 2
Dfinition 3
L'ensemble des lments conjugus un lment x de G est appel sa classe de
conjugaison.
Le stabilisateur d'une partie A contient, mais est (en gnral) diffrent du fixateur.
On dit qu'un lment du stabilisateur de A laisse A fixe globalement, alors qu'un
lment du fixateur laisse A fixe point par point.
Si on considre l'ensemble {1, )Ti } l'ensemble de ses bijections est le groupe symtrique
6 n (section 4). Le stabilisateur du point n est le groupe symtrique 6 n - i
Soit maintenant G Ln(M ) le groupe des matrices (n ,n ) inversibles coefficients dans M. Il
agit sur . Le stabilisateur du vecteur ( 1 , 0, . . . , 0) est constitu par les matrices de la forme
'1) ^1,2j J i^l,n ^
0
(B )
0
o B est une matrice (n 1 , n 1 ) inversible. On notera que l'ensemble quotient du groupe
I
linaire par ce sous-groupe est en bijection avec { 0}.
I
D f in it io n 1
I On appelle orbite 0 de e sous l'action du groupe G l'ensemble {ge \g e G}.
D f in it io n 2
I Si l'ensemble E sous l'action de G a une seule orbite on dit qu'il est transitif.
Par exemple l'action par translation d'un groupe G sur lui-mme ou sur un
quotient G /H est transitive.
En conclusion un ensemble E sur lequel agit un groupe G est runion de sous-ensembles
transitifs sous l'action de G, savoir les orbites.
D f in it io n 3
On dit que E et " sont isomorphes s'il existe une application f : E ^ E' telle
que :
/ est une bijection,
pour tous g e G, s e E on a f{g s) = g f{s).
La seconde condition nous dit que / est compatible aux actions dans les deux
membres. tant donne la dcomposition en orbites dcrite plus haut ceci rduit
l'tude de tous les ensembles munis d'une action d'un groupe G l'tude des
ensembles de la forme G /H , comme le montre le thorme ci-dessous.
I
(X
Ceci montre en particulier que le cardinal du fixateur d'un point d'un ensemble
s transitif E ne dpend pas de ce point.
Ce qui implique qu'ils ont mme cardinal, car deux parties conjugues ont mme
nombre d'lments.
Revenons au cas d'un ensemble E muni d'une action de G non ncessairement
transitive. Soit { & i \ i e I ) l'ensemble des orbites. Supposons que 0i = Gsi, Si G E.
Comme les orbites constituent une partition de E, on obtient :
#G
*E =
^iel # F ix a is i)
Dans la formule prcdente on identifie une classe de congruence modulo p , , avec son
reprsentant compris entre 1 et p . On vrifie que ceci dtermine bien une action de Z /p Z
sur A ^ . Les orbites ont soit p lments, soit 1 lment comme p est premier et que le cardinal
d'une orbite divise p . L'ensemble A^ est donc runion d'orbites un lment (les points fixes)
et d'orbites p lments. Il en rsulte que le cardinal de A^, soit a ^ , est congru modulo p
au cardinal de l'ensemble des points fixes. O r l'ensemble des points fixes est l'ensemble des
lments diagonaux, c'est--dire de la forme ( x , . . . , a;). Il y en a clairement a. Soit le rsultat
cherch.
Anticipant l'analyse du groupe symtrique, qui sera faite aprs, voici l'quation des classes
pour 6 3 . Le centre est rduit l'lment neutre. Il y a 3 lments d'ordre 2 tous conjugus et
2 lments d'ordre 3 conjugus. L'quation des classes s'crit donc :
1
d 6 = 1 + 3 + 2.
I
'O
O
a3
Q
2.2 - ORBITES, ENSEMBLES TRANSITIFS, DCOMPOSITION EN ORBITES 59
Voici une application classique de la formule des classes :
T h o r m e 2 Soit G un groupe non rduit un lment, dont l'ordre est une puissance
d'un nombre premier p. Alors le centre de G contient au moins p lments.
Voici une autre application. Soit G un groupe dont l'ordre est une puissance d'un nombre
premier p, alors pour tout entier h < n \\ existe au moins un sous-groupe T de G dont
l'ordre est p ^ . Les dtails sont donns faire en exercice. L'ide est de faire une rcurrence
sur l'entier n en utilisant le thorme.
D f in it io n
Si on considre la formule des classes, on en conclut que l'entier # Z (G) est divi
sible par p. Le groupe Z(G) tant commutatif, on peut appliquer le lemme 1 de
la section 3 du chapitre 1, dit de Cauchy. Il y a donc au moins un sous-groupe
E d'ordre p dans Z (G). Un tel sous-groupe est distingu dans G. En effet tout
sous-groupe du centre est distingu dans G.
Considrons alors le quotient G jE , et n : G ^ C jE l'homomorphisme canonique.
Par hypothse de rcurrence. G/JS a un p-sous-groupe de Sylow 5 ', qui est de
I cardinal p"^. Le sous-groupe n~^{S) est de cardinal p et est donc un p-sous-
groupe de Sylow de G. m
I
Q
2.3 - THORMES DE SYLOW 61
Notons le corollaire, dmontr au cours du dveloppement, et qui n'est autre que
le lemme de Cauchy dans le cas gnral :
T h o r m e 2 ( d e u x i m e e t t r o is i m e t h o r m e s d e S y lo w ) .
Soit G un groupe fin i et soit p un nombre premier divisant # G.
Tout sous-groupe dont l'ordre est une puissance de p est contenu dans un p-sous-
groupe de Sylow,
deux p-sous-groupes de Sylow sont conjugus entre eux,
le nombre des p-sous-groupes de Sylow est congru 1 modulo p.
Q
2.3 - THORMES DE SYLOW 63
un point, on a 5 = 5 '. L'orbite de tout S' ^ S a donc un cardinal divisible par p
puisque c'est un diviseur non-trivial de p . L'ensemble considr est donc runion
disjointe d'une orbite rduite un point et d'une famille d'orbites dont le cardinal
est divisible par p, le rsultat suit. s
Notons que les remarques prcdentes impliquent aussi que si < p le p-sous-
groupe de Sylow est distingu. Car lp-\-l ne peut diviser q que si 1 = 0.
Le corollaire suivant est laiss en exercice.
Le premier rsultat important sur le groupe symtrique est le calcul de son cardinal :
T h o r m e 1 Le groupe symtrique de l'ensemble n lments a n\ lments,
Dans cette formule r7i,a(n) dsigne l'unique permutation qui change n et a{n)
et qui est fixe sur les autres lments. Le second terme peut tre identifi un
lment de 6n-i car = n ei l'ensemble des permutations de &n sa
tisfaisant cette proprit est un sous-groupe qui s'identifie 6n-i- Admettant
que l'application est une bijection la dmonstration se termine en calculant le
nombre d'lments [n] x 6 n - i, soit n x (n 1)! = n!. Revenons sur la bijectivit,
et construisons une application rciproque. Considrons un lment i e [?i] et une
permutation quelconque (f) G &n-\ Soit ri^n la permutation qui change i et n et
qui laisse les autres lments fixes. On vrifie que :
D f in it io n 1
0 On appelle support d'un lment a & l'ensemble des i {1, ... ,n} qui ne
'
<3 sont pas des points fixes de a , c'est--dire l'ensemble des i tels que a{i) i.
1
1
Q
2.4 - GROUPES SYMTRIQUES, CLASSES DE CONJUGAISON 65
P r o p o s i t i o n 2 . Le support de a est stable sous l'action du sous-groupe engendr par a.
Dcompositions en cycles
D f in it io n 2
Soit k un entier tel que 1 < k ^ n . On appelle k-cycle un lment a de n dont
le support S a k lments et tel que l'orbite de tout lment du support sous
l'action du sous-groupe (a) soit le support tout entier.
soit . ,
{s,CT(s),...,a'' '(s) },
car = cr^{s).
Pour ce qui est de la seconde condition, il suffit de montrer que les lments
l, ( j , ... sont deux deux distincts. Ceci entrane que #(cr) = fc, le rsultat
suit car cr^ = 1. Mais l'argument prcdent dmontre la condition requise.
Quand le support est rduit deux lments on dit que le 2-cycle est une
transposition.
Les permutations suivantes sont des transpositions :
1, 2, 3, 4, 5 1, 2, 3, 4\ / 1 , 2, 3, 4, 5, 6, 7\
1, 3, 2, 4, 5 2, 1, 3, 4^ 2, 3, 4, 5, 6,
T h o r m e 3 . Soit a e&n- U existe une famille, unique l'ordre prs, de k-cycles Ci,
= 1,... i telle que :
= Cl O C2 O O Ci ;
Q
2.4 - GROUPES SYMTRIQUES, CLASSES DE CONJUGAISON 67
D m onsfration. Soit a la permutation considre, et soit H = (a) le sous-groupe
qu'elle engendre. Considrons la dcomposition en orbites de l'ensemble {1,... ,n}
sous l'action de H, soient ,..., les orbites non rduites un lment. D
finissons le cycle Ci comme tant gal a sur l'orbite et l'identit sur le
complmentaire. C'est un cycle d'ordre # 0 i .
On a besoin du lemme suivant dont la dmonstration est laisse au lecteur.
De cela il rsulte que la permutation a est le produit des q pris dans un ordre
arbitraire.
Inversement, soit une permutation a qui s'crit comme produit de cycles com
mutant deux deux. Les orbites des lments de n}, non rduites un
lment, sous l'action de (a) sont les supports des cycles considrs. Les cycles
Ci sont donc uniquement dtermins comme tant les permutations qui sont res
trictions de a aux orbites de (cr), non rduites un lment et l'identit sur le
complmentaire de l'orbite. m
D f in it io n 3
On appelle partition d'un entier n toute suite dcroissante d'entiers positifs non
nuis (Al, . . . , A/i) telle que
Al + + A/i = n .
On fera attention ne pas confondre la notion de partition d'un entier n avec celle
de partition de l'ensemble { ! , . . . , n}. C'est--dire avec avec la donne d'une fa
mille de sous-ensembles Ai, i e I de sous-ensembles de { 1,... ,n} dont la runion
est gale .{1,... ,n} et qui sont disjoints deux deux. En fait si on a une telle
partition la famille des entiers # Ai est une partition de l'entier n. Mais on vri
fiera aisment que deux partitions distinctes de { 1, .. . ,n} peuvent crer la mme
partition de n. C'est le cas pour les partitions {1 },{2,3} et {1 ,2},{3} de [3].
Q
2.4 - GROUPES SYMTRIQUES, CLASSES DE CONJUGAISON 69
Signature d'une permutation
La fin de cette section est consacre l'tude de la signature d'une permutation.
Dfinition 4
Soit cr G 6n/ et soient z, j G { 1 ,. .. ,n} tels que i < j. On dit que a prsente une
inversion en { i j ) si a{i) > a{j). On appelle nombre d'inversions de a, et on
note u{a), le nombre de couples ( i j ) , i < j, tels que cr prsente une inversion
en
Dfinition 5
Soit (7 G 6 , on appelle signature de a , et on note e(a), l'entier suivant gal 1
OU - 1 :
]^cr(i) - a O )
i< j
i< j
D m o n s t r a t i o n . Calculons :(cror). On a :
Y[(TO T{i) - a o r { j )
i<3
e{ Or) =
H i- j
i< j
On reconnat e(a).
Dfinition 6
On va terminer cette section en donnant une liste des classes de conjugaison, de l'ordre d'un
lment dans la classe, du nombre d'lments dans la classe pour les groupes 6 4 , et 6 5 . Le
cas de 6 3 ayant t donn plus haut. Les classes de conjugaison sont indexes comme il a
t indiqu plus haut sur les partitions. La partition est donc indique sur la premire colonne,
l'ordre sur la seconde, le nombre d'lments dans la classe dans la troisime.
I
partition ordre cardinal de la classe
(1.1.1,1) 1 1
I (2,1.1) 2 6
(2,2) 2 3
0 (3 , 1 ) 3 8
5
'S (4 ) 4 6
s
1
7g3
Q
2.4 - GROUPES SYMTRIQUES, CLASSES DE CONJUGAISON 71
Voici quelques indications sur cette table. la partition ( 1 , 1 , 1 , 1 ) correspond videmment
l'lment neutre. A la partition (2 , 1 , 1 ) correspondent les transpositions. Il y en a autant que
de sous-ensembles 2 lments, soit 6 . A la partition (2 , 2 ) correspondent les produits de
transpositions supports disjoints, il y en a 3, (1 ,2 )(3 ,4 ), (1 ,3 )(2 ,4 ), et (1 ,4 )(2 ,3 ). la
partition (3,1) correspondent les 3-cycles. Il y en a 8, en effet pour dterminer un 3-cycle
on commence par dterminer le support, on a 4 choix possibles, puis sur ce support on a
deux choix possibles correspondant aux deux 3-cycles de 6 3 . Enfin (4) correspondent les
4-cycles. Il y en a 6 . En fait (exercice !) il y a (n 1 )! n-cycles dans 6 n .
p a rtitio n o rd re c a rd in a l de
(1 , 1 , 1 , 1 , 1 ) 1 1
(2 , 1 , 1 , 1 ) 2 10
(2 , 2 , 1 ) 2 15
(3,1,1) 3 20
(3,2) 6 20
(4,1) 4 30
(5) 5 24
Q
2.5 - GROUPES SYMTRIQUES, GNRATEURS, SIMPLICIT DU GROUPE ALTERN 75
D m o n s t r a t i o n . La dmonstration prcdente marche, ceci prs qu'il nous
faut avoir deux lments en dehors du support des permutations considres. Ce
qui implique que l'on doit avoir n ^ 8. En fait pour les 5-cycles, n > 7 suffit et
pour les produits de transpositions supports disjoints n ^ 6 suffit. b
/^1, 2, 3, 4, 5\
V4 3, 1, 5, 2 J
qui est paire. Le cycle c' est donc dans H, Enfin cc' est le 3-cycle (2,5,3). On
conclut comme plus haut.
A c t io n s d e g r o u p e s , q u a t io n d e s c la s s e s , t h o r m e s d e S y lo w
3. Soit G un groupe fini, et soit p le plus petit nombre premier divisant l'ordre de G.
Soit H un sous-groupe tel que # G = p ( # i). Montrer que i est distingu. On
pourra utiliser la proposition 2 de la section 1.
4. Les quations suivantes peuvent elles tre l'quation des classes d'un groupe
d'ordre 12 ?
12 = 3 + 5 + 4,
12 = 4 + 4 + 4,
le premier terme dsignant l'ordre du centre.
6. Montrer que dans un groupe d'ordre 12, il y a toujours soit un groupe d'ordre 4,
soit un groupe d'ordre 3 distingu. On utilisera les thormes de Sylow.
En dduire qu'un groupe d'ordre 12 est toujours le produit semi-direct d'un
groupe d'ordre 4 par un groupe d'ordre 3 ou inversement.
3
Q
EXERCICES 77
Pour dmontrer cela, on considrera l'action d'un 3-sous-groupe de Sylow sur
le 2-sous-groupe de Sylow (qui est distingu),
c) Montrer que si un groupe H d'ordre 12 a un 3-sous-groupe de Sylow distingu,
alors l'une des alternatives suivantes a lieu :
H est ablien,
si le 2-sous-groupe de Sylow est isomorphe Z/2Z x Z/2Z alors H est
isomorphe Z/2Z x 6 3 ,
si le 2-sous-groupe de Sylow est isomorphe Z/4Z, alors H a pour
gnrateurs deux lments a et b, le premier d'ordre 3, le second d'ordre
4 et on a bab~^ = o r .
10. Soit P un nombre premier, et soient n et h des entiers avec h < n . Montrer en
dtail que tout groupe d'ordre p^ a au moins un sous-groupe d'ordre p^.
11. Soit H un groupe d'ordre 18, montrer qu'il contient un 3-sous-groupe de Sylow
distingu. Gnraliser aux groupes d'ordre 2p^ avec p premier impair. En dduire
que ce sont tous des produits semi-directs.
12. Soit G un groupe fini dont tous les sous-groupes de Sylow sont distingus. Montrer
que G est isomorphe au produit de ses sous-groupes de Sylow.
eeE geG
II. G r o u p e s s y m t r iq u e s
1. C o n s t r u i r e u n h o m o m o r p h i s m e s u r j e c t i f d e 6 4 v e r s 6 3 , e n c o n s i d r a n t u n e action
transitive d e 6 4 s u r u n e n s e m b le 3 l m e n ts .
un sous-groupe H tel que &n-i C H C &n, alors soit H = &n-i soit H = &n-
I b) Soient deux entiers p et g tels que p + q = n. On considre le sous-groupe
stabilisateur du sous-ensemble {1, .. . ,p} c {1 ,. .. ,n}. Montrer que ce sous-
groupe est isomorphe au groupe &p x &q. Montrer que ce sous-groupe est
un sous-groupe maximal (au sens prcdent) de &n
I
73
I
Q
EXERCICES 79
9. Caractriser les partitions correspondant des lments du groupe altern.
11. Soit i{s) le nombre de cycles d'ordre i dans la dcomposition en cycles d'un
lment s du groupe altern. Montrer que l'alternative suivante a lieu. Soit les
classes de conjugaison de s dans le groupe altern et dans le groupe symtrique
sont gales, soit il existe un entier i tel que 2i{s) > 0 ou que 21+1 (s) > 1.
III. C la s s if ic a t io n d e p e t it s g r o u p e s f in is
3. Soit P un nombre premier impair de la forme 3fc + 2. Montrer que tout groupe
d'ordre 3p^ est ablien.
4. Montrer qu'un groupe d'ordre 255 est ablien. On montrera qu'il y a un sous-groupe
distingu d'ordre 85.
3. O n c o n stru it u n h o m o m o r p h is m e d e G v e r s le g r o u p e s y m tr iq u e 6 p , e n c o n s id ra n t
l'a c tio n p a r tra n sla tio n d e G s u r G / H q u i a p l m e n ts. P u is o n u tilis e la c o n d itio n d e
p r im a u t : le n o y a u d e cet h o m o m o r p h is m e e s t l'in te rse c tio n d e s c o n ju g u s d e H , m a is
c a u s e d e s c o n d itio n s a r ith m tiq u e s l'o r d r e d e l'im a g e d iv is e p e t e s t e n fa it g a l p , d o n c
l'o rd re d u n o y a u e st g a l c e lu i d e H .
4. L e p r e m ie r c a s e st im p o s s ib le , c a r 5 n e d iv is e p a s 12. L e s e c o n d l'e s t a u s s i c a r le g r o u p e
q u o tie n t d e G p a r s o n cen tre s e r a it Z / 3 Z e t G s e r a it ab lie n .
6 . O n c o m p te le n o m b re d ' l m e n ts a p p a r te n a n t u n 3 - s o u s - g r o u p e d e S y lo w . S i il n 'y a p a s
I
d e 3 - s o u s - g r o u p e d e S y lo w d is tin g u , c o m m e il y a u m o in s 4 3 - s o u s - g r o u p e s d e S y lo w ,
il y a a u m o in s 8 l m e n ts d 'o r d r e 3. A v e c l' l m e n t n e u tre c e la fa it 9 l m e n ts. L e s 3
l m e n ts fo rm e n t n c e ssa ir e m e n t a v e c l' l m e n t n e u tre u n 2 - s o u s - g r o u p e d e Sy lo w .
9. L e s d ia g o n a le s d u c u b e fo rm e n t u n e n se m b le 4 l m e n ts la is s fix e p a r le s is o m tr ie s fix a n t
le cu b e . C e c i d te r m in e d o n c u n h o m o m o r p h is m e d u g r o u p e d u c u b e v e r s le g r o u p e d e s
p e r m u ta tio n s d e c e s d ia g o n a le s . L e s ro ta tio n s d 'a n g le ^ et d 'a x e u n e d ia g o n a le r a lise n t
le s c y c le s d 'o r d r e 3. L e s sy m trie s a u to u r d e s p la n s c o n te n a n t d e u s a r te s o p p o s e s d u c u b e
r a lise n t le s tr a n s p o sitio n s. L e n o y a u d e cet h o m o m o r p h is m e e st c o n stitu d e l'id e n tit et
d e l'o p p o s e d e l'id e n tit .
11. C o m p te r le s l m e n ts d o n t l'o rd re e s t 9.
II. G r o u p e s s y m t r iq u e s
1. C o n s id r e r l'a c tio n d u g r o u p e s u r s e s c la s s e s d e c o n ju g a iso n , le s p r o d u it s d e t r a n s p o sitio n s
s u p p o r t d is jo in ts fo rm e n t u n e c la s s e 3 l m e n ts.
3. L a p r e m i r e r p o n se e st (n - 1)! : p a r ta n t d e 1 o n a n - 1 c h o ix p o u r s o n im a g e p a r le
n -c y c le ( 2 , . . . , n ) , p u i s o n a n - 2 c h o ix p o u r c e lu i d e la s e c o n d e i m a g e .. . L a s e c o n d e
r p o n se e st C ^ ip - 1)! si p ^ n .
n!
/il! 2 ^ 2 ...n^n
( 1,1,1,1,1) 1 1
(2,2,1) 2 15
(3 , 1 , 1 ) 3 20
(5 ) 5 24
P o u r le g r o u p e 6 e :
( 1 ,1,1,1,1,1) 1 1
(2 ,1,1,1,1) 2 15
(2,2,1,1) 2 45
(2,2,2) 2 15
(3 , 1 , 1 , 1 ) 3 40
(3 , 2 , 1 ) 6 120
(3 , 3 ) 3 5
( 4 , 1 , 1) 4 30
(4 , 2 ) 4 30
( 5 , 1) 5 144
(6 ) 6 120
7. V oir le c o u rs.
EXERCICES 83
s i la d c o m p o sitio n e n c y c le s d e s n e fa it a p p a r a tr e q u e d e s c y c le s n o n c o n ju g u s (c 'e st- -d ire
q u e le s c a r d in a u x d e s s u p p o r t s s o n t d e u x d e u x d istin c ts) d e lo n g u e u r im p a ir e .
Anneaux, idaux,
polynmes
et sries formelles
Dans ce chapitre on rappelle dans la premire section les dfinitions de base con
cernant les anneaux : sous-anneaux, homomorphismes, idaux, anneaux quotients,
corps. La seconde est consacre aux anneaux principaux, la troisime section une
tude dtaille de l'anneau des classes de congruence modulo n, et la quatrime
une brve introduction l'tude de la cryptographie.
Les deux sections suivantes sont consacres aux anneaux de polynmes, de s
ries formelles, et aux anneaux factoriels. On en profite pour faire l'tude des
polynmes symtriques. L'avant dernire section est consacre aux zros des po
lynmes et la thorie du rsultant. Enfin, diverses proprits des sries formelles
sont prsentes dans la neuvime et dernire section.
Q
3.1 - ANNEAUX, IDEAUX, ANNEAUX QUOTIENTS 85
Les anneaux que nous considrons sont donc avec lment unit pour la mul
tiplication, cet lment sera toujours not 1. L'lment 0 est suppos distinct
de 1.
Notons que pour tout lment x de l'anneau o n a 0 x x = x x 0 = 0. En effet, en
utilisant la distributivit, on obtient
x = l x x = (l-| -0 )x x = -|-(0xa;),
donc a; = X + (0 X x ), donc 0 x x = 0. Le mme argument donne l'autre identit.
Dfinition 2
I L'anneau est dit commutatif si la multiplication est commutative.
( h 6) X X (d + 6) .
'------------- V------------- '
n fois
Remarque
On a plus gnralement pour a i , . . . , dp e A la formule suivante :
ni
(di + + dp)^ E
(Ui,...,Up)|ni++Up=n
I
l ! p!
^
d1 Ui
I 'l
P
dp^
Dfinition 3
On dira qu'un lment a d'un anneau A divise un lment non nul b, et on
notera d I b, s'il existe un lment c de A tel que b = ac.
R e m a rq u e
On remarquera que l'inverse est unique. En effet si on a xy = 1 et xy' = 1 alors
on a yxy' = y et yxy' = y '.
Les deux premiers exemples d'anneaux sont l'anneau Z des entiers relatifs et le
corps Q des nombres rationnels.
%
Par exemple Z est un sous-anneau de Q. On laisse au lecteur le soin de vrifier
que l'intersection d'une famille de sous-anneaux est un sous-anneau.
I D f in it io n 5
On appelle homomorphisme d'armeaux
I
i p : A ^ A'
8O
toute application de A dans A' qui est un homomorphisme pour l'addition et
la multiplication.
I
'V
I
Q
3.1 - ANNEAUX, IDAUX, ANNEAUX QUOTIENTS 87
Ceci signifie que :
(f{x + y) = fp{x) + ip{y) pour tous X et y dans A,
^{Xa ) = 1^/
^{xy) = ^{x)ip{y) pour tous X et y dans A,
On dfinit l'image d'un homomorphisme comme dans le cas des groupes. C'est
un sous-anneau, on le note Im((/?).
De mme que l'on dfinit le produit d'une famille de groupes, on dfinit le produit
d'une famille d'anneaux Ai, l'indice i dcrivant un ensemble d'indices I fini ou
infini. L'anneau Hie/ est constitu des familles d'lments (xi), z e /. La somme
et le produit de deux familles sont videmment faites termes termes :
( X i) + (x'i) = { X i + x ' i )
et
{ X i) X {x'i) = (Xi X x ' i ) .
I Un lment non nul x dans A est un diviseur de zro s'il existe un lment non
nul y tel que xy = 0.
D f in it io n 7
I Un anneau est un domaine d'intgrit (ou est un anneau intgre) s'il n'a pas de
diviseurs de zro.
R e m o rq u e
On vrifiera en exercice que le produit d'au moins deux anneaux non triviaux
n'est jamais intgre.
Notons que ce sont des lois interne. En effet, A tant intgre, bv ne peut tre nul
sans que 6 ou v ne soit nul.
On vrifie aisment que la classe d'quivalence de la somme et du produit de deux
lments ne dpend que des classes d'quivalence des deux lments. Ceci permet
de dfinir l'addition et la multiplication sur l'ensemble quotient. La classe de (0,1)
est lment neutre pour l'addition, celle de (1,1) l'est pour la multiplication. Les
deux lois sont videmment commutatives.
La multiplication est distributive par rapport l'addition. C'est--dire que :
(u,v) X {{a,b) -h (a ',6')) = (u,v) x {a,b) + (u,v) x {a\b!).
Par ailleurs, l'ensemble des classes d'lments de la forme (fca, a) est isomorphe
A. En fait, l'application de A dans K qui k associe la classe de {k, 1) est un
isomorphisme de A sur son image. La classe de Tlment (l,fc), k ^ Q , est un
inverse pour la multiplication de la classe de (A;, 1).
Le corps IK est l'ensemble de ces classes d'quivalence muni de ces deux lois in
I
O ternes. C'est le corps des quotients de A. Par exemple, le corps des quotients
des polynmes coefficients dans un corps k est le corps k{X ) des fractions
rationnelles coefficients dans k. m
I
Q
3.1 - ANNEAUX, IDAUX, ANNEAUX QUOTIENTS 89
Idaux et anneaux quotients
Passons maintenant l'tude des structures quotients. Soit un homomorphisme
d'anneaux ip : A A ' . Le noyau de l'homomorphisme (p est l'ensemble ^ des
lments x e A tels que p{x) = 0. Il est not Ker((/?). C'est videmment un sous-
groupe de A pour l'addition et on a :
D f in it io n 8
Un sous-ensemble ^ d'un anneau A qui est un sous-groupe pour l'addition et
tel que si a G A et a; G alors x a e ^ et a x e ^ est appel un idal bilatre de A.
D f in it io n 9
Un sous-ensemble d'un anneau A qui est un sous-groupe pour la loi additive
et qui est tel que si a e A et x e alors ax G respectivement xa e ^ est
appel un idal gauche, respectivement droite de A.
Dans la suite on ne considrera des idaux gauche et droite que dans les
exercices. Si bien que la mention idal vaudra pour idal bilatre . Soit donc
A un anneau et ^ un idal.
On vrifie sans peine que l'intersection d'une famille d'idaux d'un anneau A
est encore un idal. Ce rsultat vaut que l'on se place dans le cadre des idaux
gauche, droite ou bilatre. Soit par exemple une famille d'idaux bilatres
leur intersection est dj un sous-groupe. Maintenant si x est dans l'intersec
tion et si a G A ax et xa sont dans chacun des idaux de la famille donc dans
l'intersection.
D f in it io n 1 0
On appelle idal engendr par une partie de A l'intersection de tous les idaux
contenant cette partie. Autrement dit c'est le plus petit idal contenant la partie
considre.
R e m a rq u e
La remarque suivante est souvent trs utile. Soit x e A un lment et (x) l'idal
engendr. Alors (x) est gal A si et seulement si x est inversible. En effet (x) est
gal A si et seulement si 1 G (x) ; cette dernire condition a lieu si et seulement
si il existe y G A tel que xy = 1, le rsultat suit.
{ab + ay xb xy \x ,y e .
Comme ^ est un idal cet ensemble est contenu dans la classe ab + ^ . Dfinissons
donc un produit, not provisoirement *, sur A/^ par la formule :
Jii^ J2 = ab -\ -r^ .
I On vrifie que cette loi est associative et distributive par rapport la loi additive.
Les dmonstrations sont formellement identiques celles faites dans le cas des
groupes et laisses au lecteur. En particulier, la classe 1 -h est lment neutre
pour la multiplication. Enfin l'application :
A -^ A I^ ,
a I ^a + ^ ,
est par construction un homomorphisme d'anneaux.
A -----
\ /4
A j3
+ ^) = (p{x) .
et
Nous allons donner maintenant, comme dans le cas des groupes, un certain nombre
de consquences classiques de cette construction ; la dcomposition canonique des
homomorphismes et les thormes d'isomorphismes.
A/Ker{(l>)-
telles que a; + ^ est gal ^ , soit l'ensemble des classes x A ^ telles que a; G h
Q
3.1 - ANNEAUX, IDAUX, ANNEAUX QUOTIENTS 93
Voici une variante du lemme chinois :
D m o n s t r a t i o n * On considre l'homomorphisme
p : A >{A /^ ) X [ A /g ) , ai + g ).
A /^ g -^ [A /^ )x {A /g ),
/+ n = ^
Ceci se dmontre comme suit. Pour tout distinct de ^ on peut, par hypothse,
trouver Xoc ^ ^ et yoc E: e^Q tels que Xa + /a = 1. Faisons le produit sur a de toutes
ces identits. Quand on dveloppe le produit tous les termes, sauf le produit des
yoc, sont dans On a donc bien une relation de la forme x-\-y = 1, avec x e ^
et y G implique la condition.
Le thorme 2 implique alors que :
A lg ^ A j I I a/ H ^ c,.
V n n
Le rsultat suit en combinant ces deux isomorphismes.
D f in it io n 1 1
Soit A un anneau, et soit fg un idal. On dit que g est un idal premier si et
seulement si pour tous x, y G A la condition xy e g implique x e g ou y e g .
Voici une caractrisation des idaux premiers l'aide des anneaux quotients :
I
D f in it io n 1 2
Soit A un anneau, et soit g un idal. On dit que g est un idal maximal si et
I seulement il n'existe pas d'idal J f distinct de A et g tel que ^ z:> g .
Par exemple les idaux maximaux de Z sont ceux qui sont constitus par les mul
tiples d'un nombre premier. En effet il faut montrer que si si un idal contient
un nombre premier p et un entier non divisible par p il contient 1. Mais cela r
sulte de l'identit de Bzout. Ceci sera gnralis dans la prochaine section. Soit p
un nombre premier, le corps quotient de Z par l'idal pZ sera not p.
2 . A nneaux principaux
On va maintenant tudier une classe d'anneaux qui est particulirement impor
tante, celle des anneaux principaux. Tous les anneaux que l'on va considrer sont
commutatifs.
Q
3.2 - ANNEAUX PRINCIPAUX 97
Considrons donc un lment non nul G A/(x), et soit y un lment de A dont
la classe dans A /{x) est . Comme ce dernier lment est non nul cela veut dire
que y n'est pas dans l'idal engendr par x. Considrons alors l'idal engendr
par X et y, soit
y) = -hby \a,b e A} .
L'anneau tant principal cet idal est de la forme (z) pour un certain lment
Z e A, montrons que (z) = A.
D'abord il existe deux lments et v tels que x = zu et y = zv, puisque x et y
sont dans (z). L'lment x tant irrductible on a soit 0, soit inversible. Dans
le premier cas, on a bien (z) = A, Dans le second cas les idaux (x) et (z) con
cident, c'est impossible par hypothse. On en conclut que 1 appartient l'idal
() et qu'il existe a^b G A tels que ax by = 1. Rduisons cette quation mo
dulo l'idal (x) on obtient dans l'anneau quotient A /{x) l'identit b = 1, donc
est inversible.
o seuls un nombre fini d'entiers sont non nuis. Si bien que le produit prcdent est
fini, ce qui donne un sens la formule. Par ailleurs si on a une galit
rpdi
\ \ =
iel
V X
iel
>
^1 C C C C ei^i+1 C * * * .
J = {x )C ^ N C ^ i C j f .
Q
@ 3.2 - ANNEAUX PRINCIPAUX 99
Passons maintenant Tunicit, on la dmontre par rcurrence. Supposons que l'on
ait avec les notations du thorme :
U X
iel
= V X
iel
bien entendu seuls un nombre fini d'exposants sont non nuis. On fait la rcurrence
sur l'entier sup(X^^ A)- Insistons bien sur le fait que ces quantits sont finies
puisque seuls un nombre fini d'exposants sont diffrents de zro. Considrons un
des lments irrductibles apparaissant gauche avec un exposant non nul, soit
Xk. Le terme de droite est dans l'idal engendr par Xk.
Rappelons que si x est lment d'un anneau commutatif on dit que x divise a e A
et on note x |a si cet lment est dans l'idal engendr par x, donc si a = xu pour
un certain u G A.
Le lemme qui suit montre alors que Xk apparat aussi dans le membre de droite.
^ iVi = V.
En particulier des lments diffrents de zro yi sont premiers entre eux, c'est--dire n'ont
pas de diviseurs non trivial commun si et seulement si il existe ai e A tels que
I ^ aiVi = 1.
Anneaux euclidiens
Pour conclure cette section dcrivons une classe particulire d'anneaux principaux.
D f in it io n 3
Un anneau A commutatif intgre est un anneau euclidien s'il est muni d'une
application s : A {0} N {0} telle que :
pour tous x^y e A, y ^ 0, il existe q^r e A tels que x = y q r et r = 0 ou
s(r) < s{y),
r est appel le reste de la division de x par y.
titre d'exercice le lecteur pourra crire le lemme chinois dans le contexte prsent.
3 . L'anneau
Un idal de Z est un sous-groupe de Z et rciproquement. La proposition 5 de la
section 1 du chapitre 1 classifie donc les idaux de Z ainsi qu'on l'a dj dit plus
haut.
Dfinition 1
La fonction d'Euler (p de N dans N est dfinie par :
= #{^ I 1 ^ i < net pgcd(i,n) = 1}.
-q
Montrons que (p{n) est aussi le cardinal de
I
O
a3
Q
3.3 - LANNEAU Z/nZ 103
Les lments non nuis de Z/nZ sont en bijection avec les entiers compris entre 1
et n - 1. Par ailleurs si un tel entier a est premier n (si son pgcd avec n est
gal 1) l'identit de Bzout implique l'existence de u et tels que ua + vn = 1.
Rduisant modulo n on obtient = 1, donc est inversible dans Z/nZ.
Inversement si la classe d'un lment x est inversible dans Z/nZ, il existe k tel
que x k = 1. Soit xk = 1 un pour un certain entier u. Ce qui implique que x et
n sont premiers entre eux par Bzout.
La formule suivante sera utile plus loin :
P r o p o s it io n 2
n = ^ V (d) =
d\n d\n
n
d\n
(p {m n ) = (p {m )cp {n ) .
Il en rsulte que :
C o r o l l a i r e . Soit n un entier positif non nul et soit la dcomposition de
cet entier en puissances de nombres premiers. On a :
P(n) = JJ <p(pt ).
si n ^ 1.
4 . Cryptographie cl rvle
Dans cette section on va donner une brve introduction la cryptographie. Plus
prcisment, on va donner une description rapide et trs simplifie du systme
RSA (pour R. Rivest, A. Shamir et L. Adleman) et de celui du sac dos . Le but
de la cryptographie est de rendre des messages inintelligibles toute personne
qui ne possde pas la cl pour les traduire. Donnons un exemple classique (utilis
par J. Csar!) pour commencer. Considrons les 26 lettres de l'alphabet et une
permutation a quelconque de cet ensemble. Par exemple la permutation cyclique
qui envoie a sur b, b sur c, . . . , 2: sur a. Si on applique cette transformation
un mot, c'est--dire chaque lettre substituer son image par la transformation,
on obtient par exemple pour le mot oui, le mot pvj. Pour dchiffrer le message
on applique videmment la transformation inverse. Le problme avec cet exemple
classique est que la fonction a et son inverse peuvent tre facilement dduites
de quelques messages. Il suffit en effet de connatre la frquence d'apparition des
lettres dans un texte d'une langue donne. partir d'un chantillon de messages
suffisant le dcryptage est rapide. Le problme est donc de rendre pratiquement
I impossible la dtermination de l'application inverse.
Le systme RSA fournit une solution ce problme, on renvoie [De] et [Ko]
pour complter la description qui suit.
On commence par compliquer le cryptage en procdant comme suit. Au lieu de
remplacer une lettre par une autre on peut remplacer une suite, disons de k lettres
'O
3
Q
3.4 - CRYPTOGRAPHIE CL RVLE 105
ou symboles successifs (ventuellement des blancs) par un autre symbole. Cela
veut dire construire une application de A^, o A est notre alphabet usuel auquel
on a adjoint un certain nombre de symboles (virgule, point, blanc, ... ) vers un
autre ensemble ensemble B , On donnera un exemple plus loin.
Le systme RSA
On passe maintenant au systme RSA proprement dit. On considre deux personnes
appeles IV et OA par exemple, souhaitant communiquer entre elles en toute con
fidentialit. Elles choisissent chacun une paire de nombres premiers grands , px
et Qx pour IV, Py et qy pour OA. On pose Ux = PxQx et Uy =pyQy. Puis IV choi
sit galement un entier Cx premier avec (p{rix) = (P - l)(x 1) et OA un entier
Cy premier avec (p{riy) = {py - l){qy 1).
La classe de congruence de l'entier Cx admet un inverse dx dans le groupe multi
plicatif {Z/rix'^y Cette classe est facile calculer rapidement dans la mesure o
l'on connat la valeur de (f{nx)- De mme la classe de congruence de l'entier Cy
admet un inverse dy dans le groupe multiplicatif {ZfuyZ)*, elle est rapide cal
culer dans la mesure o l'on connat la valeur de (p{riy). Nous ne rentrerons.pas
dans les dtails mais ce calcul, en temps, est court.
Mais si on ne connat que les valeurs Ux et Cx, respectivement Uy et Cy, le calcul
devient trs difficile, c'est--dire trs long en temps. La seule faon connue de
procder en gnral est de chercher la dcomposition en nombres premiers de Ux
et Uy, puis d'en dduire les valeurs de la fonction d'Euler.
La dcomposition en nombres premiers est facile thoriquement, on divise succes
sivement par tous les nombres premiers, par contre, elle est extrmement longue
du point de vue du temps de calcul, au point de devenir inaccessible ds que les
nombres en jeu sont trs grands. Pratiquement le calcul de dx, respectivement dy
est impossible partir de Ux et Cx, respectivement de riy et Cy.
Les messages sont alors cods de la faon suivante. D'abord les lettres des alpha
bets B introduit plus haut sont identifies des classes de congruences inversibles
modulo rix d'une part, des classes de congruences modulo riy d'autre part. On
entend par l que l'on se donne une application injective de
a: B {Z/ tIxZ^*
et une application injective
(3: B .y.
Ces identifications sont publiques et connues des correspondants.
On ne considre donc maintenant que des suites de symboles qui sont des classes
de congruences.
Ces dernires ne sont connues que de IV, et respectivement de OA. Bien entendu
les valeurs de (p{rix) = {Px ~ l)( 1) et ip{riy) = {py l){qy 1) sont aussi secrtes
(prives).
Supposons alors que IV veuille coder un message destin OA et que ce message
soit exprim comme une suite de symboles appartenant {Z friyZ y. Il applique
cette suite de symboles, soit (ai, a2, . . . , , .. .) la transformation :
qu'il est seul pouvoir effectuer. Il considre alors la suite rsultante, soit
(61, 62, . . . , ;,...), comme une suite d'lments de Z/n^Z. Pour faire ce pas il uti
lise une fonction injective (c'est ici que l'on utilise l'hypothse ip{rix) < ^{) ) de
{ZluxZy dans {ZluyZy convenue d'avance avec OA et donc connue de OA. Il
applique alors la transformation
et transmet le message.
Pour dcoder le message OA procde donc essentiellement en deux tapes. D'abord
S il applique
l / pdy ndy ody \
S (/1,/2, KJl )/2 y '-iJk >/
I
Q
3.4 - CRYPTOGRAPHIE A CLE REVELEE 107
qu'il est seul pouvoir effectuer. Il obtient donc ainsi un message compos
d'lments de Z/n^Z qu'il rinterprte comme un message compos d'une suite
d'lments (^1,^2, ) dans Z/n^^Z. Il applique alors la transformation
publique :
(^1 ) ^2 ) > ) ) ' ^(^1 ) ^2 >) 9j^ ))
Si ce message n'a pas t transmis par le correspondant x, mais par un autre cor
respondant utilisant une autre cl de cryptage, le rsultat sera incomprhensible.
Il ne peut tre comprhensible que s'il a t transmis par IV.
On parlera alors de message sign.
Dcrivons maintenant le processus sur un exemple. Supposons que l'on veuille transmettre le
mot cryptage. On commence par le diviser en paquets de 2 lettres successives. On obtient
donc la suite cr, yp, ta, ge. Choisissons = 19 et Qy = 4 3 . On a Uy =8 1 7 et (p(ny) = 756.
Supposons avoir choisi une application /3 e ,o A est l'alphabet usuel dans (Z /817Z )* .
C'est possible, il suffit de comparer les cardinaux. Supposons avoir P {cr) = 2, /3{yp) = 11,
P ita) = 3, et Pige) = 8.
OA choisit maintenant Cy = 11 et l'aide de l'algorithme d'Euclide, trouve dy = 275.
IV connat la valeur de Cy et donc considre la suite suivante
( 2 l^ lll^ 3 '^ 8 l^ ) ,
il la rduit modulo 817, et obtient
(414,64,675,677)
et transmet.
OA applique alors la transformation suivante :
(414,64,675,677) 1- ^ , 64^^, 675^'^^, 677^^^) ,
il est le seul pouvoir la faire, tant le seul connatre d y . Il retrouve (2 ,1 1 ,3 ,8 ).
Le lecteur vrifiera titre d'exercice les calculs et calculera galement le message sign, au
sens dfini plus haut, avec Px = 23, Qx = 37, Cx = 5 , dx = 317. Il choisira une fonction a .
En effet, on commence par choisir le plus grand entier Va^ infrieur ou gal V ,
Comme la somme -.ai-i strictement infrieure Va^, une somme par
tielle des Vj gale V doit contenir ce terme. On doit donc faire n-oprations au
plus, puis on applique le mme processus a V Vai et ainsi de suite, on aboutit
donc a au plus oprations arithmtiques.
Venons en au processus de cryptage. On choisit un entier C tel que Y i < C, et
un entier a < C premier avec C. On calcule l'inverse modulo C P de a , plus pr
cisment son reprsentant qui est strictement infrieur C. On calcule de mme
les entiers positifs wi infrieurs strictement C qui sont congrus avi modulo C.
D f in it io n
I La cl publique est la donne des entiers Wi, 1 < i < n. La cl prive les entiers
Vi, 1 < i < n, a , f3, C
rapidement, sans connatre C et a , cette mthode n'est donc finalement pas fiable.
Q
3.4 - CRYPTOGRAPHIE CL RVLE 109
5. A nneaux de polynm es et de sries form elles
Soit A un anneau, il sera dans toute cette section suppos commutatif. Soit N
l'ensemble des entiers naturels, introduisons l'ensemble des suites coefficients
dans A, c'est--dire l'ensemble des applications de N dans A. Une telle suite sera
pour l'instant note (ao,ai,... , a i, ...), l'lment dsignant l'image de l'entier i.
Dfinissons une addition sur cet ensemble par la formule
On additionne termes termes. Cette loi est associative et commutative. Elle admet
l'lment ( 0 ,.. ., 0,...) pour lment neutre. L'lment (-a o, - a i , . . . , - a i ,... ) est
l'inverse de (ao,ai, . . . , a i , ...).
Dfinissons une multiplication par la formule
(a o , a i , . . . , a i , . . . ) x ( a o , a ^ , . . . , a ^, . . . ) =
^ ^ ^ k b lC m
(kylyTn) I k-\ -l+ m = i
( a o , , J ) ( ipo, ^ 1 , , )
J (^0 ) ^1, J Q , )) *
i^O
dans la suite et sera appele une srie formelle, X est appele Yindtermine.
D f in it io n 1
L'ensemble des suites d'lments coefficients dans A muni de l'addition et de
la multiplication dfinie plus haut est par dfinition l'anneau des sries formelles
en X coefficients dans A. Il est not A[[X]].
Les constructions pdantes faites ci-dessus ne doivent pas masquer que l'on addi
tionne et que l'on multiplie les sries formelles comme on le fait pour les sries
ordinaires, savoir :
dont presque tous les coefficients sont nuis. Les coefficients ai sont donc tous
nuis ds que i est assez grand, disons C, de mme les coefficients bj sont
nuis ds que j ^ D. Les coefficients de iX^ sont nuis ds que
i ^ sup(C, D). Ceux de
I
I 2^0 OO
le sont ds que C -\- D - 1 .
Ceci montre que l'addition et la multiplication sont des lois internes sur ce sous-
I
ensemble, et en fait donc un sous-anneau de -A[[-X]].
1
Q
3.5 - ANNEAUX DE POLYNOMES ET DE SERIES FORMELLES 111
D f in it io n 2
Le sous-anneau de ^[[-X^]] constitu par les sries fornaelles dont les coeffi
cients sont presque tous nuis est par dfinition Tanneau des polynmes en X
coefficients dans A. Il est not A[X],
iX^,
0
D f in it io n 3
I On dit qu'un anneau B est une algbre sur un corps k s'il existe un homomor
phisme i (ncessairement injectif) de k dans B .
Ceci implique que B est un espace vectoriel sur k. L'anneau k[X] en particulier
est une algbre sur k. L'homomorphisme k k[X] est donn par a (a,0,...).
Autrement dit on associe l'lment a le polynme aX^ = a. Rappelons que ces
polynmes sont dits constants (ou de degr zro, voir plus loin). On comparera
au chapitre 4 o la structure d'espace vectoriel d'un corps sur un sous-corps est
tudie en dtail.
D f in it io n 4
On dit qu'un polynme non nul P = es* infrieur ou gal
n si ses coefficients ai sont nuis pour > n. Il est alors dit de degr n si a ^ 0.
Le degr de P sera not |P| ou encore deg(P).
Il est souvent commode d'interprter le polynme nul comme tant de degr oo.
Notons que l'on a la formule
|p + gKsup(|P|,|Q|),
D f in it io n 5
Le degr dtermine une structure d'anneau euclidien sur l'anneau des polynmes
coefficients dans un corps. Il rsulte alors de la section 2 que :
En consquence on peut appliquer tous les rsultats concernant les anneaux prin
cipaux. On a une notion de pgcd pour les polynmes, l'identit de Bzout a lieu.
La dmonstration est identique celle donne plus haut dans le cas gnral, ou
se transcrit partir de celle pour Z. Rappelons que l'on a l'algorithme d'Euclide
pour calculer le pgcd et qu'on peut en dduire les coefficients de la formule de
Bzout.
Le fait que l'anneau soit euclidien permet de renforcer ces noncs, comme dans
le cas de Z. Gardons les notations du corollaire, alors :
R P + {V + H P)Q = 1.
D f in it io n 1
L'anneau des polynmes n indtermines coefficients dans A est dfini par
rcurrence comme tant l'anneau des polynmes en une indtermine Xn sur
l'anneau des polynmes n - 1 indtermines, soit A[X\^... ,Xn-i][Xn]* Il est
not A[Xi, . .. ,Xn].
7
ai ,...,a i
D f in it io n 2
Le polynme Xlai,...,an dit de degr infrieur ou gal
d si Cai,...,an = 0 ds que ai H-------h > d. Il est alors dit de degr total d s'il
existe a i , . . . , an tel que ai H------ h an = d et Cai,...,an
D f in it io n 3
Un polynme est dit homogne de degr n s'il est de degr total n et si les
coefficients des monmes de degr total strictement infrieur n sont nuis.
Supposons que A soit un corps k et soit B une algbre sur k. Soient a i , ... ,an G
On a :
On se propose de rechercher les lments fixes pour cette action, que l'on appel
lera polynmes symtriques. Considrons le cas particulier o n = 2, les polynmes
Xi -\-X2 et X 1X 2 sont symtriques. En fait on montre que pour tout polynme
symtrique P il existe un et un seul polynme Q coefficients dans A tel que
P {X uX 2) = Q {X i+ X 2 ,X iX 2 ).
Considrons maintenant les polynmes en n indtermines X i^ ... ^Xn et intro
duisons les polynmes symtriques lmentaires o 1 ^ < n. Comme dans
la dmonstration du thorme ci-dessous on doit considrer les polynmes sym
triques lmentaires en n indtermines ainsi qu'en n - 1 indtermines on prcise
la notation en E^,n et en Ei,n-i* Quand il n'y a pas d'ambiguts le second indice
est omis.
Dfinition 4
Le polynme E^^n dfini par :
X a ,---X a ,
( a i,...,a i) | a i< a 2 < < a i
P (X i,...,X n ) = Q(Ei,...,En).
I
Q
3.6 - POLYNMES EN PLUSIEURS INDTERMINES, POLYNMES SYMTRIQUES 119
on a
P' = s{P') = s{En,nR) = s i ^ n M R ) = Sn,n5(i) .
Soit
^n,n{R ^{R))
Si l'anneau A est intgre le rsultat suit, l'anneau de polynmes en n indtermi
nes l'tant aussi. Le rsultat est vrai sans hypothses sur A, l'quation ci-dessus
impliquant l'galit des coefficients des polynmes R et s (R).
En effet, si on a i J = l'quation
^n,nR 0 )
quivaut
E ....i x r + ' . . . x ^ = o .
Formules de Newton
On va maintenant dmontrer des relations qui expriment certains polynmes sym
triques l'aide des polynmes symtriques lmentaires. Il s'agit des polynmes :
Nk = ^ X ^ .
i
Ni = - iVi_2S2, + + + ( -l )'iE i,
^ si i > Tir
i j^i j= 0 , . . . , n
l[(T -x j)= E (E
1Tl Puis on somme sur l'indice i, on obtient
fjin-j-l
2=
E -^i)= E ( E
l,...,n j y i J = 0 ,...,n - 1 '
Dfinition 1
On dit que l'anneau A est un anneau factoriel si :
il est intgre,
tout lment non nul x G A peut s'crire sous la forme :
X = u x Y [ x ^ \ ai g N,
i
O U G A* et les entiers ai sont presque tous nuis,
cette dcomposition est unique.
L'unicit de la dcomposition signifie la mme chose que dans le cas des anneaux
principaux. Si on a :
wXII a;?' = XJ1 f ,
i i
On dfinit le pgcd et le ppcm de deux lments non nuis x et y par les mmes
formules que dans un anneau principal. Soient x = u x x f * e t y = v x Yiiei
les dcompositions de x et y. Alors, par dfinition :
pgcd{x,y) = J J ,
iel
par dfinition le pgcd d'un lment non nul x et de zro est x.
ppcm(x,y) = JJ .
il
En particulier, si le pgcd de deux lments est 1 on dit qu'ils sont premiers entre
eux. Les formules ci-dessus s'tendent au pgcd et au ppcm de n lments non
nuis. Dans le cas du pgcd on peut tendre une famille d'lments quelconques,
par dfinition leur pgcd est celui des lments non nuis de la famille. On a pour
une famille d'lments non nuis :
pgcd(ai, . . . , a) = JJ ,
iel
ou
i =
i XIJ
iel
I Soit P = J2i=o,...,n
pgcd(iio ) CLn).
eA [X ], le contenu de P, not cont(P), est par dfinition
I
>3
Dmonstration du thorme 1 Choisissons donc un systme de reprsen
tants d'lments irrductibles de A[X], Il est constitu par un systme d'lments
I
'a
Q
ces deux polynmes sont coefficients dans A. En calculant le contenu des deux
T^U
cts on obtient gcont(P) = p u , avec u. A *. Donc l'lment de K est, en
fait, lment de A. Si a = v x H / v e x4*, est la dcomposition de a on a
P = xn af
i j^ j
Pour terminer cette section nous donnons un critre qui permet de dterminer si
certains polynmes sont irrductibles. Il s'agit du critre d'Eisenstein,
1 + X + --- + - \ _ {Y+ -l
X -l Y
et
(F + 1)P - 1
pi
Le coefficient binomial C est gal et est donc divisible par p si 0 < i <
p, par ailleurs = 1 et Cp = p n'est pas divisible par p^. Le rsultat suit.
D f in it io n 1
Soit P un polynme coefficients dans un corps k. On dit que a e k est zro
IXJ
I ou racine de P si P {a) = 0.
Dmonstration. Soit P e k[X]. Supposons qu'il ait les lments GA;, z= 1,..., /i,
pour zros et qu'ils aient pour ordre respectif a t . Alors P est divisible par {X
pour tout i. Les zros ai sont distincts entre eux deux deux, donc les poly
nmes {X sont premiers entre eux deux deux. Le polynme P est donc
divisible par leur produit. Celui-ci est de degr qui est le nombre de z
ros, tant tenu compte de l'ordre. Ce degr est infrieur ou gal celui de P, d'o
le rsultat. a
D'un autre ct on a :
P = X^ + n-lX^ ^+ + Q
On a :
P r o p o s it io n 1 . On a la relation suivante entre les racines et les coefficients du
polynme :
} } Oifi)
Autrement dit les coefficients sont au signe prs les fonctions symtriques des racines.
D f in it io n 3
Soit P = OiX efc[X]. On appelle drive formelle de P = I^j=o n
le polynme
P '= ^ .
f = j2 .
/' = iaiX^-^.
2=0,...,n
On a le corollaire suivant :
C o r o l l a i r e * Soit P un polynme coefficients dans k, P non nul, et soit a un zro
de P. Alors a est de multiplicit au moins 2 si et seulement si a est zro de P '.
La dmonstration est laisse au lecteur qui aura soin de remarquer que l'hypothse de
caractristique zro est ncessaire. On donnera aussi des contre-exemples. Nous reviendrons
dans le prochain chapitre sur les proprits de la drivation en caractristique p, on donnera
des contre-exemples.
On a videmment le corollaire suivant :
C o r o l l a i r e . Soit P un polynme coefficients dans k de caractristique nulle, et soit a un
zro de P . Alors a est de multiplicit i si et seulement si a est zro de P ' , P ^ ^ ^ ,..., p(^~ .
Rsultant
Nous allons passer maintenant la thorie du rsultant.
La question est de savoir quand deux polynmes non nuis, coefficients dans
un corps k, P et Q, ont un facteur irrductible en commun. Soient donc P =
S 2=o,...,m de degr m et Q = X^^=o,...,n ' de degr n. On veut donner
On obtient donc la condition ncessaire et suffisante suivante pour que les poly
nmes P et Q coefficients dans K aient un facteur irrductible en commun :
(E E E E
O les a i et les b j sont donns, et les Ui et les V j sont les inconnues. Pour ce faire
on crit que tous les coefficients du polynme obtenu sont nuis. Ce polynme est
de degr m -h n - 1, il y a donc m -h n quations linaires en les m -h n inconnues
Ui et Vj. pour qu'il y ait une solution non nulle il faut et suffit que le dterminant
de ce systme soit nul.
i+j= k,
E O ^j^n-1
+ i+j=k,
E O ^j^m -1
bi Uj .
Dfinition 4
7O
I
3
I On appelle ce dterminant le rsultant des polynmes P et Q, on le note
Res(P, Q), c'est un dterminant (m + n,m + n).
(3
3
Q
3.8 - ZROS DES POLYNMES 131
Avec m ^ n, il est gal :
ao 0 0 6o 0
ai
"0 O
0 6_1
1 b.
0
bo
bji~i
0 .......0 0 0
On a donc :
Thorm e 5 . Le rsultant de deux polynmes P et Q coefficients dans un corps K
est nul si et seulement P et Q ont au moins un facteur irrductible en commun.
En particulier si P et Q ont toutes leurs racines {le. sont scinds) dans k et si leur
rsultant est nul ils ont une racine commune (au moins).
Un cas particulirement important est celui o on prend pour couple P et Q le
polynme P et son polynme driv P '. Le rsultant de P et P ' est appel le
discriminant de P. On le note Dis(P).
On a :
Thorm e 6 . Le discriminant d'un polynme P coefficients dans un corps k de
caractristique zro est nul si et seulement si il a au moins un facteur irrductible commun
avec son polynme driv P '.
01 m
Cette formule a un sens pour les raisons suivantes. D'abord chaque terme dans la
somme est une puissance dans l'anneau des sries formelles, donc est bien dfini.
Ensuite, si on considre la suite infinie des termes de cette somme, on constate
que seul un nombre fini d'entre eux ont un coefficient ventuellement diffrent de
zro en En effet les termes partir du (n -h l)-ime sont divisibles par
cause de l'hypothse de nullit du terme constant.
Plus prcisment notons an le coefficient de X^ dans Le coefficient
7n de la srie f{g {X )) est gal :
7n= X! o>iai
2 = 1 ,... ,n
Il est clair que la compose de deux sries formelles dbutant par X {i,e, ai= 6i=l)
dbute aussi par X .
D m o n s t r a t i o n . Ainsi qu'on l'a dit plus haut la composition est une loi interne.
La srie formelle X est videmment lment neutre.
L'associativit est laisse au lecteur en exercice. On va dmontrer l'existence d'un
inverse. Soit donc / = X + J2i^2 ^iX\ On cherche g = X ^iX^
f{g {X )) = g {f{X )) = X . Notons jn le coefficient de la srie compose f{g {X )).
D'aprs la formule donne plus haut, c'est un polynme en les inconnues bj et
les i, qui eux sont connus. Plus prcisment, on a :
^ 7 i= h
si n ^ 2, 7^ = 6n + P {a 2, . . . , ttni 62, . . . , bn-i) = 0, o P dsigne un certain
polynme coefficients entiers.
Gardons les notations introduites plus haut, et supposons avoir calcul par r
currence les inconnues 62, . . . , 6n-i l'quation ci-dessus permet de calculer bn-
Observons que la rcurrence dmarre par l'quation 62 + a2 = 0.
Exercices
Tous les anneaux seront, sauf en 1.2, supposs commutatifs.
I. A n n e a u x q u o t ie n t s , id a u x
1. Montrer qu'il existe une structure d'anneau et une seule sur un ensemble
2 lments, respectivement sur un ensemble 3 lments. tudier le cas d'un
ensemble 4 lments. Dire lesquels sont des corps.
O
Q
EXERCICES 135
d) Montrer que l'algbre de Boole est isomorphe l'ensemble des fonctions de
Spec(f) dans k, muni de sa structure d'algbre de Boole.
3. Montrer qu'un anneau qui a un nombre fini d'lments, et qui est un domaine
d'intgrit est un corps. On pourra tudier la bijectivit de la multiplication par
un lment.
4. Montrer qu'un anneau qui est une algbre de dimension finie sur un corps et
qui est un domaine d'intgrit est un corps. On pourra tudier la bijectivit de
la multiplication par un lment donn, en montrant que cette application est
linaire.
5. a) On dit qu'un lment x d'un anneau A est nilpotent s'il existe un entier n tel
que = 0 . Montrer qu'un lment nilpotent appartient tout idal premier de
l'anneau.
b) Montrer qu'un lment qui appartient tous les idaux premiers d'un anneau est
nilpotent. Pour ce faire, on prendra un lment non-nilpotent x et on admettra
l'existence d'un idal maximal pour l'inclusion, qui ne contiennent ni a: ni
aucune de ces puissances. Par maximal, on veut dire ici que tout idal contenant
strictement ^ contient ncessairement une puissance de x (l'existence de cet
idal est une consquence du lemme de Zorn). On montrera que est un idal
premier et on conclura.
tout idal ^ on a = s jT fJ -
c) Montrer que le radical d'un idal primaire est premier.
8. Soit n un entier et soit a un entier premier avec n. Montrer que est congru
1 modulo n .
13. Cet exercice fait suite l'exercice 9. On se place donc dans l'anneau des entiers
de Gauss dont on rappelle qu'il est principal.
a) Soit P G Z un entier premier. Montrer que, dans l'anneau des entiers de Gauss, p
est, soit irrductible, soit produit de deux entiers de Gauss complexes conjugus,
eux-mmes irrductibles. On pourra observer que si un lment irrductible z
de l'anneau des entiers de Gauss divise p il en est de mme de son complexe
conjugu Z. On pourra aussi tudier la dcomposition induite du carr du
module de p. tudier les cas de 3, 5, 7, 11, ...
b) On admettra le rsultat suivant dmontr dans le chapitre 5 : soit p un nombre
premier impair alors il existe dans Z/pZ un lment u tel que = 1 (cette
quation a lieu dans Z/pZ) si et seulement si p est congru 1 modulo 4. Montrer
que si un nombre premier p s'crit comme somme de deux carrs d'lments
de Z il est congru 1 modulo 4.
c) Montrer qu'un nombre premier est rductible dans les entiers de Gauss si et
seulement si il est congru 1 modulo 4. On utilisera le fait que p est irrductible
dans Z[i] si et seulement si l'anneau quotient Z[i] est intgre.
14. Factoriser en lments irrductibles dans i], les entiers de Gauss suivants : 9-j-z,
n-\-2h 17-\-bi.
15. Soit k un corps. Montrer que l'anneau quotient k[X ,Y ]/{X Y - 1) est principal.
I
16. quelle condition sur l'anneau A, l'anneau A[X] est-il principal?
Q
EXERCICES 137
17. a) Un anneau A est dit local s'il a un seul idal maximal. Montrer qu'un anneau
A est local si et seulement si l'ensemble des lments non-inversibles forme un
idal.
b) Soit
P un nombre premier, et soit Ep le sous-ensemble des rationnels de la
forme ^ avec b premier p. Montrer que c'est un sous-anneau de Q. Puis
montrer que c'est un anneau local.
18. Trouver toutes les solutions entires de l'quation de Fermat en degr 2:x^-\-y^=z'^,
On commencera par supposer que les entiers y, z sont premiers entre eux. Puis
on crira y"^ = {z x){z + x), et on montrera que le pgcd de z x et z + x est 2,
19. On veut dterminer les nombres premiers p pour lesquels l'quation x^ -f 2y^ = p
a des solutions entires.
a) On commence par montrer que 2 doit tre un carr modulo p. On considrera
l'anneau
Z[i\/\ = {a + v^|a, 6 G Z}
on montrera qu'il est euclidien.
b) On conclura l'aide d'une rduction modulo p.
Z [ ^ ] = {a + 6\/2|a,6eZ}.
Commencer par vrifier que c'est bien un anneau. Montrer que les lments
X -I- y^/2 tels que - 2y^ = 1 ou - 22/^ = - 1 sont les lments inversibles de
l'anneau. Remarquer que ces lments se rpartissent sur une hyperbole.
b) On considre la solution particulire 3 -h 2y/2. Montrer que parmi les solutions
a + by/2 avec a,6 > 0 c'est celle pour laquelle a est minimum, puis que si on
multiplie une solution a + b^/2 par 3 ^/2 on obtient une solution a +
avec a > 0 et a < a. En dduire que toutes les solutions sont au signe prs
puissance de 3 -f- 2 V^.
c) En corollaire on dcrira tous les entiers k pour lesquels est un carr
parfait.
23. Achever l'exemple donn dans la section sur la cryptographie. En donner d'autres.
P {X + n) P (X + n + l) P {X + 2n)
4. a) Montrer que les polynmes irrductibles dans R[X] sont de degr 1 ou 2, les
caractriser. Dcrire la factorisation en lments irrductibles dans R[X],
b) Montrer que tout polynme coefficients rels qui ne prend que des valeurs
positives sur la droite relle peut s'crire P^ -hQ^/ o P et Q sont des polynmes
coefficients rels. On tudiera d'abord le cas des polynmes irrductibles.
a) Montrer que si P a une suite de Sturm sur [a, b] il n'a que des zros simples
sur [a,b].
b) tant donne une suite de rels diffrents de zro (ti,2j on dfinit le
nombre de changements de signe de la suite comme tant le nombre d'entiers
i avec 1 ^ i ^ k - 1 et UU^i < 0. tant donn x e [a, 6], on note V{x) le
nombre de changements de signe de la suite obtenue partir de la suite
P o{x),P i{x)^.,. ,Pfi(x), en liminant les termes nuis.
Montrer que le nombre de zros de P dans [a, 6] est gal V{x) V{y) .
6 . ([J]) Soit P un polynme de degr s coefficients rels qui n'a que des zros
simples dans [a, 6]. Montrer que la suite dfinie par Pq = P , P\= P', et Pk est
l'oppos du reste de la division de Pk~2 par Pk-\ est une suite de Sturm pour P
sur [a, 6].
9. Soit P un nombre premier. Soit le corps Z/pZ, et soient % v,w des lments
diffrents de zro de Z/pZ. Montrer que l'quation en : ux"^ +vy^ = w admet
au moins une solution. On comptera le nombre d'lments de la forme ux^^ et
w vy^^ quand a; et y dcrivent
I 10. ** ([FS]) Montrer que le polynme ~ 1 oh les n rij sont des entiers
deux deux distincts est irrductible dans
Q
EXERCICES 141
12. ** (Lemme de Lazard pour Fp) Soit p un nombre premier.
Montrer que les coefficients du polynme ( coefficients entiers)
{{X + )
sont divisibles par p et pas par Dans la suite, la notation (~ ((^ + -
XP^ yp"" )) dsignera la rduction modulo p du polynme coefficients entiers.
Montrer que les polynmes homognes de degr n , H e n 2 variables X et y ,
coefficients dans Fp, tels que H {X ,y ) = H {y ,X ), H{X,G) = 0 et que
H {x , y ) + H { x + y, Z) = H {y, Z) + H {x , y + Z ) ,
sont de la forme 7 ((X + y)^ - X'^ - y^), 7 G Fp si n n'est pas une puissance de
p, et de la forme 7 ( - ( ( ^ + ~ )) sinon.
P
14. Exprimer les polynmes suivants l'aide des fonctions symtriques lmentaires :
+ X2y3 ^2^3 ^3^2 y3^2 ^ y2^3^
- + X^Y^ + + X^Z^ + Y^Z^ + Y^Z^.
15. a) Exprimer les polynmes symtriques suivants l'aide des sommes de Newton :
- Ew
b) Soit le dterminant
2X Y Z -Z^ -y 3 X
-Z^ -2 X Y Z -X ^ Y
A= _y3 _ ;^ - 3 2X Y Z Z
X Y Z 0
Montrer que A est homogne de degr 8, puis qu'il est symtrique en X^, Y^,
Z"^. Le calculer. A est-il divisible par X + Y + Z 7
17. Soit P e fc[X] un polynme de degr n. Supposons qu'il ait toutes ses racines
dans k, soient Ai, . . . , A. Montrer que
Dis(P) = ( - i r n
Dis(P) = ( - i r n " a I I ( A i - A , ) .
i^j
19. (D'aprs agrgation 1993) On considre l'anneau C[X^Y]. Soit / une fonction
holomorphe sur le plan complexe. Dterminer pour / = e^, / = ze^, et f = sin(z)
l'idal de C[X,Y] constitu par les polynmes P tels que P (/ ,/') = 0.
On pose la mme question en remplaant C [X ,F] par C[X^Y^Z], pour / = xe^,
et f = cos(2;), et les polynmes P tels que P(/, /', /) = 0.
20. (thorme de Gauss-Lucas) Soit P eC [X ]. Montrer que les zros de P' sont dans
l'enveloppe convexe des zros de P .
21. Soit k un corps ayant un nombre infini d'lments. Soit P e k [ X i,... ,Xn].
a) Soit P qui prend la valeur zro pour tout lment appartenant un ensemble
de la forme Ai x x o chaque Ai est un sous-ensemble de k de cardinal
infini. Montrer que P est nul.
b) Soit k = C ou k = R. Montrer qu'un polynme P G k[X i, . . . , Xn]f qui s'annule
sur un ouvert de est nul.
22. Montrer qu'un polynme homogne en 3 variables de degr 2 sur un corps fini a
toujours une solution (a,^, 7 ) non triviale. Gnraliser 4 variables en degr 3.
III. S r ie s f o r m e lle s
1. Montrer que l'anneau des sries formelles coefficients dans un corps est un
anneau local (pour la dfinition voir l'exercice 17 de la section I.
2. Notons p(n) le nombre de partitions d'un entier naturel n donn. Donner un sens
au produit infini suivant :
TT \ T^
11
n^l
g Montrer qu'il est gal :
^ n
2 = 1 ,...,n
I
est gale $(T ).
EXERCICES 143
4. (Partitions p-rgulires) On garde les notations de 2 et 3. Soit p un nombre premier
et soit 7Tp(n) le nombre de partitions de n en somme d'entiers premiers p. Soit
= E n 7Tp(n)T". Montrer que % {T ) =
5. a) (Formules de Newton)
Le but de cet exercice est de donner une seconde dmonstration des formules
de Newton. On se place dans l'anneau fc[Xi,.. .,Xn][[T]], k tant un corps. On
utilisera la drivation des sries formelles.
On considre la srie formelle :
. l-X iT '
Montrer que :
2 = 1 ,... ,n %
b) Montrer que la srie formelle prcdente est gale l'oppose de la drive par
rapport T de la srie suivante :
10. b) L e s l m e n ts in v e rsib le s s o n t 1, - l , z , - L
14. P a r e x e m p le ch erch er e x p r im e r le m o d u le d e 9 + a u c a rr c o m m e p r o d u it d e so m m e
d e d e u x carr s. O n a 82 = 2 x 41 = (1 + 1) x (25 + 16). D o n c 9 + z = (1 + z)(5 - 4z). Il fa u t
v rifie r q u e le s l m e n ts s o n t irr d u c tib le s o u p o u r s u iv r e la d c o m p o sitio n .
I 15. Id e n tifie r k [ X ^ Y ] / { X Y - l ) a u s o u s - a n n e a u d e k { X ) d e s l m e n ts d e la fo rm e o
P Gk [ X ] et GZ l'a id e d e l'h o m o m o r p h is m e q u i, P ( X , F ) , a s s o c ie P ( X , ;^ ) . P u is
tu d ie r cet a n n e a u , e n u tilis a n t le fa it q u 'il c o n tie n t k [ X ] .
{ x - [ - i ^ 2 ) e t { x i \ / 2 ) e s t n c e s s a ir e m e n t i y / 2 . e n d d u ir e q u e i y / 2 n e d iv is e p a s x .
E n u tilis a n t la d c o m p o sitio n e n fa c te u r s p r e m ie r s d a n s Z [ i y / 2 ] e n c o n c lu re q u e { x - \ - i \ /2 )
22. a) L a p lu s g r a n d e p u is s a n c e d e 2 d iv is a n t 2 ^ ! e s t 2^ ^.
II. P o ly n m e s
c) .{E n ) = E n - i .
8. S e ra m e n e r a u c a s d e m o n m e s.
NaNb Na-{-b/
faire a p p a r a tr e N a N b N c a in si q u e d e s p r o d u it s d e la fo rm e Na-\-bNc.
16. D a n s le d te rm in a n t, s o u s tr a ir e le s n 1 p r e m i r e s c o lo n n e s a u x n 1 d e rn i re s. O n tro u v e
nnqrt-i _ i)n -ip n ^
III. S r ie s f o r m e lle s
I
5
1. S o it A:[[Ar]], m o n tre r q u e le s e u l id a l m a x im a l e s t (A ). L e s a u tr e s id a u x s o n t d e la fo rm e
(X-).
I
TJ
Q
EXERCICES 147
2. Pour donner un sens au produit infini :
n 1
n^l
o n o b s e r v e q u e le s c o e ffic ie n ts d e
n r^
et
n
l^i^n+l 1-T^
c o n c id e n t ju s q u 'e n d e g r n .
E n e ffe c tu a n t le d v e lo p p e m e n t o n m o n tre q u e le c o e ffic ie n t d u te rm e d e d e g r n e s t p { n ) .
3. M o n tre r q u e le co e ffic ie n t d u te rm e d e d e g r k d a n s le d v e lo p p e m e n t d e
rpn
0^=1....n ( i - r ' )
e s t le n o m b re d e p a r titio n s d e k , e n a u p lu s n e n tie rs.
5. a) crire le d v e lo p p e m e n t.
b) C a lc u le r la d riv e c o m m e l'o rd in a ir e .
c) e t d ) O n re c o n n a t le s fo n c tio n s s y m tr iq u e s e n d v e lo p p a n t le p r o d u it
P u is, o n id e n tifie l'e x p r e s s io n l'a id e d e s N h , et o n m u ltip lie d e s d e u x c t s p a r le
d n o m in a te u r. E n fin , o n id e n tifie le s c o e ffic ie n ts d e .
Ce chapitre est consacr la thorie des corps. Sauf dans la section 8 tous les corps
considrs seront supposs commutatifs. On commencera par dfinir la notion de
caractristique d'un corps, on en donnera quelques consquences, par exemple la
formule de Newton en caractristique p. Aprs ces gnralits on passera l'tude
des lments algbriques sur un corps et du corps de rupture d'un polynme. On
ne fera pas une tude dtaille du corps de dcomposition et l'existence et l'unicit
de la clture algbrique sera admise. On passera aprs la description des corps
finis. L'tude des racines primitives de l'unit et des polynmes cyclotomiques
sera faite, avec en perspective, le thorme de Wedderburn et un premier aperu
sur les extensions cyclotomiques.
On reviendra dans les deux dernires sections sur les corps finis en dcrivant l'al
I gorithme de factorisation des polynmes sur un corps fini d Berlekamp. Enfin
on donnera une courte introduction la thorie des codes correcteurs d'erreurs,
elle sera base sur l'tude d'un code B C H . Le matriel dcrit dans ces sections
n'est pas plus difficile que celui des sections prcdentes, mais dans la mesure o
elles mettent en jeu de longs enchanements d'arguments, leur lecture n'est pas
conseille dans une premire approche. Par ailleurs leur ct introductif peut aussi
I rendre leur lecture plus difficile. Leur prsence est cependant ncessaire dans ce
I livre dans la mesure o elles abordent des sujets riches en applications. Pour ces
questions on renvoie [LN] et [MS] dont ont t tirs certains noncs et exercices.
I
73
I
Q
149
1. Dfinitions, caractristique d'un corps, applications
On rappelle la dfinition d'un corps :
Dfinition 1
I On appelle corps, un anneau dans lequel tout lment non nul, c'est--dire distinct
de l'lment neutre de la loi additive, a un inverse pour la loi multiplicative.
Dfinition 2
tant donn un corps k on appelle homomorphisme caractristique, l'homomor-
phisme d'anneaux, c : Z k, dfini par :
c(m) = 1 + - + 1 = m.l pour m ^ 0,
m fois
c(m) = c{m), pour m < 0.
Dans la suite on notera n.x simplement nx. Voici une autre proprit capitale de
la caractristique p :
T h o r m e 1 . Soient a et b deux lments d'un corps k de caractristique p. Alors
pour tout n on a :
(a + 6)P +6P .
(a + 6 f = ( ^ a * 6 P - ^
0
donc on a :
p-i
(a + b f = aP + ' ^ C;a^bP-^ + ,
I
Q
4.1 - CARACTRISTIQUE DUN CORPS, APPLICATIONS 151
avec q entier. Comme p ne divise pas i\ il divise C^. Les coefficients binomiaux
sont donc divisibles par p et donc nuis modulo p pour les valeurs de i considres.
Ceci implique donc que (a + h y = aP ,
Passons au cas gnral et raisonnons par rcurrence. Supposons le rsultat tabli
pour n 1. On a alors :
(a + 6)^ = (a + b ) {a + 6) = (a + )(a + 6) = a^ + a6 + .
On notera pour conclure cette partie qu'il existe des corps de caractristique p
ayant un nombre infini d'lments, par exemple le corps p{X) des fractions
rationnelles coefficients dans F.
D f in it io n 1
I Soit K un corps et k un sous-corps. On dit que K est une extension de k.
Par exemple C est une extension de R. Voil une remarque lmentaire mais
fondamentale :
I
S
par rapport l'addition de T. En effet ce sont des cas particuliers de ces dernires
proprits.
I
Q
4.2 - ELEMENTS ALGEBRIQUES, EXTENSIONS ALGEBRIQUES 153
I
D f in it io n e t n o t a t io n
On notera [K : k] la dimension de K en tant que k espace vectoriel. On appellera
cette dimension le degr de l'extension sur le corps de base k.
C o r o lla ir e . Soit k un corps fini p'^ lments. Tout lment de k est solution de
l'quation - X = 0. Dans le corps k ce polynme est donc produit de facteurs de
degr 1 ;
XP" - X = J J ( X - a ) .
aek
D f in it io n 2
Soit K une extension de k et soit x un lment de K , On dit que x est un
lment algbrique sur k s'il existe un polynme non nul P e k[X] dont x est
racine.
On a :
P r o p o s i t i o n 3 . Un lment x e K est algbrique sur k si et seulement si il existe un
sous-corps L de K contenant fc, de dimension finie sur k, dont x est lment.
Avant de passer la dmonstration donnons des exemples : les lments z, y/2, les racines
n-imes de l'unit sont algbriques sur Q. On montre facilement que a = \ / 3 + est
algbrique sur Q . En effet on crit (a ^/3)^ = 5. Soit 5 = lyfZa, puis on lve au
carr cette dernire quation. On obtient alors 22a^ + 25 = 0. Donc a est racine de
2 2 X ^ + 25. Ce cas est particulier, en gnral il est difficile de montrer directement que
la somme de deux nombres algbriques est algbrique. Ceci est dmontr en gnral plus
loin.
I On dit que x e K est un lment transcendant sur k s'il n'est zro d'aucun
polynme non nul coefficients dans k.
Si l'lment x est transcendant sur k alors k[x] est isomorphe k[X] et k{x) est
isomorphe k{X),
Si on considre le corps des fractions rationnelles k{X) la variable X est trans
cendante sur k. Les rels tt et e sont transcendants sur Q. Dans les exercices on
donnera un exemple de nombre transcendant.
Le lemme suivant est trs commode pour dmontrer qu'un nombre est algbrique
dans une grande varit de situations :
L e m m e 1 ( l e m m e d e l a b a s e t l e s c o p i q u e ) . Soit E une extension de k, et F
une extension de E. On a la formule suivante :
[ F : k ] = [ F : E][E : k] .
^^ijXiVj = 0, ou ij G /c ,
(ij)
I<0
o
avec ^ijXi G E. Comme l'ensemble des yj forme une base de F sur E on en
dduit que est nul pour tous j .
Voici une application sur laquelle on reviendra plus loin. Supposons donn un
corps fini de caractristique p, soit k, ayant lments et fc' un sous-corps. Alors
k' a lments pour un certain entier d. Montrons que l'entier d divise n. Les
corps k et fc' contiennent le corps premier Fp. Ils sont de dimensions respectives
n et d sur Fp. Le lemme de la base tlescopique montre alors que :
n = [ k : k']d.
k[X] K, i = ^ 1- ^ ^ = R(a).
Son noyau est engendr par le polynme minimal de a qui n'est autre que P .
Le quotient k[X]/{P) s'injecte donc dans K , k[X]/{P) est donc isomorphe un
sous-corps de K via un homomorphisme envoyant x sur a. Comme le plus petit
sous-corps de K contenant a et A; est K lui-mme on en dduit que k[X]/{P) est
isomorphe h. K,
Dfinition
I Par dfinition ce corps est le corps de rupture du polynme P.
Q
4.3 - CORPS DE RUPTURE DUN POLYNME 159
Voici un application de ce qui prcde :
Proposition 1 Soit k c K une extension de degr finie, et soit f un polynme irr
ductible coefficients dans k qui a au moins une racine dans K . Alors le degr de f
divise le degr de l'extension.
Dfinition 1
n (X -a) + l
aek
n'a aucune racine dans k.
Tout corps est contenu dans un corps algbriquement clos. Introduisons une
dfinition :
D f in it io n 2
A titre d'exemple prenons le polynme X^ X -\-l e 2 [X],\\ est irrductible car il n'a pas
de racines dans F2 . L'anneau quotient F 2 [X]/{X'^ -h X -h 1) est donc un corps 4 lments.
De mme on peut considrer le polynme + X -h 1 , il est aussi irrductible pour la mme
raison, il n'a pas de racines dans F 2 . L'anneau quotient 2 [X\/{X^ + X H-1 ) est donc un
corps 8 lments.
On peut aussi prendre le polynme X^ -h 2 X -I- 1 G F3 [X ] . On vrifie qu'il est irrductible
pour la mme raison : il n'a pas de racines dans F3 . L'anneau quotient F3 [X ] /( X ^ + 2 X - I- 1)
est donc un corps 27 lments.
Q
4.5 - ST R U C T U R E E T CLASSIFICATIO N DES C O RPS FINIS 163
En effet, si a et 6 sont deux solutions on vrifie que a + b, ab, - a , et sont
galement solutions. Faisons le dans le cas de o + 6, on a :
soit
XP*-i _ 1 = XP^-^XP"'' - l)((X -i)'^-i + + 1) + x p '-^ - 1.
T h o r m e 2 . On a la formule suivante :
d In
d\n
n i> p {n )^ p ^ - ^
d In, d^ n
'V
l'entier n a au plus ^ diviseurs : c'est un sous-ensemble de {!,..., [^]}. Pour les
fj Z Z
s n
I valeurs d appartenant cet intervalle la fonction p^ est infrieure p 2 . Il suffit
n
I donc de montrer que p^ - ( - ) p 2 > 0. Ce qu'on vrifie facilement. b
s
I Le rsultat prcdent donne une autre dmonstration de l'existence d'un corps fini
I p^ lments. En effet on vient de montrer qu'il existe au moins un polynme
^ irrductible de degr n.
I
Autrement dit, tant donne une puissance d'un nombre premier p, soit il y a
un corps et un seul, isomorphisme prs, ayant p^ lments.
Le corps fini p^ lments sera not Fpn, respectivement si la puissance de p est crite
sous la forme q le corps fini q lments sera not F^. La terminologie le corps fini p^
lments est bien entendue abusive et doit tre comprise comme il est prcis plus haut
Eacr(a)^ = 0.
D f in it io n 1
Soit ( un nombre complexe, on dit que c'est une racine n-ime de l'unit s'il
existe un entier n tel que = 1. On note pn l'ensemble des racines n-imes de
l'unit.
D f in it io n 2
On appelle racine primitive n-ime de l'unit un lment de pn qui est d'ordre n,
c'est--dire un gnrateur de p n . On note p*^ l'ensemble des racines primitives
n-imes de l'unit, cet ensemble est de cardinal ^{n), o on rappelle que est
a'0) la fonction d'Euler.
T3
D f in it io n 3
On appelle polynme cyclotomique le polynme
il est de degr
I
P r o p o s i t i o n 2 . Le polynme cyclotomique est coefficients dans Z.
I
1
Q
4.7 - RACINES DE LUNIT, POLYNMES CYCLOTOMIQUES 169
D m o n s t r a t i o n * On commence par observer que l'on a la formule suivante :
X " - 1 = .
d \n
Les ensembles pour d \n, constituent une partition de { 1 , . . . , n}. En effet, soit
une racine n-ime de l'unit d'ordre d dans le groupe /in/ cet ordre divise n. Par
dfinition elle appartient /ij, si et seulement si son ordre est d. On a donc :
d\n ^
X - 1 = n ^ .
d In
C o r o l l a i r e . Soit une racine primitive n-ime de l'unit. Le corps Q(C) est de degr
y>{n) sur Q.
I g - l - ^
l\q -l
#Q.
Q
4.7 - RACINES DE LUNIT, POLYNMES CYCLOTOMIQUES 171
On vient de montrer que le cardinal de Ci est 0 ou ^{l) (proposition 2,section 3,
chapitre 3). Par ailleurs on a la formule classique
q - l = .
d\q-l
Voici un exemple, considrons le corps Fie Nous pouvons le reprsenter comme tant le
quotient F 2 [ X]/{X^ -\-X + 1 ). Notons a la classe de X . Le groupe (F2 [X\/{X^ + 1 ))*
a 15 lments, il nous suffit donc de trouver dans ce groupe un lment, distinct de 0 et 1,
qui ne soit pas d'ordre 5 ou 3, il sera forcment d'ordre 15. Le corps F 2 [ X]/{X^ + X 4-1)
admet pour base sur F 2 les lments 1, a, . L'lment a n'est pas d'ordre 3 et comme
a = H- a il n'est pas d'ordre 5. Il convient donc.
8. Thorm e de W edderburn
L'objet de cette section est de dmontrer le thorme suivant :
T h o r m e ( W e d d e r b u r n ) . Un corps fini est commutatif et donc isomorphe Fpn
pour un nombre premier p et un entier n bien dtermins.
o la somme dans le terme de droite est prise sur un systme de reprsentants des
classes de conjugaison de k* n'appartenant pas au centre. Considrons la formule
de la proposition 3 de la section 3, et valuons la en g. On en dduit
q - - l = ll^ 4 q ).
d In
Les termes de droite sont des entiers.
L'entier ^ ti{q) divise g^ - 1. Il divise chaque terme dans la somme du membre
de droite de l'quation. En effet chacun de ces termes est un produit de la forme
O rid|n,d/na: et rix par hypothse. Donc ^n(^) apparat dans ce produit
'
d'entiers.
Q
4.8 - THEOREME DE WEDDERBURN 173
L'entier ^n() divise donc q - l . Ceci n'est possible que si n = 1. En effet pour
une racine C de l'unit distincte de 1 on a \q C\> \q l\^ l. On en dduit que si
n > 1 on a |$n()| > k - 1| si n > 1, ce qui est impossible puisque l'entier ^n{q)
divise q - l . Donc on a n = 1 ce qui veut dire que k = Z{k) et donc que k est
commutatif. h
9 . L'algorithme de Berlekam p
Dans cette section, nous prsentons un algorithme, dit de Berlekamp , de dcom
position des polynmes en produit de facteurs irrductibles. Il est bien clair que
le problme de factoriser un polynme sur un corps fini est fini, comme celui de
factoriser un entier. Il suffit en effet par rcurrence de donner la liste de tous les
polynmes irrductibles de degr infrieur ou gal. Mais nous allons prsenter un
algorithme plus rapide, pouvant tre programm efficacement sous certaines hypo
thses. Par ailleurs, cet algorithme est conceptuellement intressant. Il se prsente
en fait comme une succession d'applications des techniques dj tudies.
Pour cette section et la suivante, on trouvera une masse norme d'informations sup
plmentaires dans [De], [MS], et tout spcialement [LN] dont on s'est fortement
inspir.
Soit k = q un corps fini de caractristique p, et soit P un polynme coefficients
dans fc. Soit
P = ... p p
Proposition 1. Soit H un polynme coefficients dans tel que H'^ H est divisible
par P. Alors on a :
P = l[pgcdiP ,H -X ).
X ek
T3 La dernire galit rsulte de ce que les polynmes H X sont premiers entre eux
deux deux (on a en tous cas une relation de divisibilit, qui nous suffit).
Dfinition 1
On dit qu'un plynme H est un polynme rducteur pour le polynme P si la
factorisation associe est non-triviale.
8O
Cette proposition a lieu sans supposer que le polynme P ait tous ses facteurs
irrductibles simples. partir du moment o Ton a pu trouver un polynme H
I
O
i
Q
4.9 - LALGORITHME DE BERLEKAMP 175
tel que P divise H et que || < |P| elle permet d'crire P comme produit
de polynmes premiers entre eux deux deux. Pour que ce produit comporte au
moins deux termes il faut et suffit que le polynme H ne soit pas une constante.
Les termes du produit ne sont pas ncessairement irrductibles. Mais s'il y a au
moins deux termes dans le produit, on a ramen la factorisation du polynme
initial celle de polynmes de plus bas degr.
La prochaine proposition montre que l'on peut trouver un polynme rducteur de
degr non nul si et seulement si le polynme P n'est pas puissance d'un polynme
irrductible. Avant de l'noncer il nous faut expliquer comment dterminer des
polynmes H rducteurs pour P .
On rduit ce problme la rsolution d'un systme d'quations linaires. Soit N
le degr de P , et pour un entier j fix soit
On considre le polynme
P = X + X + - X + -h X H-1.
Sa drive P ' est X + + 1. Calculons le pgcd de P et P ' . Le reste P i de la
division de P par P ' est X + X ^ ^ -X ^ , celui de la division de P ' par P i est P 2 = X "* + 1 ,
celui de P i par P 2 est P 3 = X ^ , enfin celui de P 2 par P 3 est 1. Le polynme n'admet donc
pas de facteurs multiples dans sa dcomposition et est produit de facteurs indcomposables
deux deux distincts.
La matrice A{P) considre s'crit
/ 1 0 0 0 0 1 0 0 14
' 0 0 0 0 0 0 1 0 1 '
010001000
000001011
001001000
000001100
I 000100001
000001010,
\ 0 0 0 0 1 1 0 0 1/
/ 0 0 0 0 0 1 0 0 14
I 010000101
0 1 1 0 0 1 0 0 0
I
0) la matrice B (P) = A{P) Ig s'crit :
0
0
0
0
0
1
1
0
0
1
1
1
0
0
1
0
1
0
't 0 0 0 0 0 0 1 0 0
I 0
0
0
0
0
0
1
0
0
0
\0 0 0 0 1 1 0 0 0/
0
1
1
0
0
0
1
0
I
-d
La proposition suivante justifie que l'on ait avant la dfinition appele cette fonction
distance de Hamming :
P r o p o s i t i o n 1 La fonction de Hamming est une distance sur .
Q
4.10 - LES CODES CORRECTEURS DERREURS 179
C'est ici qu'intervient la distance de Hamming. On considre la diffrence entre les
donnes transmises et celles qui ont t reues. Supposons que le nombre d'erreurs
soit petit, disons infrieur un entier fix t. Les donnes transmises se trouvent
distance (pour la distance de Hamming) moins que t des donnes reues. Si
dans une boule de rayon t autour des donnes reues il y a un seul lment qui
satisfait aux relations imposes on a reconstitu les donnes transmises.
Dans le processus dcrit on a donc la source un espace correspondant
l'information initiale, l'arrive un espace correspondant aux donnes trans
mises et reues, une application / de dans correspondant au processus de
transmission thorique (sans altration).
Dfinition
I Le sous-ensemble C C image de / est appel le code.
Dfinition 2
Dfinition 3
Un code est dit linaire si l'ensemble C est un sous-espace vectoriel de K , on
le supposera de dimension h. Une matrice (h,n) coefficients dans K dont les
vecteurs lignes engendrent le code sera appele une matrice gnratrice du code,
on la notera G. Une matrice (n h,n) coefficients dans K dont les vecteurs
lignes constituent un systme d'quations pour le code sera appele une matrice
de parit du code, on la notera H.
Dfinition 4
On appelle distance minimale du code C la quantit :
Il est possible de donner pour la distance minimale d'un code linaire une borne
suprieure, ceci sera fait en exercice.
Le rsultat suivant caractrise la distance minimale partir de la matrice de parit.
Proposition 3 Un code linaire de matrice de parit H est de distance minimale
suprieure ou gale d + 1 si et seulement si tout systme de d colonnes de la matrice
de parit H est linairement indpendant.
On va dans la suite dcrire deux types de code, et ce dans un des cas jusqu'au d
codage. Cela permettra d'illustrer des techniques diverses d'algbre, aucune n'est
complique en elle-mme, c'est leur succession qui rend le problme dlicat.
D f in it io n 5
On dira qu'un code C de longueur n est cyclique si et seulement si
(-l J . . . , Q>n ) G C ^ {fln ) ^1 ) J n - l ) G C .
D f in it io n 6
On appellera polynme de parit du code le polynme :
X^ - 1
G{X)
La faon la plus classique pour coder l'information initiale dans ce cas prcis est
la suivante. On interprte les donnes initiales comme un polynme coefficients
dans K, soit D, les donnes transmises sont la classe du produit GD dans l'anneau
quotient.
b-\-cL2 (b+d-2)(n-l)
\1
Si on slectionne d - 1 colonnes quelconques, on reconnat, un facteur multipli
catif prs, un dterminant de Van der Monde qui est non nul. Si bien que d 1
colonnes quelconques de cette matrice sont linairement indpendantes. Donc un
lment non nul dans le code doit avoir au moins d coordonnes non nulles. Donc
si P n'a que d - 1 coefficients ventuellement non nuis, il est nul.
Algorithme de dcodage
Venons en maintenant au processus de dcodage. Supposons que l'on ait le code
BC H de longueur n et de distance minimale au moins gale d = 2t -h 1 dfini
plus haut. Supposons que le processus de transmission des donnes fasse au plus
t erreurs, si bien que le code peut corriger ces erreurs. Soit R e K[X]/(X^ 1) les
donnes reues, cherchons dterminer les donnes transmises. Considrons la
diffrence, que l'on appellera le polynme d'erreur, E = R T entre les donnes
transmises T et les donnes reues R. On va procder en deux tapes, d'abord
on va dterminer en quels emplacements se sont produites les erreurs, puis on les
dterminera.
Les valeurs Rifjd) pour ^ ^ + d - 2 sont connues, par construction on a
E{pj) = R{ii^) pour 6 < i < 6 + d - 2 .
Les coefficients de E sont donc solutions d'un systme linaire de d 1 quations
et n inconnues (les coefficients du polynme E). Il y a au moins une solution
par hypothse, mais en gnral il y en a plusieures. Pour dterminer la bonne on
procde comme suit. tablissons d'abord un lemme.
Considrons un entier ^ t un entier, et un polynme :
F=
i= 0,...,u 1
n (X -y ^ )= < X u -eX .
j= i,...,u e = 0 j...,u
Y a u -e y j^ O .
= 0 ,...,u
+ .. + = 0.
f F{fi^) ...
1 . .. 1 \ ih y r ^ 0 ... 0 \
( 1
yi y2 . yu 0 /22/2" ' 0
v = , et D
0
U r ' i/2 2/ rV i, 0 0 /u2/rv
Donc le dterminant de la matrice du systme est gal :
I
V
O
Comme les racines yi sont supposes deux deux distinctes ce dterminant est
non nul si et seulement si tous les coefficients f j sont non nuis.
I
Q
4.10 - LES CODES CORRECTEURS DERREURS 185
Appliquons ces rsultats au polynme d'erreur E , supposons que r erreurs aient
t commises, avec r et soit enfin u Considrons le dterminant :
Du =
On a :
C o r o l l a i r e * Le dterminant Du, est nul ds que u > r , il est non nul pour
u = r.
Pour dterminer le nombre d'erreurs commises on doit donc calculer ces dtermi
nants et calculer la plus grande valeur infrieure ou gale t pour laquelle il est
non nul.
On calcule alors le polynme d'erreurs comme suit. Posons
E=
n (X -X i)=
TrEiij!^) + + + + ?(/+) = 0,
pour A:= 6 ,.. .,6 + r* 1. On peut donc calculer la valeur des ri qui sont, au signe
prs, les fonctions symtriques lmentaires des Xi, Prcisment ( - l) V i est la
i-ime fonction symtrique lmentaire des racines Xi, si bien que l'on obtient ces
racines en rsolvant l'quation :
-\---- + T r = 0 .
Notons que l'on peut toujours rsoudre une telle quation, quitte tester tous les
lments du corps fini L !
Enfin, on calcule les coefficients en rsolvant le systme linaire :
Y,
l< i< r
1 -f Z + X2 + + X + .
Considrons le code BCH associ de dimension 16, il est de longueur 31, il peut corriger
jusqu' deux erreurs, supposons donc qu'au plus deux erreurs se soient produites. Considrons
le cas o les donnes reues sont le polynme :
1 + X 4- X + X ^ + X ^ + X ^ + X^2 + X^ + X^*^ + X^ + X ^^ .
Le polynme d'erreur E prend les mmes valeurs que ce polynme en // pour 1 ^ x ^ 5,
ce sont dans l'ordre : , /x + /x^ + 1, /x + /x^ + 1, /x + /x2 + /x, /x"^ + /x 4- + 1.
Le dterminant
/X^ )LX4- + 1
/X + /x2 + 1 )LX4- ^2 + /X
est nul. Donc seulement une erreur s'est produite. Le polynme E est donc de la forme X ^ ,
comme il prend en /x la valeur /x^ il est gal X "^. Le polynme transmis tait donc :
1 + X 4- X + X ^ + X*^ 4- X ^ + X^o + X^2 Xi^ 4. ;^ i8 x ^^ .
Pour obtenir les donnes initiales il faut diviser par le polynme gnrateur. On obtient :
1 + X 2 + X 4- x ^ .
Supposons maintenant que les donnes reues soient :
1 + X 4- X 2 + X ^ + X 4- X ^ + X + X ^ 4- X ^ + X ^^ + X^ + X 2 .
Le polynme d'erreur E prend les mmes valeurs que ce polynme en i^ pour 1 ^ x ^ 5,
ce sont dans l'ordre /x2, /x^, /x"^ + /x 4 - 1, /x + /x2 + 1, /x + ^ 4 - 1.
Le dterminant
I fjb^ 4- /X + 1
est non nul et gal ^x H- /x + 1 . Donc seulement deux erreurs se sont produites. Le polynme
E est donc somme de deux termes, c'est--dire de la forme X i 4- X2 . Les quantits
tq = fjL'^ 2 Tl = 4- sont solutions du systme :
T i^2 4. _ ^4 _j_ ^
J? X -{ iJ? fj, = 0 .
Les zros sont /1 ^ et /jl^^. Les donnes transmises taient donc, comme dans le cas prcdent :
1+ + x^'^ + + x^^.
On notera dans ce cas que le dterminant :
/jl"^ //^ + //+1
//4 /i^ + //+ 1 /i+ //2 + 1
/X^ + /i + 1 + /^ + 1 /X+ /X+ 1
est nul.
Codes de Goppa
Dans ce paragraphe on tudie une autre classe de codes, les codes de Goppa. Par
comparaison au cas prcdent les codes de Goppa sont construits de manire
avoir une distance minimale suprieure une valeur prescrite l'avance. Nous
donnerons dans ce cas seulement les dfinitions, le calcul dune matrice de parit
et des proprits de base du code. Encore une fois, un des intrts de cette tude,
outre les applications, est la mise en oeuvre de techniques de base d'algbre li
naire ainsi que de la thorie de corps finis. Nous commenons par introduire
quelques notations et un lemme.
Soient q un corps fini, m un entier positif non-nul, G G F^m [X], et soit enfin
L = { a i , ... ,an} une famille d'lments de F^m qui ne sont pas des racines du
polynme G. Le polynme X - est donc par hypothse premier avec G.
On commence par observer que la classe de X ai est un lment inversible
dans l'anneau quotient F^m [X]/(G). C'est une consquence de l'identit de Bezout.
Soient en effet U et V deux polynmes tels que f/(X - a^) + FG = 1. En rduisant
modulo G on obtient i7(X - a^) 1 modulo G.
D f in it io n 7
Le code de Goppa P associ G et L est le sous-espace de F^ constitu par les
vecteurs ( a i, ... ,an) tels que l'lment de l'anneau quotient F^m [X]/(G) :
ai
E
soit nul.
Y, a,( Y =0
o (X a j) * = Yyj=o r-i encore se rcrire
ZI X) Z ^i,},k^kX^) = 0
Y 0,iUij =0, O ^ j ^ r - 1 .
2 = l,...,n
Puis on crit que ces lments de F^m sont nuis, c'est--dire que leurs coefficients
dans la base des Vk le sont. Soit ... ^ ciii^ij.k = 0 , a j et k fixs. On a donc m r
quations coefficients dans q. Le code est donc de dimension au moins n mr.
Pour ce qui est du second point il faut montrer qu'un point non nul du code a au
moins r -f 1 coordonnes non nulles.
C'est un exercice que de vrifier que l'lment {X - ai)~^ est, dans l'anneau
quotient ^[X]/{G), gal
I X Oii
Il en rsulte que a = (a i,,an) G P si et seulement si l'lment de l'anneau
quotient :
G G {ai) .
I
E
!s est nul. Cet lment tant en tant que polynme de degr infrieur ou gal
r 1 cette condition d'annulation peut tre prise indiffremment dans l'anneau de
polynmes.
I
On crit alors que les coefficients de ,,! dans l'lment ci-dessus sont nuis
et on obtient la matrice de parit dont le terme p ij est gal
soit la matrice :
\ {9 i + a i 9 2 + - + o c '[ V ) G ( a i ) {9 i+ - + a '^ 2 ~ ^ g r )G {a 2 )- ^ - (p i+ - + a rV )G (a )- i;
La terminologie matrice de parit est dans ce cas abusive, car chacune des qua
tions obtenues partir d'une ligne (un coefficient du polynme) est une quation
coefficients dans F et non dans F , . En dcomposant comme il a t dit plus
haut on obtient pour chaque ligne m quations linaires coefficients dans F , .
La matrice qui prcde est gale au produit (dans l'ordre) des deux matrices
suivantes :
f 9r 0
Qi 1 9r ... 0
1 51 92 93 9r /
G{a2)~^ ... c
a iG {a i) ^ aiG {a2) ^ aiG {an ) ^
\
Comme la premire matrice est inversible {gr ^ 0) la seconde matrice est encore,
par dfinition, une matrice de parit. Le calcul du dterminant de Van der Monde
montre alors que r colonnes quelconques sont linairement indpendantes (les ai
tant supposs deux deux distincts).
Le calcul de la distance minimum en rsulte.
On va prciser ce rsultat dans le cas o g= 2. Soit un lment du code a = (ai, , ).
Supposons que exactemeent t scalaires ai soient non-nuls : a0(i), , a<^(^) Dfi
nissons un polynme f&iX) par /a =
IL
^a= E
/a
Exercices
I. E l m e n t s a lg b r iq u e s , p o ly n m e s c y c lo t o m iq u e s
2. Soit fjL une racine primitive n-ime de l'unit. Soit k un entier. Calculer la somme
z = 0 ,...,n - l
Discuter en fonction de k.
U G
Q
EXERCICES 191
On distinguera suivant le cas o ^ est proche, en un sens prciser, de a ou
4. Nombres de Liouville.
En utilisant l'exercice prcdent on montrera que le rel
y
V 10"'
est transcendant.
5 . Calculer $n(l) et !)
6. Calculer les polynmes cyclotomiques ^ 12, ^ 24/ ^15 / ^9/ ^ 21, ^36-
pour tout entier m e Z. Montrer alors que les ai sont tous nuis.
On pourra soit faire une rcurrence sur n, soit utiliser un dterminant de Van der
Monde.
= 1 si X G (F p ^ par = - 1 sinon.
E (i)=o-
(!> *
Montrer que :
'= E (?>"'*> + E ( t )-
En conclure que
c) Soit d un entier. Montrer que le corps Q('\/ci) est un sous-corps d'un corps
cyclotomique.
Q
EXERCICES 193
Montrer que l'ensemble des lments contructibles est un sous-corps de K.
b) Montrer que le degr d'un lment constructible est une puissance de 2.
c) Montrer que cos(|) n'est pas constructible.
II. C o r p s f in is
1. Dmontrer que les polynmes suivants, coefficients dans F2, sont irrductibles :
^ P i = X + X + 1,
^ P 2^ X ^ +X ^ + 1.
Trouver un gnrateur du groupe multiplicatif du corps F2[X]/(Pi), z = 1,2.
4. Montrer en faisant des rductions modulo un nombre premier p bien choisi que
les polynmes suivants coefficients entiers sont irrductibles :
X + 2X7 ^ 3^6 + x ^ + 4X* + 3X + 1,
X + X7 + 2X + 3X^ + 3X^ + 1,
- X7 + 3X + 4X'* -h X2 -I- 2X + 2,
X + X 3 + X 2 + l.
i diviseur de n, moi
montrer que P factorise en ^ polynmes irrductibles de mme
degr dans Fpd [X]
Q
EXERCICES 195
n . ** On reprend la terminologie de l'exercice 7. Soit fc = Fp, p premier, calculer le
nombre de polynmes irrductibles de degr n, unitaires et d'exposant e. On
commencera par tudier la dcomposition de la rduction modulo p du polynme
cyclotomique ^ e{X ).
12. Soit V un espace vectoriel de dimension fini d sur un corps fini k. Soit (ei, . . . , e^)
une base de V. Soit v e V , et soit (a i,... ,ad) les coordonnes de v dans cette
base.
a) L'lment v tant fix, montrer qu'il existe un polynme coefficients dans k en
d variables qui prend la valeur 1 en (ai ,... ,ad), et la valeur 0 partout ailleurs.
b) Soit de faon plus gnrale / une application de V dans k. Montrer qu'il existe
un polynme P en d variables tel que, pour tout v e V , o n ait f{v) = P (a i, .. ., a^ ).
c) Le polynme prcdent est-il unique ?
i
O Ui est le degr de P i.
y q -2 a i . . . q -2 /
III. C o d e s lin a ir e s
2=0
3. O n c o n sid re ra la d iff re n c e
P {^)-P {a).
E n a p p liq u a n t le th o r m e d e s a c c r o isse m e n ts fin is o n o b tie n t
P (f)-P (a ) = (f-a)F'(^).
S i ^ e st a s s e z p ro c h e , et d iff re n t d e a , P ( | ) e s t n o n n u l. P a r a ille u r s P { ^ ) e s t n o n n u l e t
p e u t s' c r ire s o u s la fo rm e ^ o c e st u n e n tie r n o n n u l. O n a d o n c
^ a ) P 'W .
5. D a n s le p r e m ie r c a s o n u tilis e ra la fo rm u le
n
d I n, d ^ l
X " - l = n M X),
a p p liq u e d a n s le c a s n = p ^ . O n o b s e r v e r a q u e ^ p h - i ( X ) e s t fa c te u r d e - 1.
10. a) Il y a P 1 l m e n ts q u i s o n t d e s c a r r s d a n s F * e t p 1 l m e n ts q u i n e le s o n t p a s .
b) C a lc u le r le c a rr :
E
x,zeF*
P u is p o s e r Z = x y ~ ^ . P u is m o n tre r q u e le p r e m ie r te rm e d e la s o m m e :
Q
EXERCICES 199
11. C h e rc h e r d e s c a s m o d u lo 2, 3, . . .
13. a) b) U tilise r le th o r m e d e la b a s e t le sc o p iq u e .
c) d) crire le s p o ly n m e s m in im a u x d e s l m e n ts c o n c e rn s. O n tro u v e S X ^ - 6 X 1 e t
X ^ 2 . O n v rifie ra q u 'ils s o n t ir r d u c tib le s s u r Q .
{X + y)* = JJ (X + = JJ ).
i i
II. C o r p s fin is
1. D a n s ce c as, o n v rifie l'irr d u c tib ilit e n v rifia n t q u e le s p o ly n m e s e n q u e s tio n n e s o n t
p a s d iv is ib le s p a r d e s p o ly n m e s ir r d u c tib le s d e d e g r 1, 2, e t 3. Il s u ffit d e c o n n atre la
liste d e c e s p o ly n m e s : X , X + 1, + X + 1, + x + 1 et + ^ 2 + 1.
P o u r ce q u i e s t d e tro u v e r u n g n ra te u r, d a n s le p r e m ie r c a s o n d o it tro u v e r u n g n r a te u r
d 'u n g r o u p e c y c liq u e d 'o r d r e 63, il s u ffit d o n c d e tro u v e r u n l m e n t q u i n e s o it n i d 'o r d r e
7 n i d 'o r d r e 9. D a n s le s e c o n d o n d o it tro u v e r u n g n r a te u r d 'u n g r o u p e d 'o r d r e 127, 127
e st p r e m ie r d o n c to u t l m e n t d iff re n t d e l' l m e n t n e u tre e s t g n ra te u r.
4. O n tra v a ille r a a v e c p = 2 et p = 3.
5. a) M o n tre r q u e s o n t le s a u to m o r p h is m e s d e la fo rm e ( F ^ ) ^ .
b) U tilise r le s r s u lta ts g n r a u x s u r le s c o r p s fin is.
c) P o so n s q = p'^. Si 'ipq (m ) e st le n o m b re d e p o ly n m e s u n ita ire s, d e d e g r m , irr d u c tib le s,
c o e ffic ie n ts d a n s q m o n tre r q u e :
Y , #?(") = 9
dIm
6. O n c o m p te le n o m b re d ' l m e n ts d e la fo rm e a;^, et le n o m b re d ' l m e n ts w ,x
et y d c riv a n t F p . Il y e n a . E t o n m o n tre q u e l'in te rse c tio n d e s d e u x e n s e m b le s e s t
n o n -v id e .
8. 255, 9 et 127.
12. a)
( oc^ai
- )) + !
1 en ( a i , . . . , a d )
c) N o n , si di q l m e n ts o n p e u t le re m p la c e r p a r s a p u is s a n c e -i m e .
III. C o d e s lin a ir e s
1. D e u x c o lo n n e s q u e lc o n q u e s d e la m a tric e d e p a r it s o n t lin a ire m e n t in d p e n d a n te s.
2. M a jo re r la so m m e d e s p o id s d e t o u s le s l m e n ts d u c o d e , p u i s d iv is e r p a r le n o m b re
d ' l m e n ts n o n n u is d u c o d e . E n fin la d is ta n c e m in im a le e s t a u s s i le p o id s m in im u m n o n
n u l d 'u n l m e n t. P o u r m a jo r e r la s o m m e d e s p o i d s o n tie n d r a c o m p te d e s l m e n ts d u
c o d e q u i s o n t s itu s d a n s le s h y p e r p la n s d e c o o r d o n n e s et le u r s in te rse c tio n s.
I e n s u p p o s a n t a v o ir c h o isi c o lo n n e s s a t is f a is a n t la p ro p r i t . P o u r e n tro u v e r A; + 1
c o lo n n e s o n d o it lim in e r to u te s le s c o m b in a is o n s lin a ire s d e d - 2 c o lo n n e s p a r m i le s
p r c d e n te s.
s e c o n d e s t le p o ly n m e m in im a l d e , le tro isi m e d e le q u a tr i m e d e le
c in q u i m e d e e n fin le d e rn ie r d e . C e c i p e r m e t d e c a lc u le r le p o ly n m e
g n ra te u r.
a O n tro u v e 4 e rr e u rs d a n s le p r e m ie r c a s 1 d a n s le se c o n d . L e s d o n n e s t r a n s m is e s ta ie n t
I
T3
Q
EXERCICES 201
5. On vrifie que le polynme X +X +X* +X^ +1 divise X^^ +1. Les polynmes minimaux
de fj,, tj?, sont X +X +X ^ +X 2 + l, X +X + l, X ^ + X + l.
L e p o ly n m e g n r a te u r e s t 1 + X* + X^ + X + X
5. b) Il y a 4 e r r e u r s d a n s le p r e m ie r c a s, 2 d a n s le se c o n d . L e s d o n n e s tr a n s m is e s ta ie n t
X + X + X + X + X2 d a n s le s d e u x c as.
so it :
f i l O? a + a
1,0 1 a + 1 +1
or
+a+1
OL a +
+ a + 1 a ^+ l r)
/ 1 1 00 0 00 0\
0 0 01 0 1 11
0 0 11 1 001
0 1111111
0 0 10 1 1 0 1
\0 0 0 1 1 1 1 0 /
L e c o d e e st d e d im e n s io n 2, s a d is ta n c e m in im a le e st 5 (a p p liq u e r la p r o p o s itio n 3 s e c tio n
10 e t c a lc u le r le r a n g d e la m a tric e ).
a+
D a n s le s e c o n d e x e m p le o n c h o isit u n g n ra te u r a d e p o ly n m e m in im a l -\-X^ l ,e t
o n tro u v e c o m m e d im e n s io n 17 et d is ta n c e m in im a le e s t 7, o n re n v o ie [M S] p o u r p lu s
d e d ta ils s u r c e s e x e m p le s.
Rductions^ des
endomorphismes
Structure du groupe
linaire
I
Q
203
1. Polynm e m inim al d'un endom orphism e
Soit k un corps quelconque et soit E un espace vectoriel de dimension finie sur
k. Soit / e ^ {E ) une application linaire de E dans lui-mme. Dfinissons xme
application
ev: k [ X ] - ^ ^ { E )
par :
i i
Dans la suite sera not P(/). Dans cette formule f dsigne l'iden
tit Id. Concrtement, dans le polynme, la variable X on substitue l'application
linaire /. On a (proposition 2, section 5, chapitre 3) :
D f in it io n 1
D m onstration. Montrons par exemple que E q est stable par /. On doit montrer
que si on a un lment x 6 P tel que P(/)(x) = 0 alors on a a aussi R{f){ f{x )) = 0.
Mais on a R{f ) {f{x)) ^ f{R{f )){ x) = 0, ce qui dmontre le rsultat.
Comme P et 5 sont premiers entre eux d'aprs l'identit de Bzout il existe des
polynmes coefficients dans k, soient U et V, tels que
UR-\-VS = l .
En substituant / la variable X on obtient
U{f)R{f) + V{ f ) S { f ) = l d.
En particulier pour tout x e E on a
x = U{f)R{f){x) + V{ f ) S{ f ) { x) .
I
TO Par ailleurs U{f)R{f){x) Ei car on a :
o
X = U{f)R{f){x) + V { f ) S { f ) { x ) ,
les deux termes de droite sont nuis. Ceci montre que x = 0 et achve cette partie
de la demonstration.
I
TO
3
c
Ce rsultat est connu sous le nom de thorme des noyaux. Il se gnralise comme
suit :
T h o r m e 1 . Soit E un espace vectoriel de dimension finie sur un corps k, et soit
f e ^k{E) une application linaire. Soit P e k[X] un polynme. Supposons que P =
P\ Pi - Ph, o les polynmes Pi e k[X] sont premiers entre eux deux deux. Soit
Ki le noyau de Pi{f), alors :
les sous-espaces vectoriels K i sont stables par /,
le noyau de l'application linaire P { f) , KevP{f) est somme directe des sous-espaces
vectoriels K i,
si P est le polynme minimal de f l'espace vectoriel E est somme directe des K i,
et le polynme minimal de la restriction de f Ki est Pi.
E ^ i T O i ( / ) = w,
i
i
Mais on a :
Ce qui implique que E est somme des sous espaces vectoriels AT.
Il reste montrer que la somme est directe. Conservant les notations prcdentes
notons TTi l'application linaire U i ( f ) O A f )
='^i- B
j j
D f in it io n 2
Soit E un espace vectoriel de dimension finie sur un corps k, et soit / une
application linaire. On dit que \Gk, est valeur propre de / s'il existe un lment
non nul V P tel que /(v) = Av. On dit que v est un vecteur propre associ la
valeur propre A si /(v) = Av.
i
TJ P r o p o s i t i o n 3 Soit E un espace vectoriel sur un corps fc, et soit f une application
linaire. Soit X e une valeur propre de f . Uensemble des vecteurs propres de f associs
la valeur propre X est un sous-espace vectoriel de E appel le sous-espace propre
associ la valeur propre X. Il est not E\.
Q
5.1 - POLYNME MINIMAL DUN ENDOMORPHISME 207
D m o n s t r a t i o n * En effet, supposons avoir une relation du type
= 0,
l^ i^ k
^ (Ai - Ai)vi = 0 .
Chacun des termes de cette relation est non nul. Par itration on obtient :
D f in it io n 3
n ( / - A j l d ) { v i ) = H ( / - A,- I d ) ( / - Ai I d ) ( t ;i ) = 0 .
j
Le rsultat suit.
La premire partie du thorme suit aussitt en prenant pour P le polynme
minimal.
Q
5.1 - POLYNME MINIMAL DUN ENDOMORPHISME 209
C orollaire. Soit E un espace vectoriel de dimension finie sur un corps fc, et soient
f i, i e I un ensemble d'applications linaires qui commutent deux deux : f i f j = f j f i ,
pour tout i et tout j . Supposons que les applications linaires fi soient diagonalisables,
alors elles sont diagonalisables dans une base commune.
Dfinition 1
Soit E un espace vectoriel de dimension finie sur un corps k, et soit / une
application linaire. On appelle polynme caractristique de / le polynme
d e t ( / - X I d ) G k[X].
Comme tout polynme non constant a au moins une racine dans un corps
algbriquement clos on a :
C o r o l l a i r e Soit E un espace vectoriel de dimension finie, non nulle, sur un corps k
algbriquement clos. Une application linaire de E dans lui-mme a toujours au moins
une valeur propre.
Soit / une application linaire d'un espace vectoriel sur un corps k, de dimension
finie sur k, dans lui-mme. Si elle a toutes ses valeurs propres dans le corps k et
deux deux distinctes, le polynme caractristique est gal au polynme minimal.
Cette proprit a lieu ds que les racines du polynme caractristique dans une
clture algbrique du corps de base sont deux deux distinctes.
Les commentaires prcdents peuvent tre dmontrs directement ou tre vus
comme une consquence du thorme de Cayley-Hamlton qui suit :
T h o r m e 1 Soit f e S^{E). Le polynme minimal de f divise le polynme caract
ristique de f .
et au dernier pas :
(_l)n+l^n_c^_l^in - 1 Ci-\A 0 .
Ceci dmontre que le polynme caractristique s'annule quand on l'value sur la
matrice de / dans une base quelconque, ou ce qui est quivalent sur /. h
0 :
1 0 0> n-2
Vo ... 0 1 ^ n 1 /
Soit / G SBk{E), Supposons que E est de dimension finie sur k A - Xn. Il est
possible de montrer que l'on peut trouver une dcomposition en somme directe
de E, telle que :
Chaque Ei est stable par f , le. f( E i) c E i,
on peut trouver une base de Et dans laquelle la restriction de f k E{ a pour
matrice une matrice compagnon de polynme caractristique Pi ,
le polynme Pi divise si i < h.
On a :
T h o r m e 2 . La dcomposition prcdente a les proprits suivantes :
La suite des polynmes Pi est uniquement dtermine par / , autrement dit, elle est
la mme pour toute dcomposition satisfaisant aux proprits ci-dessus,
le polynme Ph est gal au polynme minimal de f ,
le polynme caractristique de f est gal ^ /
I si deux applications linaires f et g sont conjugues sous l'action du groupe linaire,
et si on note Pi et Qi les polynmes qui leur sont associs on a Pi = Qi pour tout i,
inversement soient deux applications linaires f et g, et soient Pi et Qi les poly
Ia nmes associs. Si on a Pi = Qi pour tout i les applications linaires f et g sont
s conjugues.
I
T3
Q
5.2 - THORME DE CAYLEY-HAMILTON 213
Nous n'allons pas dmontrer ce thorme. La dmonstration en sera faite en exer
cice. Notons seulement que les points deux et trois de l'nonc sont faciles. Le
troisime point rsulte d'un calcul explicite, le second de la condition de divisi
bilit portant sur les polynmes. La cinquime condition est elle aussi facilement
dmontre.
Les parties difficiles sont en premier lieu l'existence affirme avant le thorme,
puis l'unicit de la suite de polynmes. Tout ceci sera propose en exercice.
Les polynmes dfinis plus haut sont appels les invariants de similitude de
l'application linaire.
Notons enfin pour conclure l'analogue pour les matrices.
Deux matrices (n,n) A et B sont semblables s'il existe une matrice inversible
(n,n), soit P , telle que A = P~^BP. Identifiant les matrices des applications
linaires de dans lui-mme on peut associer chacune une suite de polynmes
avec les conditions indiques plus haut.
Alors le thorme prcdent affirme que les matrices sont semblables si et seule
ment si les deux suites de polynmes concident. Ceci permet donc de dterminer
les classes de conjugaison du groupe linaire.
av h ^ ^ Oii^i 0,
= 2,. .. ,
en appliquant on obtient
Q!ie-=0,
= 2 , .. ., n
donc tous les coefficients sont nuis. Il reste donc av = 0, mais comme v est non
nul, a est nul.
La matrice de / dans cette base est alors de la forme souhaite, savoir :
/ A a 2 ... an \
0 (B)
V /
E , = {i;;|(AId-/)^(v) = 0}.
El C - C Ee c - C Ek = E .
F k Cl E k ) * * * ) -Pi+i C E i^ i .
E
est contenu dans E i . En effet par construction pour tout tel que i - ^ l ^ ^ k le
sous-espace g^~^{Fe) est contenu dans E i.
Par dfinition g^~^ est injective sur Fi, et en fait sur Fi -h
0 (0
l^e^k
L' image du sous-espace prcdent par g est aussi une somme directe :
i'O
qui est par construction d'intersection rduite {0} avec E^-i et donc par dfinition
de on rcupre la somme directe suivante
k -i-t
I 0 9 {F k-t).
9^ ^('i^,0 + + Vk,k-i) = 0
Mais comme est injective sur [Fk-t) il en rsulte que tous les
lments Vk-e+t^t sont nuis. Le rsultat suit.
Construisons alors une base de E comme suit. Pour chaque Fi on choisit une base
que l'on notera (ei,i, . . . , e^,di ), o est la dimension de F i. Le rsultat prcdent
montre que :
Proposition 2 . Le systme de vecteurs
(^1, 1 ) ) ^lydi ) )
(^1,1 ) ) ^ ( e^, ! ) ) } , ) P ) ) ) P
/ J\,d\ 0 \
b *^l,d2 0
0 ... 0
V0 .......... ^ /
o Ji^e est la matrice de la restriction de / au sous-espace vectoriel Ei^e.
Il nous reste traiter le cas gnral de la jordanisation. Soit donc f une applica
tion linaire d'un espace vectoriel complexe E de dimension finie dans lui-mme.
Puisque le corps sur lequel on travaille est C le polynme minimal de / a toutes
ses racines dans le corps et se scinde donc en produit de polynmes de la forme
On est donc ramen sur chaque Ei au cas prcdent. Une base de jordanisation
est alors par dfinition une base obtenue par runion de bases de jordanisation
sur chacun de ces sous-espaces.
Dans la fin de cette section nous allons donner des consquences. Nous travaillerons
uniquement dans un cadre matriciel.
D f in it io n 1
I Une matrice N G Mn(fc) est dite nilpotente s'il existe un entier i tel que iV^ = 0.
D f in it io n 2
I Une matrice U G M n{k) est dite unipotente si la matrice U In est nilpotente.
Q
5.3 - TRIANGULARISATION DES MATRICES, RDUCTION DE JORDAN 219
T h o r m e 2 Soit A une matrice (n, n) coefficients dans un corps k algbriquement
clos. Alors il existe une matrice diagonalisable D et une matrice nilpotente N telles que :
^ A = D +N ,
^ DN = ND.
\ Si J = 0, si j
La matrice N n'a de termes non nuis que sur la diagonale juste au dessus de la
diagonale principale. Ces termes ne pouvant prendre que la valeur 1. Les matrices
A et AT commutent, donc les matrices PAP~^ et PNP~^ rpondent la question
pose. Il reste dmontrer l'unidt de la dcomposition.
Considrons une dcomposition A = D' + N' avec les proprits requises. Les ma
trices A, D et N commutent ceci entrane en particulier que les sous-espaces
propres de D sont stables par A et N . Ces sous-espaces constituent une dcompo
sition en somme directe de . Ils concident avec les sous-espaces caractristiques
de A, ils sont donc bien dtermins et on peut se restreindre au cas o D' est une
matrice diagonale. Ceci implique le rsultat. m
Proposition 2 . Uensemble des matrices diagonalisables est partout dense dans l'ensemble
des matrices.
E = 0
0
^ 0 ... 0 /
Considrons la matrice T A E , on peut trouver des valeurs de e i , ... ^n/ de mo
dule aussi petit que l'on veut, telles que les lments diagonaux de T E soient
deux deux distincts.
Soit en effet x = {x\^... ^Xn) un vecteur dont les composantes sont deux deux
distinctes. Soit v = {v\^... ,Vn) un vecteur quelconque.
Montrons que le vecteur ; + ix = (?;i, . . . , Vn) + t{x\, . . . , Xn) a ses coordonnes deux
deux distinctes ds que le module de t est assez petit et non nul. Sinon on aurait
une quation de la forme + txi = vj + t x j. Mais comme Xi ^ X j, si ^ j , cette
quation a une solution et une seule ventuellement nulle. Il faut qu'un nombre
i
fini d'quations de ce type n'ait pas lieu. Il suffit donc de prendre t non nul et de
I
I
Q
5.4 - APPLICATIONS DE LA DIAGONALISATION ET DE LA TRIANGULARISATION 221
module infrieur celui des solutions de ces quations pour garantir que v -\-tx
a ses coordonnes deux deux distinctes.
Pour ces valeurs de t la matrice T + tE est triangulaire avec des lments diago
naux deux deux distincts la matrice est diagonalisable. Il en est de mme de
P {T + )P~^ = A -{-tE . Quand t tend vers zro cette matrice tend vers A. Le
rsultat suit. H
P r o p o s i t i o n 3 . L'ensemble des matrices (n, n) ayant des valeurs propres deux deux
distinctes est un ouvert partout dense dans l'ensemble des matrices.
L e m m e 1 . Le plan complexe priv d'un nombre fini de points est connexe par arcs.
( 1,1 (1 - i )a i,2 (1 - \
0 tt2,2 (l-i)a 2 ,3 ( l - i ) a 2 ,n
0
0 0 71l , n 1 (1 i ) n l , n
0 ... ... )
t variant de 0 1.
Posons et relions la matrice diagonale la matrice identit par :
0 ... 0 \
0 **. :
0
\ 0 0 q)
Q
5.4 - APPLICATIONS DE LA DIAGONALISATION ET DE LA TRIANGULARISATION 223
est donc nulle sur la matrice B , le polynme minimal de B est donc un diviseur
de P. Il a donc toutes ses racines simples et B est donc diagonalisable. En fait,
toute valeur propre X de A est valeur propre de B et le polynme minimal de
B est gal P . En effet soit v eC ^ un vecteur non nul tel que Av = Xv. Suppo
sons que An = P~^APn ; alors le vecteur propre Pn^v est vecteur propre de An
associ la valeur propre A. De la suite de vecteurs
\\Pn^v\\
on peut extraire une sous-suite convergente. En effet ces vecteurs sont dans la
sphre de rayon 1 qui est compacte. Par construction cette suite converge vers un
vecteur propre de B associ la valeur propre A. II faut montrer encore que la
dimension des sous-espaces propres est la mme. Puisque la matrice est diagona
lisable la dimension du sous-espace propre associ une valeur propre A est la
multiplicit de A comme racine du polynme caractristique. Or les coefficients
du polynme caractristique dpendent continment des coefficients de la ma
trice et sont constants sur une classe de conjugaison. La matrice B a donc mme
polynme caractristique que A, et lui est donc conjugue.
Inversement soit A une matrice non-diagonalisable. Choisissons en une rduction
de Jordan. Il y a donc au moins un terme non nul gal 1 immdiatement au des
sus de la diagonale principale. Les matrices Ae obtenues en remplaant les termes
gaux 1 immdiatement au dessus de la diagonale principale par e quelconque
sont toutes conjugues. Admettons ce point, alors si on fait tendre e vers zro la
matrice Ae tend vers une matrice diagonale. La classe de conjugaison de A tant
constitue uniquement de matrices non-diagonalisables n'est pas ferme.
Le point laiss en suspend sera dmontr en exercice par le lecteur en faisant une
homothtie sur les vecteurs de base, le rapport dpendant du vecteur. m
lM[y2- ^
Comme elle est donne par une fonction polynomiale des coefficients elle est con
tinue. Le groupe GLn (M) qui est l'image inverse de l'ouvert R - {0} est ouvert,
mais son image par le dterminant n'est pas connexe, donc il ne peut tre connexe.
Ce rsultat sera complt en exercice. m
Notons que a est donn dans la dfinition de la transvection. Mais il est clair que
l'on peut remplacer v par av, et a par a~^a avec a e k * .
On va dmontrer :
Thorm e 1 Les transvections et les dilatations constituent un systme gnrateur de
G L {E ).
Q
5.5 - GNRATEURS DU GROUPE LINEAIRE 225
le premier vecteur de base on obtient la matrice suivante :
/a 0 ... 0\
0 1 0 :
1 :
\0 0 1/
Pour ce qui est des transvections, on choisit une base constitue, par une base de
H laquelle appartient le vecteur v, et d'un vecteur e quelconque n'appartenant
pas H, On ne prcise pas dans quel ordre sont pris ces vecteurs. La matrice de
la transvection a alors toutes ses colonnes, sauf une, nulles en dehors du terme
diagonal gal 1. Les colonnes nulles en dehors de la diagonale correspondent aux
vecteurs de base qui appartiennent l'hyperplan. La colonne part est correspond
au vecteur e qui est gale 1 sur la diagonale, gale a(e) G k* sur la ligne
correspondant ; et nulle partout ailleurs. Ici a est l'quation de H,
Si le vecteur v est le premier vecteur de base et si e est le second on obtient
comme matrice :
( 1 a{e) ... 0\
0 1 0 :
1,0 ... 0 \)
Considrons des matrices particulires du type de celles que l'on vient de dcrire.
Soit 1 < , j ^ n avec ^ j . Notons X e k, la matrice dont tous les termes
diagonaux sont gaux 1 et dont tous les autres termes sont nuis l'exception
du terme situ sur la -ime ligne et la j-ime colonne qui est gal . Une telle
matrice est appele une matrice lmentaire. Si = 1 elle sera note simplement
E i j . C'est une matrice de transvection.
Notons D{\), X e k* pour la matrice diagonale dont le premier terme (premire
ligne et premire colonne) est gal et dont tous les autres termes sont gaux
1. C'est une matrice de dilatation.
Ceci implique le thorme 1 dans la mesure o on montre que GLn {k) est engendr
par des matrices de dilatations et transvections particulires.
( ) = ( J ) ,
notons cette matrice Les matrices T et D^{X) sont obtenues par produit de
matrices D{\) et E ij, elles sont donc dans le sous-groupe H de GL2(fc).
Enfin, si on calcule le produit D'(A)E2,iD'(A~^), avec A ^ 0, on trouve E?2,i(A).
Donc les matrices -B2,i(A) sont dans H. On montrerait de mme que les matrices
-E'i ,2(A) sont dans H.
\c adb ^
C
-c + adb ^
On notera que - c + adb~^ est non nul par hypothse.
La matrice C D '{{-c adb~^)~^) est gale
?2,i ( ------
^ - c + adb ^ '
et est donc dans le sous-groupe engendr par les matrices D(A) et E i j . Il en est
donc de mme des matrices C, B et A.
Si 6 = 0, on a d'emble une matrice triangulaire infrieure. Les coefficients a
et d sont ncessairement non nuis, car le dterminant est non nul. La matrice
D{a~^)AD'{d~^) est de la forme '2,1 (A) pour un certain A et est donc dans H.
Si a = 0 on a ncessairement 6 ^ 0 . Dans ce cas la matrice AT est triangulaire
infrieure du type que l'on vient d'tudier est donc dans . Il en est de mme de
A.
Q
5.5 - GENERATEURS DU GROUPE LINAIRE 227
D m o n s t r a t i o n d a n s l e c a s g n r a l . On va faire une rcurrence sur n et
donc supposer le thorme dmontr pour n - 1 et passer au cas n. Nous allons,
commencer par un lemme qui a son intrt propre.
Dfinissons les matrices monomiales.
On dira qu'une matrice M est monomiale si et seulement si elle n'a qu'un seul terme
non nul et gal 1 dans chaque ligne et chaque colonne.
Autrement dit :
L e m m e 1 Soit M une matrice monomiale. Il existe une permutation s e& n telle que
les coefficients rriij de la matrice M sont donns par ms(i)^i = 1/ = 0 si j ^ s(z).
Le sous-ensemble constitu par ces matrices est un sous-groupe isomorphe 6n-
D m o n s t r a t i o n . La dmonstration de la premire partie est laisse en exercice.
Notons M {s) la matrice monomiale associe la permutation s. C'est la matrice
de l'application linaire fs de dans lui-mme donne dans la base canonique
par fs{ei) = es{i)- On a une application :
6^ ^ G L n {k), s^ M {s).
C'est un homomorphisme de groupes. On le vrifie facilement au niveau
des applications linaires f s . En effet le produit fs o fs> est gal fss> car
fss'{ei) = fs{es'(i)) = ess'{i)- Il est clairement injectif et est donc un isomorphisme
sur son image. On remarquera que le calcul prcdent montre que les matrices
monomiales sont bien inversibles. b
( )
228 RDUCTIONS DES ENDOMORPHISMES STRUCTURE DU GROUPE LINAIRE - C hap. 5
La matrice B est dans GL^_i(A;), le sous-ensemble en question est un sous-groupe
isomorphe GLn-i(A;). Notons comme l'ordinaire e i , ... la base canonique.
Il s'agit du sous-groupe laissant fixe le vecteur en et laissant fixe globalement
l'hyperplan engendr par ei, . . . , Cn-i.
On peut appliquer l'hypothse de rcurrence ce sous-groupe. Les matrices D{\)
et E i j , j et 0 < j ^ n 1 engendrent GLn~i{k) qui est donc contenu dans
H. Les matrices M(ri,i+i), i ^ n 2, sont dans GLn-i(fc), donc dans H.
Il en est de mme des matrices de dilatations laissant fixes les vecteurs de base
ei, . . . , en-2 et en . C'est--dire des matrices de la forme :
/1 0 ... 0\
0 *. ... :
!... a 0
Vo ... 0 1 /
L'ensemble des matrices inversibles A telle que Aej = ej si j < n 1 et telles que
Aen-i et Ae soient combinaisons linaires de Cn-i et e est isomorphe G L2(fc).
Autrement dit ce sont les matrices de la forme :
/1 0 0 \
0
0
V o ...
o D e G L 2(k).
On peut appliquer le cas n = 2 ce sous-groupe puisque que l'on sait par r
currence que contient les dilatations de vecteur en-i- Ceci montre alors que
^(^n-i,n) est dans . Donc toutes les matrices monomiales sont dans .
Venons en au cas gnral. Soit alors A une matrice quelconque de GLn(A:). Comme
tous les lments de la premire ligne ne sont pas nuis quitte multiplier gauche
par une matrice monomiale on peut supposer que l'lment sur la premire ligne
et la premire colonne est non nul. Quitte multiplier par une matrice B (a) on
peut supposer qu'il est gal 1.
Soit A = (a ij) cette matrice. Multiplions la gauche par les matrices (^) et
droite par les matrices et E i j ( - a i j ) , i , j > 1. On obtient une matrice dont tous
les lments sur la premire ligne et tous les lments sur la premire colonne sont
. nuis, exception tant faite de celui sur la premire ligne et la premire colonne qui
I reste gal 1. L'argument donn pour n = 2 s'tend facilement pour montrer que
les matrices (-) et E i j ( - a i j ) , sont dans . Il suffit donc de montrer que
la dernire matrice est dans .
0
1 Mais l'ensemble des matrices qui vrifient les conditions ci-dessus est isomorphe
GLn-i(fc). On est alors en mesure d'appliquer l'hypothse de rcurrence pour
conclure. m
IQ
5.5 - GNRATEURS DU GROUPE LINEAIRE 229
Le cas du groupe spcial linaire
Nous allons tudier le problme analogue pour le groupe spcial linaire dont la
dfinition suit :
D f in it io n 2
Soit E un espace vectoriel de dimension finie sur un corps k. On appelle groupe
spcial linaire de E et on note SL(') le sous-groupe de G L( jB) constitu par
les endomorphismes de dterminant 1.
On appelle groupe spcial linaire et on note SLn{k) le sous-groupe de GLn(/c)
constitu par les matrices de dterminant 1.
L e m m e 2 . La matrice
est dans le sous-groupe L de G L2(A:) engendr par les matrices -Bi,2(A) et E 2^\{p).
et
Les deux matrices exprimes comme produit sont dans L. Leur produit
l'e s t a u s s i.
(:":) b
0 1 0
0
V 0 ...... 0 ly
Le rsultat suit ainsi qu'il a t indiqu.
Q
5.5 - GENERATEURS DU GROUPE LINEAIRE 231
la transvection. Le calcul est analogue celui qu'on vient de faire : si B est la
matrice associe on a
ABv\ = A{v\ + av 2) = Ai^i + a\ 2V2
et
BAv\ = \iBv\ = Ai ;i + a\\V2
avec a 0. Le rsultat suit de l'galit de ces expressions. h
Passons maintenant l'tude du groupe driv. Nous ne la ferons ici que pour
n ^ 3. Le cas n = 2 sera trait en exercice.
Ek,i{\)E^,k(l)Ek,i{X)-^Ej,k{l)-^.
Il est gal
E k,iiX )E j,km k,ii-^ )E j,k {-'i-),
puis tous calculs faits Ej^i{\). Le rsultat suit. Pour faire le calcul on peut aussi
calculer sur les applications linaires associes. Dans la base canonique il suffit de
calculer l'action sur e^, Cj et ek- Toutes les matrices dans le commutateur laissent
6i fixe. Sinon on a :
-^/c,i(A)/j,fc(l)-^fc,t(~A)?j^/5(l)(e j) = Ek^i{X)Ej^i^[l)Ef^i{X)[ej e^) =
= (l)(c j Cfc h Acj) Ae^) Cj Ae^,
Ek,i{X){ek Ae^) = e^
Le rsultat suit. m
d'entre elle trouver une base dans laquelle leur matrice est :
Ceci implique que les matrices A et A' sont conjugues dans GLs{k). Si P et P'
sont les matrices de changement de bases introduites plus haut on a P~^AP = J
et P'~^AP' = J . Donc on a = A . Il reste montrer que l'on
I
3 peut choisir Q = P 'P ^ de dterminant 1. Soit donc a e k * son dterminant. On
I
Q
5.5 - GNRATEURS DU GROUPE LINAIRE 233
vrifie sans peine que l'on peut la remplacer dans l'quation prcdente par QD
o
/a 0 0
D= [o a 0
\0 0 a-i
La matrice est de dterminant 1.
On a aussi :
Exercices
I. D ia g o n a lis a t io n , t r ia n g u la r is a t io n
6. Montrer qu'une matrice coefficients complexes (n,n) d'ordre fini est diagonalisable
et que ses valeurs propres sont de module 1.
Montrer qu'un ensemble fini de matrices coefficients complexes d'ordre fini et
commutant deux deux sont diagonalisables dans une mme base. Que peut on
dire si l'ensemble de matrices n'est pas fini ?
I
7. La trace d'une matrice A = (aij) est la somme ai,i + a2,2 H------ h an,n- On la note
Ti(A). Montrer que c'est aussi la somme des valeurs propres de la matrice. Montrer
que pour toute paire de matrices de taille (n,n), X et Y, on a Tv{XY) = T r(yX ).
I Montrer que si P est inversible Tr{P~^AP) = Ti(A).
s
I
Q
EXERCICES 235
8. ) Soit un espace vectoriel complexe de dimension finie et soit T un sous-
ensemble de l'espace ^ {E ) des applications linaires de E constitu par des
applications commutant deux deux.
Soit / un lment de S, soit une valeur propre de / et soit E\ le sous-espace
propre associ. Montrer qu'il est stable par tout lment de T, c'est--dire que
pour tout lment ^ G T on a g{E\) c E\.
b) Montrer que les lments de T ont au moins un vecteur propre en commun.
c) En dduire par rcurrence que l'on peut trouver une base de E dans laquelle
tous les lments de T ont une matrice triangulaire suprieure.
9. Soit E un espace vectoriel sur un corps k, et soit {E) l'espace des applications
linaires de E dans lui-mme. Soient f^g G on appelle crochet de Lie
de / et ^ et on note [f^g] l'application linaire f g g f. Montrer que pour tous
f , g , h e ^ k { E ) on a l'identit de Jacobi :
[/, [5 . ^]] + [
9 , [h, /]] +[h, [ f , 5 ]] =0 .
10. Soit E un espace vectoriel complexe de dimension finie, et soient f^g^he ^ { E )
l'espace des applications linaires de E dans lui-mme. On suppose que [f^g] = h,
[f,h] = [^,/1] = 0 . Montrer que f , g et h sont triangularisables dans une base
commune.
12. Soit L un sous-espace vectoriel de ) stable par crochet de Lie, c'est--dire tel
que : V/,^ G L [f^g] G L, Soit de plus K un sous-espace vectoriel de codimension
1 de L {Le. on a dime L dime K = 1). On suppose que pour tout f G L et tout
g G K [f,g] G K . On suppose enfin que les lments de K ont un vecteur propre
commun. On veut montrer qu'il en est de mme pour les lments de L.
a) Soit V un vecteur propre commun aux lments de T : on a k{v) = \{k)v,
montrer que est une forme linaire sur K .
b) Soit W = {u\ k{u) = \{k)% "^k G K } . Montrer que W est sous-espace vectoriel.
c) Montrer que l'on peut trouver un lment x G L K tel que L = K (utiliser
l'hypothse sur la codimension).
d) On va montrer que W est stable par x. Pour cela on introduit le sous-espace
Wi de E engendr par les lments x^v, ^ ^ 1,
Montrer que Wi C et que la suite des Wi stabilise, c'est--dire que l'inclusion
est une galit pour tout %assez grand. Soit le sous-espace W i.
13. Dduire de l'exercice prcdent le thorme de Lie dont l'nonc suit. Soit
E un espace vectoriel complexe de dimension finie. Soit L c B{E) un sous-
espace stable par crochet de Lie. On dfinit par rcurrence par = L et
On suppose que pour n assez grand = 0. Montrer que peut trouver une
base dans laquelle tous les lments de L ont une matrice diagonale. On fera une
rcurrence.
15. Soient A et B deux matrices (n,n) coefficients rels. On suppose qu'il existe
une matrice (n,n) inversible coefficients complexes P telle que A = P~^BP,
On veut montrer que l'on peut trouver une matrice matrice (n,n) inversible
coefficients rels Q telle que A = Q~^BQ.
a) Montrer que l'ensemble des matrices S (n, n) coefficients complexes telle que
AS = S B est un sous-espace de Mn(C).
b) On considre l'application dterminant sur ce sous-espace. C'est une fonction
polynme valeurs dans C. Montrer que si elle est nulle sur toutes les matrices
coefficients rels elle est nulle sur tout le sous-espace, conclure.
Q
EXERCICES 237
a) Soit P un projecteur sur F, c'est--dire une application linaire telle que Im(p) = F
et = p. On considre l'application linaire :
19. Soit E un espace vectoriel de dimension finie sur un corps k. Soit / une application
linaire de E dans E et soit P son polynme minimal.
a) Montrer qu'il existe x e E tel que Q{f){x) ^ 0 pour tout polynme Q e k[X]
tel que Q ^ 0 et |Q| < |P|. Le vecteur x est fix dans la suite de l'exercice.
b) On note Ex le plus petit sous-espace de E stable par / et contenant x. En
donner une base. Montrer que si F est un sous-espace vectoriel de Ex stable
par / il existe un polynme H f G k[X] tel que :
- H f \P.
et que F est le plus petit sous-espace contenant HF{f){x).
c) Soit y e E. On appelle polynme annulateur de y et on note Py un gnrateur
de l'idal {Q G k[X] \Q{f){y) = 0}. Montrer que Py |P. Soit Ey le plus petit
sous-espace de E stable par / et contenant y. Montrer qu'il existe un polynme
H e k[X] tel que :
- H\Py.
ExDEy est de la forme . Ce dernier espace tant le plus petit
contenant H{f){x) et stable par /.
d) Soit Ex C E et soit F un sous-espace stable par / et tel que 'Ex C F c E .
Supposons donne une application linaire -0 de F sur Ex qui commute aux
restrictions de / et qui, restreinte Ex, est l'identit. Soit y G E F, et soit
F' le plus petit sous-espace stable par / contenant F et y. Montrer que l'on
peut tendre l'application 0 en une application 0 de F ' sur Ex qui possde
les mmes proprits. C'est--dire qui est l'identit sur Ex et telle 0 o i = Id^?^,
ici i dsigne l'inclusion de Ex dans F '.
On pourra s'inspirer de l'analyse des groupes abliens de type fini de torsion.
e) En dduire que Ex admet un supplmentaire stable par /.
20. l'aide de l'exercice 19. dmontrer les noncs sur les invariants de similitude des
applications linaires. On commencera par crire E = Ex B E ', le vecteur x ayant
les proprits de l'exercice 16 et F ' tant stable par /. Puis on fera une hypothse
de rcurrence sur la dimension de F . Ceci pour l'existence. Pour l'unicit on
s'inspirera du cas des groupes abliens de type fini.
22. Montrer que les entiers di qui apparaissent dans la description d'une matrice
de Jordan gnrale (voir aprs la dmonstration de la proposition 1 dans la
section concerne) sont dtermins par les dimensions de gardant les
notations de la section.
II* A p p l i c a t i o n s t o p o l o g i q u e s
l.Soit n un entier, et soit GL^(R) le groupe des matrices (n,n) coefficients rels
de dterminant strictement positif. Montrer que ce groupe est connexe.
3. Montrer que le groupe GLi (C) est homomorphe au produit de l'ensemble des
nombres complexes de module 1 par l'espace vectoriel R. Est-ce un isomorphisme
de groupes ?
4. a) Soit A = {ai J ) 6 Mn (C), montrer que si pour tout z= 1, . . . , n on a |ai,i |> \^ij |
la matrice A est inversible.
b) Soit A = {ij) e Mn(C), et soit A une valeur propre de A, Montrer qu'il existe
i tel que la*,* - A| < E jy *
A TI
Q
EXERCICES 239
6. a) Montrer que l'application exponentielle de (C) dans GLn (C) est diffrentiable
et calculer sa diffrentielle en l'origine.
b) Calculer le dveloppement limit l'ordre 5 en zro de l'application de R dans
GLn(C) donne par :
1 1 >exp(i^) exp{tB) exp( exp( ,
avec A^B e Mn(C).
III. G r o u p e lin a ir e
8 . Montrer que le quotient du groupe G L2(F5) par son centre est isomorphe 6 5 .
Montrer que le quotient du groupe G L2(F4) par son centre est isomorphe e^5.
10. Montrer que le sous-groupe driv de SL2(fe) est SL2(fc) lui-mme ds que le
corps a strictement plus de 3 lments.
11. Soit E un espace vectoriel sur un corps k. Montrer que deux dilatations quelconques
sont conjugues.
12. Soit E un espace vectoriel sur un corps k. Soit / une application linaire de E
dans lui-mme laissant invariant points par points un hyperplan H. Montrer que
/ est une transvection si et seulement si det(/) = 1.
I
TJ
I
Q
EXERCICES 241
Q uelques rponses ou indications
I. D ia g o n a lis a t io n , t r ia n g u la r is a t io n
4. L 'a u to m o r p h is m e d e F r o b e n iu s a n n u le le p o ly n m e X'^ - 1 . C o n s id r o n s a lo r s u n g n ra te u r
a d u g r o u p e d e s l m e n ts in v e rs ib le s d u c o rp s, le s l m e n ts F ^ { a ) , 1 ^ z ^ n c o n stitu e n t
u n e b a s e Fpn s u r p . C o m m e le p o ly n m e m in im a l d e F d iv is e - 1 o n e n d d u it
fa c ile m e n t q u 'il e s t g a l X ^ - 1, q u i e st d o n c (a u s ig n e p r t et c a u s e d u d e g r ) le
p o ly n m e c a ra c t ristiq u e .
11. O n m o n tre q u e f , g et h o n u n v e c te u r p r o p r e e n c o m m u n . O n c o m m e n c e p a r r s o u d r e le
p r o b l m e p o u r f et h e n c o n s id r a n t u n s o u s - e s p a c e p r o p r e a s s o c i / . P u is o n in tr o d u it g.
12. c) U n s u p p l m e n ta ir e d e K e s t d e d im e n s io n 1.
d) L a s u ite d e s Wi s ta b ilis e c a r W i c et la d im e n s io n d e W i e s t b o rn e s u p r ie u r e m e n t.
D o n c la s u ite d im W i e s t c o n sta n te p a r tir d 'u n c e rta in ra n g . p a r tir d e ce r a n g l'in c lu s io n
Wi c W i+ i d e v ie n t u n e g a lit .
18. b) C o n s id r e r () = F .
II. A p p lic a t io n s t o p o lo g iq u e s
1. C o m m e n c e r p a r tra ite r le p r o b l m e p o u r n = 2. P u is fa ire u n r a iso n n e m e n t p a r r c u rre n c e
e n m o n tra n t q u e l'o n p e u t re lie r u n e m a tric e q u e lc o n q u e p a r u n arc c o n tin u u n e m a tric e
d o n t le s e u l te rm e n o n n u l s u r la p r e m i r e c o lo n n e s o it c e lu i s itu s u r la p re m i r e lig n e .
M o n tre r q u e l'o n p e u t s u p p o s e r ce te rm e p o sitif. O n p o u r r a m u ltip lie r p a r u n e m a tric e (2 ,2 ).
2. a) b) tu d ie r la c o n v e rg e n c e d e s s u ite s e t (A ^ )^ . L e fa it q u e la p re m i r e a d m e tte u n e
v a le u r d 'a d h r e n c e im p liq u e q u e to u te s le s v a le u r s p r o p r e s s o n t d e m o d u le s in f r ie u r o u
g a l 1. P o u r d m o n tre r c e la o n p e u t s u p p o s e r A tria n g u la ire e t o b s e r v e r q u e la n o rm e
d e la m a tric e d o it re ste r b o rn e . L a s e c o n d e s u ite d o n n e l'a u tr e in g a lit . E n u tilis a n t la
r d u c tio n d e Jo r d a n o n m o n tre q u e s i A n 'e s t p a s d ia g o n a lis a b le la s u ite A^ n 'a d m e t p a s
d e v a le u r d 'a d h r e n c e c a r la n o rm e d e la m a tric e te n d v e r s l'in fin i.
I
n
I
Q
EXERCICES 243
4. a) M o n tre r q u e l'im a g e d 'u n v e c te u r n o n n u l a a u m o in s u n e c o m p o sa n te n o n n u lle e n
c o n sid ra n t la c o m p o sa n te n o n n u lle d e p lu s g r a n d m o d u le d u v e c te u r d 'o r ig in e .
III. G r o u p e lin a ir e
2. Il s 'a g it d e tro u v e r le n o m b re d e b a s e s d e . O n tro u v e
(g n _ l)( _ )...( n _ n -l)
3. O n tro u v e
4. S i A; ^ ^ o n tro u v e
( g " - l ) ( g " - g ) ( g " -
(gk _ l) ( f c _ ) . . . (gfc _ g k -l)^ g e _ l)^ g C - g ) . . . (g^ - g C - l)
S i /c = ^ o n tro u v e
1 (g" - i)(g" - g) (g" - g"~M
Formes bilinaires
et sesquilinaires
Groupes orthogonaux
et unitaires
Dans tout ce chapitre, tous les espaces vectoriels seront supposs de dimension
finie. On tudiera les formes bilinaires, sesquilinaires et quadratiques sur ces
espaces, ainsi que celle des groupes qui leur sont associs. Dans une large mesure
c'est un chapitre de rvision, quelques pistes de dveloppement y sont ouvertes.
La premire section consistera donc en rappels fondamentaux, la seconde une
tude un peu plus dtaille du groupe orthogonal euclidien, et en particulier de
ses systmes de gnrateurs. La troisime est consacre une tude particulire
de la dimension 3 et 4. Enfin, la dernire section est consacre au groupe unitaire.
I La forme b est symtrique si b{x^y) = b{y^x) pour tous x , y e E . Elle est dite
antisymtrique si b{xyy) = -b{y^x) pour tous x^y e E.
Q
6.1 - FORMES BILINAIRES ET SESQUILINAIRES 245
On notera que l'ensemble des formes bilinaires sur E est un espace vectoriel sur
k. Le sous-ensemble des formes symtriques est un sous-espace vectoriel. Il en est
de mme du sous-ensemble des formes antisymtriques.
La notion de forme sesquilinaire peut tre introduite dans un contexte plus g
nral que celui que nous allons choisir. La dfinition gnrale se place dans le
contexte o est donn un corps k muni d'un automorphisme cr. Nous nous con
tenterons de considrer le cas o k est le corps C et cr la conjugaison complexe.
Soit donc E un espace vectoriel complexe de dimension finie.
D f in it io n 2
Une forme sesquilinaire sur E une application b de E x E dans C telle que pour
tous X, y, 2; G et A G C on ait :
6(Ax,y) = 6(x,y), et
6(x,Ay) = A6(x,y),
b{x + yyz) = b{x, z) -f- 6(y, z), et
b {z ,x ^ y ) = b{z, x) + b{z, y) .
Reprsentations matricielles
Dcrivons les reprsentations matricielles de formes bilinaires et sesquilinaires.
Supposons donne une base { e i , . . . , en} de l'espace vectoriel E . On associe la
forme bilinaire (resp. sesquilinaire) b la matrice B = (bij) dfinie par
Soient alors x^y e E donns dans la base considre par les vecteurs colonnes
X =
On a :
C ,ie,^ C kjek^ ,
soit gale
53
,k
Cette dernire quantit est bien le coefficient correspondant de la matrice ^PBP, m
D f in it io n 3
Soit b une forme bilinaire symtrique, respectivement sesquilinaire hermi
tienne. On appelle forme quadratique associe 6, respectivement quadratique
hermitienne, l'application , respectivement h, de E dans C, respectivement de
Q
6.1 - FORMES BILINAIRES ET SESQUILINAIRES 247
dans , donne par
b{v^v) .
Notons que l'application donne par la formule prcdente est symtrique par
construction. La donne d'une forme quadratique q dtermine donc une unique
forme bilinaire symtrique. nonons :
Dfinissons une forme quadratique hermitienne comme tant une application h de E dans
R , telle que l'application b de E x E dans C donne par ;
D f in it io n 4
Soit b une forme bilinaire symtrique, respectivement une forme sesquilinaire
hermitienne. On appelle noyau de b, et on note Ker(6), l'ensemble des vecteurs
V e E tels que b{v^ 2/) = 0 pour tout y e E.
D f in it io n
On appelle rang d'une forme bilinaire symtrique, respectivement d'une forme
sesquilinaire hermitienne, b ou de la forme quadratique associe, respecti
vement quadratique hermitienne associe, la quantit dimk{E) dimjk(Ker(6)),
respectivement la quantit dimci^*) dimc(Ker(6)).
Dfinition 6
tant donns un espace vectoriel complexe E et 6 une forme sesquilinaire her
mitienne sur E , on appelle groupe unitaire de b et on note U(6) le sous-groupe
de GL(') constitu par les isomorphismes linaires / tels que pour tous v^ w eE
on ait b{v,w) = b {f{v ) J {w )) .
=XI
Si on suppose les formes linaires en question linairement indpendantes et les lments
ai tous non nuis, l'entier u est bien dtermin, c'est le rang de la forme quadratique.
q{x) = X!
J (^ ^ ^ ] aijO !i{x)oij{x).
4a. .
i> i i,j K i ^ j
On constate que Ai, 02 , o^n est encore une base de l'espace dual. La matrice
I de passage tant triangulaire avec des coefficients non nuis sur la diagonale. On
I obtient :
i/(a;) = a i , 1 Al ( x f - a i J a j ( a ;) ) - X I i ,j a i ( x ) a j ( x ) )
I
Q
6.1 - FORMES BILINAIRES ET SESQUILINAIRES 251
Dans le second cas tous les termes ai,i sont nuis. Quitte rindexer on peut
supposer que le terme 01,2 est non nul. Dans ce cas rcrivons q{x) comme suit :
E a ija d x )a j{x ).
'j>2 iJ2<i^j
Posons alors
Al = ai 4- ^ Oii
J>2
O'!,2
et
^2,j
A2 = a2 + ^ ---- (
J>2
0>1,2
On obtient
q{x) = ai,2Ai(a;)A2( x ) ------
l,2 i j 2<i^j,
j>^ i>2
soit
Q(x )= ^ ((^1(2;) + >^2 {x ) - (-^1(2;) - ^2(2;))^)-----
Si la famille { Ai, . . . , Ar, , . . . , )L5} est libre, Ventier r + s est le rang de la forme.
Sous l'hypothse prcdente les entiers r et s sont eux aussi uniquement dtermins.
XI - r+l^i^r+s
X
X X
et
i(^)= X - X
Compltons la famille constitue par les Ai et par les pj en une base de E *,
notons , . . . , et les formes linaires adjointes. On a r s + t = n.
Faisons de mme pour la famille constitue par les A^ et les /z'. Soient e i, . . . ,
les formes linaires adjointes. On a r*' + s' + i = n.
Supposons alors que r < r ' . Considrons le sous-espace F de * d'quations Ai = 0,
Z= 1 , ... , r. Il est de dimension n r. La forme quadratique y prend des valeurs
ngatives ou nulles. Considrons le sous-espace F' d'quations /x' = 0, j = 1,..., s'
et = 0, ^ = 1 , ... , L II est de dimension n s' - t = r' .L a forme quadratique y
I
TOJ
a3
Q
6.1 - FORMES BILINAIRES ET SESQUILINAIRES 253
prend des valeurs positives non nulles en dehors de 0. Comme :
(n r ) + r ' = n + (r' r ) > n
Pour conclure rappelons qu'une forme quadratique sur un espace vectoriel rel E
est appele positive si elle ne prend que des valeurs positives ou nulles. Elle est
dfinie positive si elle est positive et ne prend la valeur 0 que pour le vecteur nul.
Si l'espace E est de dimension n elle est de signature (n,0). On dfinit de mme
les formes ngatives et dfinies ngatives.
Enfin, ajoutons que ce que l'on vient de faire s'tend aux formes quadratiques
hermitiennes :
q{x)= E E
j =l y . . . j S
Si la famille {1, . . . , , . . . , //5} est libre, l'entier r s est le rang de la forme.
Sous l'hypothse prcdente les entiers r et s sont eux aussi uniquement dtermins.
Vecteurs isotropes
Dfinition 7
Soit q une forme quadratique sur un espace vectoriel E . On dit qu'un vecteur
V est un vecteur isotrope si et seulement si q{v) = 0. On dit qu'un sous-espace
F est totalement isotrope si tout v e F est isotrope.
Dfinition 8
Soit E un espace vectoriel sur un corps k, et soit q une forme quadratique sur
E . On appelle sous-espace totalement isotrope maximal un sous-espace totale
ment isotrope F tel que si F ' est un sous-espace totalement isotrope contenant
F , alors F = F ' .
Ce rsultat est un corollaire du thorme de Witt qui suit et qui sera dmontr en
exercice :
Q
() 6.2 - STRUCTURE DU GROUPE ORTHOGONAL EUCLIDIEN 255
Notons qu'une application qui prserve la norme prserve aussi le produit scalaire
et est linaire.
Une base {ei , . . . , en} de l'espace telle que q{ei) = 1 et b{ei^ej) = 0 si j est dite
orthonorme.
Le thorme 2 de la section 1 montre que l'on peut trouver une base de E dans la
quelle la forme q s'crit f H------ h . On en dduit que si q et g' sont deux formes
dfinies positives sur un mme espace vectoriel de dimension n les groupes 0 {q )
et O(') sont isomorphes. En effet, ils sont isomorphes tous les deux au groupe
de la forme H-------h qui est not 0(n ).
Une matrice de 0 (n ) est dite orthogonale.
D f in it io n 1
On appelle groupe spcial orthogonal et on note SO(n) le sous-groupe constitu
par les matrices orthogonales de dterminant 1.
-hc^ =6^+ = 1,
(-) telles que :
a6 +cd =0,
ad 6c = 1.
De la premire quation on conclut qu'il existe 9 tel que a = cos 6 et c = sin6. De
la seconde et de la premire on dduit que b = sin 9 et d = cos 9 ou b = sin 9 et
c = cos 9. Enfin de la troisime on dduit que la premire solution est la bonne.
= R e+e< = R e R o '
D f in it io n 2
Soit F un sous-espace vectoriel de E. Son orthogonal est par dfinition l'ensemble
des vecteurs v e E tels que b{x,v) = 0 pour tout x e F . On le note F-^.
I D m onstrotion. En fait il faut commencer par montrer que F-^ est un sous-
I espace. Mais si on a v^w e F^ et A G M, on a 6(x,v-\-w) = b{x,v) -hb{x,w) = 0 pour
tout a; G F , et on a 6(x, Xv) = Xb{x, v) = 0. Donc v-\-w et Xv sont lments de F-^.
I Montrons maintenant que E est somme directe de F et . Si on a z; G F n F-*-
I cela implique que b{v,v) = 0. Mais comme b est un produit scalaire cela implique
S v = 0.
I
T3
D f in it io n 3
Soit E un espace vectoriel euclidien, et soit E = H G une dcomposition en
somme directe orthogonale de E {Le. G est gal ). Soit x G F , et soit x =
xh + xq sa dcomposition, xh ^ H et xq E G.
Par ailleurs si w est dans l'orthogonal de r{H ) alors (w) est dans l'orthogonal
de H, donc s{r~^{w)) = r~^{w) et s'{w) = - w . Donc on a bien :
roSHOr~^ = Sr(H)
D f in it io n 4
On appelle une symtrie orthogonale autour d'un hyperplan H, H est ap
pel rhyperplan de rflexion. On appelle une symtrie orthogonale autour d'un
sous-espace de dimension n - 2.
Q
6.2 - STRUCTURE DU GROUPE ORTHOGONAL EUCLIDIEN 259
En itrant au plus n fois cette construction on obtient un produit o * o n o /,
h ^ n , qui est gal l'identit. Ceci donne le rsultat. gi
5 = n O ^ 2 O O r2fc
Pour terminer cette sous-section nous allons donner une forme diagonale des
matrices orthogonales.
Ck 0
-1
-1
0 1
\ 1
Dans cette matrice les sous-matrices Ci sont des matrices (2,2) spciales orthogonales,
c'est--dire que Ci = ( sin^ y suppose de plus que les 9i ne sont pas
y S i n t/i COS u i J
()
'dil
I
Q
6.2 - STRUCTURE DU GROUPE ORTHOGONAL EUCLIDIEN 261
du type dcrit dans l'nonc. La matrice de / sera alors, une permutation prs
des vecteurs de base, du type cherch.
Dans le second cas on a k = = 0. Choisissons alors un vecteur non nul v de
norme 1 et tel que P i{f){v ) = 0. Il en existe ncessairement un par dfinition du
polynme minimal. Le systme {v^f{v)} est libre, en effet si ce n'tait pas le cas
V serait vecteur propre (associ la valeur propre 1 ou 1) ce qui est exclu par
hypothse.
Le sous-espace L engendr par v et f{v ) est stable par /. Il suffit de montrer
qu'un vecteur de la forme f{ a v + P f{v), a, G M, est de la forme Xv -f- fjLf{v),
A,/i G M. Mais ceci rsulte du choix de v, en effet si on note Pi = -\-bX + c avec
6,c G M on a (/^ + / + l){y) = 0 soit /^(v) = bf{v) v. Ce qui donne le rsultat.
Mais /, laissant stable L, laisse stable son orthogonal . Dans une base ortho
norme constitue, d'une base orthonorme de L, et d'une base orthonorme de
de L-^, / a une matrice diagonale par blocs de la forme
C
K
o K est orthogonale de taille (n - 2, n - 2). On conclut alors en utilisant l'hypothse
de rcurrence comme plus haut.
Notons que si l'application / (ou la matrice A) est de dterminant 1 la matrice du
thorme a forcment un nombre pair de termes - 1 sur la diagonale. Mais une
matrice de la forme ( ^ est videmment de la forme Q = f
\ 0 -1 J y - s i n ^ cos0y
avec 0 = TT. Donc en regroupant les termes diagonaux 1 deux par deux la matrice
peut se mettre sous la forme
/C l \
Ck
V 1/
en supprimant la restriction sur les 0 i.
P r o p o s i t i o n s . 0 (n ) est compact
Al i Ui.feai/= 0, k jie jY m
(C l \
Ck
avec
Q _ ( c o s di s in Qi \
cd ^~ \ -sm 9i c o s 6i J
I
Introduisons alors les matrices :
80
cos tOi sin t0i
1<d C i{t) =
sin t6i cos t6i
I
'Xi
Q
6.2 - STRUCTURE DU GROUPE ORTHOGONAL EUCLIDIEN 263
Puis la matrice
i Oi{t)
Ck{t)
J
Pour i = 0 cette matrice est gale la matrice identit et pour t = l elle est gale
la matrice P~^ AP. Ceci nous fournit un arc continu joignant ces deux matrices. En
multipliant par P et P~^ on a un arc continu joignant la matrice identit k A. m
L'espace est muni du produit scalaire standard que l'on notera {x\y). La norme
euclidienne est note \\z\\.
Dfinissons alors le conjugu z d'un lment z G H, avec z = a-{-bj comme tant
bj, ou si on crit Z = a + Pi + j j + Sk comme tant a Pi ^j Sk.
L e m m e 2 . Pour tous y ,z e H on a :
{yz) = z .
Dfinition 1
I<e
I
I On appellera quaternion pur un lment de H de la forme /3i + 'yj + 6k.
O
Q
6.3 - LES QUATERNIONS, LES GROUPES SO(3) ET SO(4) 265
Considrons maintenant un quaternion pur de norme 1. Il s'crit donc z = P i b j ,
on a donc = -/3^ - 66 + Pb{ij -i- ji) = - 1 , On observera donc que dans le corps
non commutatif H le polynme + 1 a une infinit de zros.
Le noyau de l'homomorphisme est constitu par les lments de norme 1 tels que
pour tout X G H on ait vxv = x, soit vx = xv. Donc les lments de norme 1 qui
commutent tout lment de H. C'est--dire 1 et - 1 .
L'application prend ses valeurs dans SO(3). En effet l'ensemble est un sous-
espace connexe de E^. Ce point est laiss en exercice au lecteur. Alors l'application
V Ry est une fonction polynomiale des coordonnes et est donc continue. Son
image est donc connexe, et comme elle doit contenir l'lment neutre, c'est--dire
la matrice / 3 , elle est contenue dans SO(3).
Il reste montrer que l'application est surjective sur SO(3).
Soit q un quaternion pur de norme 1, et soit qe = cos 6 sin 6q.
L'application Rq^ laisse fixe la droite de direction q. Cette application est donc
une rotation de d'axe q.
Montrons enfin que l'application qe ^ Rqg est surjective sur l'ensemble des rotations
de R^ d'axe q. Ceci achvera la dmonstration du thorme.
Nous savons que Rq^ est une rotation d'axe q. Pour calculer l'angle de la rotation,
au signe prs, il suffit de connatre la trace. En effet on sait que la trace d'une
rotation de R^ d'angle a est 1 + 2 cos a. Soit donc q = p i + 5k. Pour calculer
sa trace il faut faire la somme du coefficient de i dans q e i^ , de j dans q e j ^
et de k dans q e k ^ . On trouve tous calculs faits : cos^ 0 + sin^ 0(/3^ - 7^
cos^ 6 + sin^ 0{P^ + 7^ S^), cos^ 0 + sin^ 0(/3^ 7^ + 5^). La somme est gale
3 cos^ 0 sin^ 0 = 1 + 2 cos 20.
L'image contient donc une rotation d'angle 20 ou 20. Mais comme elles sont
inverses l'une de l'autre et que l'image est un sous-groupe elle contient les deux.
Donc elle contient toutes les rotations d'axe q.
Le rsultat suit.
Q
6.3 - LES QUATERNIONS, LES GROUPES SO(3) ET SO(4) 267
Pour ce qui est de la surjectivit on se ramne au cas prcdent comme suit. Soit
/ G SO(4), posons V = /(1), V G S^. Alors l'application x vf {x) est orthogonale
et fixe 1. Elle laisse donc fixe globalement l'orthogonal, c'est--dire l'ensemble des
quaternions purs. Il existe donc u e tel que pour tout x on ait vf {x) = ux. Il
en rsulte que pour tout x G H on a f {x) = vuxU, m
Simplicit de SO(3)
Cette section est consacre la simplicit du groupe SO(3). Ainsi qu'on le verra
le rsultat correspondant n'est pas vrai pour SO (4), cela rsulte de ce que l'on
a fait plus haut. Par contre pour n ^ 5 il y a un rsultat correspondant qui sera
nonc aussitt aprs, on renverra aux exercices pour la dmonstration.
Notons que le centre de SO(n) est constitu de l'ensemble des matrices orthogo
nales diagonales. Si n est impair il est rduit la matrice In, si n est pair il est
gal { / ,,- / ,} .
On renvoie aux exercices pour les dtails.
F = i X 52 |p ^ Id, s e Fix(5) .
Soit finalement
se^
ou encore :
2 V. 1 .
Il convient enfin de vrifier que tout groupe vrifiant les conditions initiales est
de ce type. Ceci est laiss au lecteur.
0
Proposition ! Une matrice (n,n) A est unitaire si et seulement si ses vecteurs
i forment une base hermitienne de C^, ou encore si et seulement si ^AA = In-
1
T3
I
D f in it io n 1
On appelle groupe spcial unitaire et on note SU(n) le sous-groupe constitu
par les matrices orthogonales de dterminant 1.
La traduction matricielle de cet nonc est la suivante. Soit A G TJ(n), alors il existe
une matrice unitaire P telle que la matrice P~^AP soit diagonale, les lments de
la diagonale tant des nombres complexes de module 1.
Al J = 1 . ai.fci/,
\
Pour i = 0 cette matrice est gale la matrice identit et pour t = l elle est gale
la matrice P~^ AP. En multipliant par P et P~^ on obtient un arc continu joignant
In et A.
Exercices
I. F o r m e s b ilin a ir e s e t q u a d r a t iq u e s
Q
EXERCICES 277
8. On considre une forme bilinaire symtrique b sur un espace vectoriel E sur
un corps de caractristique diffrente de 2. Dmontrer partir du thorme de
Witt que des sous-espaces totalement isotropes maximaux ont mme dimension.
11. On dit qu'une forme bilinaire b sur un espace vectoriel rel E est alterne si
pour tous v^w G E on a b{v,w) = b{w,v). On dit qu'elle est non dgnre si
b{v^w) = 0 pour tout w implique que ; = 0.
On suppose que E est de dimension finie sur un corps de caractristique diffrente
de 2. Montrer que l'on peut en trouver une base a:i, . . . , 2/i, . . . , 2/n telle que,
que :
b{xi,yi) = 1,
b{xi,yj) = 0, si ^ j ,
II* A p p l i c a t i o n s t o p o l o g i q u e s
5. Montrer que le groupe U(n) est homomorphe, mais n'est pas isomorphe au
produit U (l) X SU(n).
III. G r o u p e s o r t h o g o n a u x e t u n it a ir e s
1. Montrer que le quotient de SO(4) par son centre est isomorphe SO(3) x SO(3).
Dcrire les sous-groupes distingus de SO(4).
EXERCICES 279
7. a) ** Soit a un homomorphisme du groupe U des nombres complexes de module
1 vers le groupe U(n). Soit z G U, on pose Ca{z) = Tr(o'(;2:)). Montrer qu'il existe
des entiers positifs non nuis ai , . . . , ait dont la somme est gale n, et des
entiers relatifs ei , . . . , tels que c{z) = Y!,i o>iZ^^ Montrer que ces entiers sont
bien dtermins.
b) Montrer que si a et ^ sont deux homomorphismes conjugus, c'est--dire tels
qu'il existe une matrice unitaire U avec a(z) = U(3{z)U~^ pour tout z, alors les
entiers i et ei sont les mmes pour a et P. tudier la rciproque.
8. Montrer que toute matrice orthogonale est le produit d'au plus n rflexions.
3. C e t e x e rc ic e e s t tr s c la s s iq u e , o n e x h ib e u n s o u s - e s p a c e p r o p r e d e / et o n c o n sta te q u e
l'o r th o g o n a l e s t s ta b le p a r / . L a re stric tio n d e l'e n d o m o r p h is m e l'o r th o g o n a l e s t e n c o re
n o rm a le , o n fa it u n e r c u rre n c e s u r la d im e n sio n .
6. a) O n d ia g o n a lis e r a l'e n d o m o r p h is m e . C o m m e il e s t p o s it if le s te r m e s d ia g o n a u x d e la
m a tric e s o n t p o s itifs . O n e n c o n sid re le s r a c in e s c a r r s. P o u r l'u n ic it o n u tilis e r a le fa it q u e
f e t g c o m m u te n t p a r c o n str u c tio n e t d o n c la is s e n t le u r s s o u s - e s p a c e s v e c to rie ls re s p e c tifs
sta b le s.
7. O n r a iso n n e r a p a r r c u rre n c e s u r k.
9. b) O n fe ra u n ra iso n n e m e n t p a r r c u rre n c e s u r la d im e n s io n d e F . S i la d im e n s io n d e F
e st 1 o n c o n str u ira u n e r fle x io n a p p r o p r i e . P u is e n d im e n s io n su p r ie u r e o n c h e rc h e ra
crire F c o m m e so m m e d ire c te d e d e u x s o u s - e s p a c e s F q e t F i n o n tr iv ia u x et o r th o g o n a u x
(o n a 6 (u ,v ) = 0 p o u r to u t u e F q et to u t v e F i ) . P u is o n a p p liq u e r a l'h y p o th se d e
r c u rre n c e F q .
II. A p p lic a t io n s t o p o lo g iq u e s
1. N o n , v o ir l'e x e rc ic e 3. I.
2. O n p o u r r a d ia g o n a lis e r le s m a tric e s.
sI
c rira la fo rm u le q u i p r e n d d ire c te m e n t v a le u r s d a n s 5 ^ .
P
'd
Q
EXERCICES 281
5. M u ltip lie r u n e c o lo n n e d e la m a tric e p a r le d te r m in a n t p o u r o b te n ir u n e m a tric e d e
d te r m in a n t 1.
III. G r o u p e s o r t h o g o n a u x e t u n it a ir e s
1. O n p o u r r a u tilis e r le c o u r s s u r le s q u a te r n io n s.
Q
BIBLIOGRAPHIE 283
Index
ac tio n cy cle, 62
g a u c h e , 51
tra n sitiv e , 79
a lg b r e d e B o o le, 135 D 'A le m b e r t, 161
a lg o rith m e d c o m p o sitio n c a n o n iq u e e n c y cle s, 67
d 'E u c lid e , 3 d c o m p o sitio n d e s h o m o m o r p h is m e s , 26
d e B e r le k a m p , 174 d e g r , 113
a n n e a u , 85 d 'u n e e x te n sio n , 154
e u c lid ie n , 102 d r iv a tio n fo rm e lle , 129
fac to rie l, 122 d ila ta tio n , 225
in t g re , 88 d im e n s io n d u c o d e , 180
p rin c ip a l, 97 d isc rim in a n t, 132
a u to m o r p h is m e , 14 d is ta n c e
d e H a m m in g , 179
B e r le k a m p , 174 m in im a le , 180
b o rn e d iv is io n e u c lid ie n n e , 114
d e G ilb ert-V arsh a m o v , 197 d u a l, 8
d e P lo tk in , 197
I d e ru p tu re , 159
d e s q u o tie n ts, 89
d e g r , 154
I
fini, 162
p re m ie r, 151 F e r m a t, 152
s
critre d 'E ise n ste in , 126
c ry p to g r a p h ie , 105
p e tit th o r m e , 58, 152
fix ateu r, 55
I
i
Q
INDEX 285
fo rm e id a l
b ilin aire , 245 b ila t re , 90
n o n d g n r e , 248 m a x im a l, 95
sy m triq u e , 247 p re m ie r, 95
h erm itie n n e , 246 id e n tit d e B z o u t, 2, 101
lin a ire , 8 im a g e d 'u n h o m o m o r p h is m e , 15
q u a d r a tiq u e , 247 in d te rm in e , 111
s e sq u ilin a ir e , 246 in d ic a te u r d 'E u le r, 103
fo rm u le in g a lit d e C a u c h y - S c h w a r z , 255
d 'E u le r, 142 in v e rsio n , 70
d e L e ib n iz , 129 iso m o r p h is m e , 14
d e M o iv re , 257
d e N e w to n , 120, 144 A;-cycle, 66
d e s c la s s e s , 59
L a p la c e , 161
G a lo is, 73 L e ib n iz , 129
G a u s s , 124, 137, 161 le m m e
g n ra te u r s, 18 ch in o is, 35
g r o u p e , 12 d 'E u c lid e , 100
ab lie n , 12 d e C au ch y , 33, 62
ab lie n libre, 37 d e G a u s s , 100
alte rn , 71 d e la b a s e t le sc o p iq u e , 157
c o m m u ta tif, 12 d e L a z a r d , 141
cy cliq u e , 20 lo i in tern e, 3, 12
d e to rsio n , 36 a s so c ia tiv it , 12
d e ty p e fin i, 36 lo n g u e u r d u c o d e , 180
d riv , 45
d i d r a l, 30 m a tric e
lin a ire , 8, 225 c o m p a g n o n , 213
m o n o g n e , 20 d e p a rit , 180
o r th o g o n a l, 255 g n ra tric e , 180
q u a te rn io n ie n , 32 tria n g u la tio n , 214
q u o tie n t, 22, 24
s p c ia l lin aire , 230 N e w to n , 120
sy m triq u e , 64 n o y a u d 'u n h o m o m o r p h is m e , 15
u n ita ire , 273
o rb ite, 56
H a m ilto n , 211 o rd re , 20
h o m o m o r p h is m e , 14, 87
a ss o c i , 52 p -to rsio n , 33
im a g e , 15 p a rtitio n d 'u n entier, 69
n o y a u , 15 p la n h y p e r b o liq u e , 254
286 IN D E X
p o ly n m e , 112 s u ite
c a ra c t ristiq u e , 210 d e C au ch y , 4
c y c lo to m iq u e , 169 d e S tu rm , 141
d e p a rit , 183 s u p p o r t , 65
m in im a l, 156 S y lv e ste r, 253
r d u cte u r, 175 s y m triq u e , 245
sy m triq u e , 118 s y st m e R S A , 105
p r o d u it se m i-d ire ct, 27
th o r m e
q u a te r n io n s, 264 d 'is o m o r p h is m e s , 26
d e C ay le y , 53
d e C a y le y -H a m ilto n , 211
racin e , 127
d e G a u s s - L u c a s , 143
n -i m e d e l'u n it , 169
d e K n ig - R a d o s , 196
p rim itiv e , 169
d e L a g r a n g e , 23
r d u c tio n d e Jo rd a n , 214
r fle x io n , 259 d e L a p la c e -D 'A le m b e r t- G a u s s , 161
re la tio n d e c o n g ru e n c e , 16 d e R o u c h -F o n te n , 9
d e S y lo w , 6 1 ,6 2
r su lta n t, 130
d e W e d d e rb u rn , 172
re to u rn e m e n t, 259
R iv e st-S h a m ir-A d le m a n , 105 d e W ilson , 152
I
X)
Q
INDEX 287
0 47057-(I)-(1,5)-O S B 80-AU T-ABS
ir'i
2 dition
Lionel Schwartz
ALGEBRE
3' ANNE
9 782100 070572
ISBN 2 10 007057 6