
1.3. Anneaux int`egres
D´efinition 1.7 Un anneau commutatif Aest dit int`egre s’il est non nul, et
si pour tous a, b de A, la condition ab = 0 implique a= 0 ou b= 0.
Exemples :
1. Zest int`egre.
2. Pour n∈N∗,Z/nZest int`egre si et seulement si nest premier.
3. Tout corps est un anneau int`egre (mais pas r´eciproquement, par exem-
ple Zn’est pas un corps).
4. Tout sous-anneau d’un anneau int`egre (par exemple d’un corps) est
int`egre.
5. Si Aest int`egre, les anneaux A[X], A[X1, ..., Xn] sont int`egres (et
r´eciproquement).
On rappelle le r´esultat classique suivant :
Proposition 1.8 Soit Aun anneau int`egre; alors il existe un corps Ket
un homomorphisme injectif i:A→Ktel que pour tout morphisme injectif
d’anneaux de Avers un corps K′, il existe un unique morphisme de corps
j:K→K′tel que f=j◦i.Kest unique `a isomorphisme pr`es, et s’appelle
le corps des fractions de A. On le note Frac A.
Cela signifie donc que Kest le ”plus petit corps” contenant A, tout
´el´ement de Ks’´ecrit x/y avec x∈Aet y∈Anon nul; ainsi un anneau
est int`egre si et seulement s’il est sous-anneau d’un corps. Par exemple
Frac Z=Q, et Frac (K[X]) = K(X) (le corps des fractions rationnelles en
une ind´etermin´ee). Noter que l’anneau nul n’a pas de corps des fractions
(ce qui justifie qu’il ne soit pas int`egre par convention). Pour construire
K= Frac A, on consid`ere les couples (a, b) avec a∈Aet b∈A\ {0}, et on
d´efinit ensemblistement Kcomme le quotient de l’ensemble de ces couples
par la relation d’´equivalence : (a, b)∼(c, d) ssi ad =bc. On v´erifie alors que
K, muni des lois
(a, b)(c, d) := (ac, bd); (a, b) + (c, d) = (ad +bc, bd),
est un corps (dans lequel (a, b) correspond `a a/b) qui v´erifie les propri´et´es
voulues.
4