Vous êtes sur la page 1sur 5

Anneaux

Dany-Jack Mercier
IUFM de Guadeloupe, Morne Ferret,
BP399, Pointe--Pitre cedex 97159, France
dany-jack.mercier@univ-ag.fr
23 octobre 2002
1 D!nitions
D!nition 1 Un anneau (A; +; :) est la donne d!un ensemble A et de deux lois internes
+ et : telles que (A; +) soit un groupe commutatif et que la loi : soit associative et dis-
tributive par rapport " l!addition +. En gnral, on impose " A d!#tre unitaire, i.e. de
possder un lment neutre pour la multiplication. Cet lment est not 1
A
, et s!appelle
l!l!ment unit! (ou plus simplement $lunit!$) de A. On retient : CANS-AD. On dit
que l!anneau est commutatif si la loi : est commutative.
La structure d!anneau est tr"s utilis#e en alg"bre puisque correspond la donn#e d!un
ensemble et de deux lois internes poss#dant de bonnes propri#t#s. L!ensemble Z des
entiers relatifs, l!ensemble Q des nombres rationnels et celui R des nombres r#els sont des
anneaux. En fait tout #l#ment de R poss"de un inverse multiplicatif, ce qui constitue une
qualit# suppl#mentaire et nous m"ne la d#$nition :
D!nition 2 Un corps (K; +; :) est la donne d!un ensemble K et de deux lois internes
+ et : telles que (K; +) soit un groupe commutatif, que (K

; :) soit un groupe, et que la


loi : soit distributive par rapport " l!addition +. On retient : CANS-ANS-D.
2 Anneaux quotients, Idaux
Soit A un anneau. Cherchons les relations d!#quivalence R sur A compatibles avec la
structure d!anneau, i.e. v#ri$ant les deux conditions :
(C1) 8x; y; x
0
; y
0
2 A xRy et x
0
Ry
0
) (x +x
0
) R(y +y
0
) ;
(C2) 8x; y; x
0
; y
0
2 A xRy et x
0
Ry
0
) xx
0
Ryy
0
:
Ces conditions #quivalent l!a%rmation &il est possible de d#$nir une structure d!anneau
sur l!ensemble quotient A=R en choisissant les op#rations naturelles
:
x +
:
y =
:
x +y et
0
[cann0007] v1.00 http://perso.wanadoo.fr/megamaths
c 2002, D.-J. Mercier. Vous pouvez faire une copie de ces notes pour votre usage personnel.
1
:
x:
:
y =
:
xy &. En e'et, les r#sultats de telles op#rations sont bien d#$nis si, et seulement
si, ils ne d#pendent pas du choix des repr#sentants x et y des classes
:
x et
:
y, ce qui est la
traduction des conditions (C2) et (C2).
On a vu, lors de l!#tude des groupes, qu!une relation du groupe commutatif (A; +) est
compatible avec la loi + (i.e. v#ri$e (C1)) si, et seulement si, c!est une relation suivant un
sous-groupe H. Autrement dit, la condition (C1) #quivaut l!existence d!un sous-groupe
H tel que
xRy , x y 2 H , x 2 y +H:
V#ri$ons-le rapidement : si R v#ri$e (C1) alors xRy #quivaut (x y) R0 soit encore
xy 2
:
0 o(
:
0 repr#sente la classe de l!#l#ment neutre 0 de A. Il est facile de v#ri$er que
:
0
est un sous-groupe de A. Notons-le H. Ainsi xRy #quivaut xy 2 H. R#ciproquement
toute relation d!#quivalence d#$nie par x y 2 H est compatible avec la loi + puisque
pour tous x; y; z 2 A, x y 2 H entra)ne (x +z) (y +z) 2 H.
Supposons maintenant que R soit compatible avec la loi +, autrement dit que R soit une
relation suivant un sous-groupe H. La condition (C2) #quivaut aux deux conditions
(C2d) 8x; y; a 2 A xRy ) xaRya (compatibilit# droite avec la loi !),
(C2g) 8x; y; a 2 A xRy ) axRay (compatibilit# gauche avec la loi !),
ou encore
(C2d) 8x; y; a 2 A x y 2 H ) (x y) a 2 H;
(C2g) 8x; y; a 2 A x y 2 H ) a(x y) 2 H:
Cela s!#crit aussi
(C2d) 8x 2 H 8a 2 A xa 2 H
(C2g) 8x 2 H 8a 2 A ax 2 H
et nous invite poser :
D!nition 3 Un id!al " gauche (resp. " droite) est un sous-groupe additif I de
l!anneau A tel que
8i 2 I 8a 2 A ai 2 I:
(resp. 8i 2 I 8a 2 A ia 2 I) :
Un id!al bilat#re (ou plus simplement un id!al) de A est un idal " gauche et " droite
de A.
Thor"me 1 Les relations d!quivalence compatibles avec la structure d!anneau de (A; +; :)
sont les relations suivants des idaux bilat%res I. Elles sont d&nies par
xRy , x y 2 I:
L!ensemble quotient A=R, not commodment A=I, est alors structur en anneau pour les
lois quotients
:
x +
:
y =
:
x +y et
:
x:
:
y =
:
xy.
Preuve : imm#diate partir du moment o( les lois quotients sont bien d#$nies.
2
3 Idal engendr par une partie
Supposons l!anneau A commutatif de sorte que tous les id#aux de A sont bilat"res. On
v#ri$e que :
Proposition 1 L!intersection d!idaux de A est encore un idal.
Si A est une partie de A, l!intersection de tous les id#aux contenant A est un id#al, et c!est
le plus petit id#al (au sens de l!inclusion) contenant A. On le note < A > et on l!appelle
l#idal engendr par la partie A. Ainsi
< A >=
\
I id#al etA!I
I:
L!id#al engendr# par un #l#ment a 2 A est not# (a), aA ou Aa. Si I et J sont deux id#aux
de A, l!id#al engendr# par I [J (resp. par la partie de A form#e de tous les produits ij o(
i et j d#crivent respectivement I et J) est not# I +J (resp. IJ). La proposition suivante
#claire le choix de ces notations :
Thor"me 2 Soient I, J deux idaux de A, et a 2 A.
1) (a) = fax= x 2 Ag ;
2) I +J = fi +j 2 A= i 2 I et j 2 Jg ;
3) IJ =

