��� CORPS FINIS. APPLICATIONS.
SoitPl’ensemble des nombres premiers. Les corps considérés seront supposés commutatifs.
I. Notion de corps fini
[Per��, §�.�, p��–��] [Rom��, Ch��, p���]I. A. Vocabulaire général sur les corps
Cloture algébrique unique à isomorphisme près (admis).
Corps de rupture / de décomposition.
Théorème deW���������
I. B. Premiers résultats
D����������. Un corps fini est un corps de cardinal fini.
P�����������. PourpœP,Fp=Z/pZest un corps fini àpéléments.
P�����������. SoitKun corps. L’applicationZ ≠æ K, m ‘≠æ m1Kest un morphisme d’anneaux de noyaunZpour unnœN.
D����������. L’image de cette application est un sous-corps deKappelé sous-corps pre- mier.nest appelé caractéristique deK, notécar(K).
P�����������. SiKest fini, on acar(K)œP.
A�����������. Le sous-corps premier deKest alors isomorphe àZ/pZ. PourpœP, on noteFp=Z/pZ.
C����������. SiKest un corps fini de caractéristiquep, alorsKest unFp-espace vectoriel oùp= car(K), de cardinalpnoùn= dimFp(K).
A�����������. Il n’existe par de corps à6éléments.
I. C. Existence et unicité
SoitpœPetnœNú. Soitq=pn.
D����������. [��������� ��F��������]
SoitKun corps de caractéristiquep.Frob :K≠æK, x‘≠æxpest un morphisme de corps appelé morphisme deF��������.
P������������. Frobest injectif et siKest fini, c’est un automorphisme.
P������������. PourK=Fp, on aFrob = Id.
P������������. SoitFpune clôture algébrique deFp. Alors l’ensemble des racines deXpn≠ XdansFpest un sous-corps deFpàq=pnéléments, contenantFp.
C�����������. Il existe un corps fini àqéléments, unique à isomorphisme près : c’est le corps de décomposition deXq≠XsurFp. On le noteFq.
II. Eléments de structure
[Per��, §III.�, p��]II. A. Structure d’un corps fini
Fqest unFp-espace vectoriel de dimensionn, donc isomorphe àFnp
F◊q =Fúqest cyclique, donc isomorphe à(Z/(q≠1)Z,+) Racine primitive, nombre de racines primitives
Élement primitif : une racine primitive est un élément primitif
II. B. Inclusion entre corps finis
P������������. Les sous-corps deFpnsont lesFpdpourd|n.
T���������. [�������� �� �� ���� ������������]
SoientK,L,Mdes corps,(ei)iœI une base deLsurK,(fj)jœJune base deMsurL. Alors (eifj)(i,j)œI◊Jest une base deMsurK.
En particulier, lorsque deux des degrés d’extensions sont finis, le troisième aussi et on a [M:K] = [M:L][L:K].
A������������. On a alors[Fpn:Fpd] =nd.
E��������. Schéma des inclusions des sous-corps deF220.
II. C. Structure du groupe des isomorphismes
[Rom��, §��.�, p���]Aut(Fq)est un groupe de neutreid
Sif œAut(Fq), alorsFpµ{xœFq|f(x) =x} Aut(Fq)est cyclique d’ordren, engendré parFrob
ÉNS Paris-Saclay –����/���� AntoineB������–https://perso.ens-lyon.fr/antoine.barrier/fr/ Page��sur���
Agrégation – Leçons ���– Corps finis. Applications.
III. Applications
III. A. Résolution d’équations de degré 2
[Rom��, §��.�–�, p���–���] [Per��, §III.�, p��–��]
SoitpœPetq=pnoùnœNú. On noteF2q =)
x2|xœFq*etFúq2=F2qflFúq. P������������. Sip= 2, alorsF2q =Fq. Sinon, on a--F2q
--= q+12 .
A������������. Poura, bœFúpetcœFp,ax2+by2=cadmet des solutions dansF2p. On suppose dans la suitepimpair.
L������. On axœFúq2
≈∆xq≠12 = 1.
E��������. ≠1est un carré moduloqsi et seulement siq|1 mod 4.
E��������. DansZ/7Z,2est un carré mais par3.
On aimerait savoir rapidement si un entieradonné est un carré modulop, donc savoir six2©a modpadmet ou non une solution entière.
D�����������. [������� ��L�������]
SoitaœZ, on appelle symbole deL�������(deamodulop) l’entier : 3a
p
4=
Y] [
1 six2©a modpest résoluble etp-a 0 sip|a
≠1 sinon
P������������. On a1
a p
2©ap≠12 modppour toutaœZ.
P������������. 1
a p
2=1a+kp
p
2pour touta, kœZ. On peut donc définirxœFp‘≠æ1
x p
2. C’est l’unique morphisme de groupes non trivial de(Fúp,◊)vers({±1},◊).
R���������. Le nombre de solutions dex2=apouraœFpest1 +1
a p
2.
T���������. [��� �� ����������� �����������]
Soientp”=qdes nombres premiers impairs. Alors1p
q
2 1q
p
2= (≠1)p≠12 q≠12 .
P������������. Pourppremier impair, on a12
p
2= (≠1)p28≠1. Ainsi2est un carré modulo
psi et seulement sip©±1 mod 8.
On peut donc calculer1
n p
2pour tout entiern: E��������. !26
307"=! 2
307" !13
307"=
≠(≠1)13≠12 307≠12 !307
13"=
≠!8
13"=
≠!2
13" !4
13"=
≠1
Ainsi26n’est pas un carré modulo307.
III. B. Irréductibilité dans Z [X] et Q [X], réduction modulo p
[Per��, §�.�-�.�, p��–��]
P������������. Un polynôme de degré supérieur ou égal à1est irréductible dansZ[X] si et seulement si il est de contenu1et irréductible dansQ[X].
P������������. [������� �’E���������]
SoitP = qr
i=0aiXi œ Z[X]. Soitp œ P. Sip - ar,’i < r, p | aietp2 - a0, alorsP est irréductible dansQ[X].
E��������. Sim œ Za un facteur premier sans carré alorsXn≠mest irréductible dans Z[X]pour toutnœN.
P������������. SoitpœPetP =qr
i=0aiXi œZ[X]. SoitPla réduction dePmodulo p. Sip-anet siPest irréductible dansFp[X], alorsPest irréductible dansQ[X].
E��������. X3+462X2+2433X≠67691est irréductible dansZ[X], tout commeXp≠X≠1 pour toutpœP.
D�����������. [��������� �������������]
On définit len-ième polynôme cyclotomique n œCn[X]par n(X) =r
’œU◊n(X≠’).
P������������. nœZ[X].
T���������. [��������������� �� n] nest irréductible surZet donc surQ. Liens entre irréductibilité et degré des extensions [Per��, p��–��]
ÉNS Paris-Saclay –����/���� AntoineB������–https://perso.ens-lyon.fr/antoine.barrier/fr/ Page��sur���
Agrégation – Leçons ���– Corps finis. Applications.
������
Dans la première partie, on essaie de comprendre ce qu’est un corps fini. Les outils principaux étant les notions de caractéristique et de sous-corps premier, le morphisme deF��������. Cela va mener à l’ unicité du corps de cardinalpdà isomorphisme près.
Ensuite, on regarde la structure de ces corps finis, avec notamment les racines primitives et les éléments primitifs. Le problème est qu’il n’y a pas de méthode générale pour exhiber une racine primitive. On s’intéresse aux sous-corps d’un corps fini et aux degrés des di�érentes ex- tensions et on étudie également le lien entre les automorphismes du corps et le morphisme de F��������.
La dernière partie s’intéresse aux applications des corps finis, avec la résolution d’équations de degré2dans ces corps (loi de réciprocité quadratique), et les critères d’irréductibilité de polynômes.
������������
Voir aussi le [Dem��].
�������������
[Dem��] M.D�������:Cours d’algèbre. Cassini,����.
[Per��] D.P�����:Cours d’algèbre. Ellipses,����.
[Rom��] J.-E.R�������: Mathématiques pour l’agrégation : Algèbre et géométrie. De Boeck,
����.
ÉNS Paris-Saclay –����/���� AntoineB������–https://perso.ens-lyon.fr/antoine.barrier/fr/ Page��sur���