LMAT2460 : Math´ematiques discr`etes – Structures combinatoires
R´esum´e du premier chapitre du cours 2016–2017
1. Corps finis
1.1. Construction. On a deux proc´ed´es de construction de corps finis.
1.1.1. ´
Etant donn´e un entier n > 0, on d´efinit une relation d’´equivalence sur l’en-
semble Zdes entiers relatifs en posant pour a,b∈Z
a≡bmod nsi ndivise a−b.
La classe d’´equivalence d’un entier a∈Zest
{b∈Z|a≡bmod n}={a+kn |k∈Z}.
On la note a+nZ, et on d´esigne par Z/nZl’ensemble des classes d’´equivalence
mod n:
Z/nZ={a+nZ|a∈Z}.
On d´efinit une somme et un produit sur Z/nZen posant pour a,b∈Z
(a+nZ)+(b+nZ)=(a+b) + nZet (a+nZ)·(b+nZ) = ab +nZ.
Th´eor`eme 1. Avec les op´erations ci-dessus, Z/nZest un anneau commutatif qui
contient n´el´ements :
Z/nZ={0 + nZ,1 + nZ, . . . , (n−1) + nZ}.
Si nest un nombre premier, alors Z/nZest un corps.
D´emonstration. Pour tout a∈Z, on peut trouver q,r∈Ztels que a=nq +ret
r∈ {0, . . . , n −1}. Alors a+nZ=r+nZ; donc
Z/nZ={0 + nZ,1 + nZ, . . . , (n−1) + nZ}.
De plus, les ´el´ements de l’ensemble de droite sont tous distincts, car si a+nZ=b+nZ
avec a,b∈ {0, . . . , n −1}, alors ndivise a−bet −n<a−b<n, donc a−b= 0.
On en conclut que Z/nZa bien n´el´ements. En se ramenant aux propri´et´es de Z, il
est facile de v´erifier que Z/nZest un anneau commutatif. Il ne reste donc plus qu’`a
v´erifier que si nest premier alors tout ´el´ement non nul de Z/nZest inversible.
Soit a+nZ6= 0. On consid`ere l’application de multiplication par a+nZ,
ϕ:Z/nZ→Z/nZ, b +nZ7→ ab +nZ.
Lorsque nest un nombre premier, cette application est injective, car si ϕ(b+nZ) =
ϕ(c+nZ), alors ab +nZ=ac +nZ, donc ndivise a(b−c). Comme nne divise pas
a, cela entraˆıne que ndivise b−c, donc b+nZ=c+nZ. Or, puisque Z/nZest un
ensemble fini, toute application injective Z/nZ→Z/nZest aussi surjective, donc
on peut trouver a0+nZtel que ϕ(a0+nZ) = 1 + nZ. Alors aa0+nZ= 1 + nZ, ce
qui montre que a0+nZest l’inverse de a+nZ.
Remarque. Si nn’est pas premier, alors on peut trouver k,∈ {2, . . . , n −1}tels
que k =n, ce qui entraˆıne (k+nZ)·(+nZ) = 0. Ainsi, Z/nZn’est pas un corps
si nn’est pas un nombre premier.
1