n
P
k=1
i
k
j
k
2 A= n 2 N, i
k
2 I et j
k
2 J
!
:
Thor"me 3 L!idal engendr par une partie quelconque A de A est
< A >=
(
x 2 A= 9n 2 N 9x
i
2 A 9a
i
2 A x =
n
X
i=1
a
i
x
i
)
:
4 Homomorphismes d#anneaux
D!nition 4 Un morphisme danneaux de A vers A
0
est une application f : A ! A
0
entre deux anneaux telle que :
1) 8x; y 2 A f (x +y) = f (x) +f (y) ;
2) 8x; y 2 A f (xy) = f (x) :f (y) ;
3) f (1
A
) = 1
A
0 :
Contre-exemple : f peut v#ri$er 1) et 2) sans transformer l!unit# de A en celle de A
0
.
Consid#rons une partie non vide F d!un ensemble E, et notons la di'#rence sym#trique
de deux ensembles. (P (E) ; ; \) est un anneau unitaire et l!application
f : P (E) ! P (E)
X 7! X \ F
v#ri$e 1) et 2). Cependant f (E) = E\F 6= E montre que f n!est pas un endomorphisme
d!anneaux. Dans ce cas, on dit que f est une &reprsentation&.
3
Proposition 2 Si f : A ! A
0
est un homomorphisme d!anneaux,
1) f (0) = 0;
2) 8x 2 A f (x) = f (x) ;
3) Si x 2 A est inversible, alors f (x) l!est aussi et f (x)
"1
= f
"
x
"1
#
.
Thor"me 4 D!composition canonique dun morphisme.
Si f : A ! A
0
est un homomorphisme d!anneaux entre deux anneaux non ncessairement
commutatifs, alors
1) Ker f est un idal bilat%re,
2) Imf est un sous-anneau de A
0
;
3) Il existe un unique isomorphisme d!anneaux g de A= Ker f sur Imf qui rende le dia-
gramme suivant commutatif :
A
f
! A
0
# " i
A= Ker f
g
! Imf
i.e. tel que f = i " g " . Dans ce diagramme, dsigne la projection canonique de A sur
A= Ker f et i l!injection canonique de Imf dans A
0
.
Preuve : 1) La partie Ker f est un sous-groupe additif de A comme noyau d!un morphisme
de groupes (en e'et Ker f n!est pas vide puisque contient l!#l#ment neutre 0 de l!addition,
et a; b 2 Ker f entra)ne f (a b) = f (a) f (b) = 0 d!o( a b 2 Ker f). De plus pour
tout a 2 A et tout x 2 Ker f, f (ax) = f (a) f (x) = f (a) 0 = 0 montre que ax 2 Ker f.
Le noyau Ker f est bien un id#al gauche. On montrerait de m*me que Ker f est un id#al
droite.
2) Imf est un sous-groupe additif de A
0
comme image d!un morphisme de groupes
(Imf n!est pas vide et f (a) ; f (b) 2 Imf entra)nent f (a) f (b) = f (a b) 2 Imf),
et la multiplication est interne dans Imf car si f (a) et f (b) appartiennent Imf, alors
f (a) f (b) = f (ab) aussi. Le lecteur notera bien que la partie Imf n!est pas un id#al de
A
0
d"s que f n!est pas surjective. En e'et si Imf est un id#al alors
:
1
A
0 = f
$
:
1
A
%
2 Imf
entra)ne Imf = A
0
.
3) Si g existe, alors g
"
:
x
#
= f (x) pour tout
:
x 2 A= Ker f, et donc g est unique. On v#ri$e
ensuite que g
"
:
x
#
= f (x) d#$nit bien une application de A= Ker f sur Imf. Pour le voir,
on doit prouver que l!image f (x) de
:
x par f est ind#pendante du choix du repr#sentant x
de
:
x. Cela provient de
:
x =
:
x
0
) x x
0
2 Ker f ) f (x) = f
"
x
0
#
:
g est bien un homomorphisme d!anneaux puisque g
$
:
1
A
%
= f (1
A
) = 1
A
0 ,
g
$
:
a +
:
b
%
= g
&
:
a +b
'
= f (a +b) = f (a) +f (b) = g
"
:
a
#
+g
$
:
b
%
et
g
$
:
a
:
b
%
= g
&
:
ab
'
= f (ab) = f (a) f (b) = g
"
:
a
#
g
$
:
b
%
:
4
5 Caractristique d#un anneau, d#un corps
D!nition 5 Soit A un anneau. S!il existe un entier n non nul tel que n:1
A
= 0, on pose
c = Inf fn 2 N

