3) L’anneau K[X]/(P)est un corps.
D´emonstration : Supposons que K[X]/(P) soit int`egre. Tout d’abord, Pn’est pas
inversible, sinon on a (P) = K[X] et K[X]/(P) est l’anneau nul, ce qui est exclu par
d´efinition. On a donc deg(P)≥1. Soit Fun diviseur de P. Il s’agit de montrer que F
est inversible ou bien que Fet Psont associ´es. Il existe Q∈K[X] tel que P=F Q, d’o`u
F Q = 0. Par hypoth`ese, cela entraˆıne que F= 0 ou Q= 0. Si F= 0, alors Fest dans (P)
i.e. Pdivise F. Par suite, Pet Fsont associ´es. Si Q= 0, alors Qet Psont associ´es, d’o`u
deg(F) = 0 i.e. Fest inversible. Cela prouve que Pest irr´eductible dans K[X]. Supposons
alors Pirr´eductible dans K[X] et prouvons que tout ´el´ement non nul Fde K[X]/(P) est
inversible. Puisque Pest irr´eductible et que Pne divise pas F, les polynˆomes Fet Psont
premiers entre eux. D’apr`es la proposition 3.3, Fest donc inversible, donc K[X]/(P) est
un corps. La derni`ere implication est imm´ediate.
2. Caract´eristique d’un anneau
Soit Aun anneau. Notons 1Al’´el´ement neutre multiplicatif de A. Soit f:Z→A
l’application de Zdans Ad´efinie par
(3) f(m) = m1Apour tout m∈Z.
C’est un morphisme d’anneaux (et d’ailleurs le seul). Son noyau est un id´eal de Z. Il existe
donc un unique entier naturel ntel que l’on ait
Ker(f) = nZ.
D´efinition 3.2. L’entier nest la caract´eristique de A.
Lemme 3.1. Si Aest int`egre, sa caract´eristique est nulle ou est un nombre premier. Tel
est en particulier le cas si Aest un corps commutatif.
D´emonstration : L’anneau Z/nZest isomorphe `a un sous-anneau de A, `a savoir l’image
de f. Puisque Aest int`egre, il en est de mˆeme de Z/nZ. Si nn’est pas nul, Z/nZest un
corps, et nest premier.
Th´eor`eme 3.2. Soit Kun corps commutatif d’´el´ement neutre multiplicatif 1K. Soit m
un entier relatif.
1) Supposons Kde caract´eristique z´ero. On a m1K= 0 si et seulement si m= 0. Dans ce
cas, Kcontient un unique sous-corps isomorphe `a Q.
2) Supposons Kde caract´eristique un nombre premier p. On a m1K= 0 si et seulement
si pdivise m. Dans ce cas, Kcontient un unique sous-corps isomorphe `a Fp.
D´emonstration : Supposons Kde caract´eristique 0. Le morphisme f:Z→Kd´efini
par (3) est alors injectif, d’o`u la premi`ere ´equivalence. L’application de Qdans Kqui `a
5