= n:1
A
= 0g et l!on dit que A est un anneau de caract!ristique c. Dans
le cas contraire, on dit que A est de caractristique 0.
En utilisant la notion d!ordre d!un #l#ment d!un groupe (A; +), on obtient la d#$nition
#quivalente :
D!nition 6 Soit A un anneau. Si 1
A
est d!ordre additif &ni, cet ordre est appel la
caract!ristique de A. Dans le cas contraire, on dit que A est de caratristique 0.
On remarque que
n:1
A
= 0 , c j n
et quel!#galit# cx = (c:1
A
) x = 0 est vraie pour tout x 2 A. On note aussi que c 6= 1.
Les anneaux Z; R et C sont de caract#ristique 0 tandis que Z=nZ est de caract#ristique n.
L!anneau produit Z=aZ! Z=bZ est de caract#ristique ppcm(a; b) puisque
!
$
:
1;
:
1
%
=
$
:
0;
:
0
%
,
"
:
!;
:
!
#
=
$
:
0;
:
0
%
, aj! et bj! , ppcm(a; b) j!:
Si A est un anneau de caract#ristique c et sans diviseur de z#ro, alors
nx = 0 , cjn ou x = 0:
En e'et,
nx = 0 , (n:1) x = 0 , (n:1 = 0 ou x = 0) , cjn ou x = 0:
Voici encore une troisi"me d#$nition possible de la caract#ristique d!un anneau :
D!nition 7 Soit A un anneau. L!application
' : Z ! A
n 7! n:1
A
est un morphisme d!anneaux, et l!unique entier c 2 N tel que Ker ' = cZ s!appelle la
caract!ristique de A.
Cette d#$nition permet de montrer le
Thor"me 5 La caractristique d!un anneau sans diviseurs de zro est soit 0, soit un
nombre premier. C!est le cas d!un anneau int%gre ou d!un corps.
Preuve : La d#composition canonique du morphisme ' montre que Z=cZ est isomorphe
un sous-anneau de A, donc sans diviseur de z#ro. Il su%t alors de se rappeler que Z=cZ
(avec c 6= 1) est int"gre si et seulement si c est premier ou c = 0.
5