TLM1 Anneaux et corps 2
1.3 Calcul dans un anneau
Soit x2Aalors x0A=0Aoù 0Aest le neutre de la loi +.
Preuve. En e¤et, on a x(x+0A)=xx+x0A. Mais puisque 0Aest neutre, on a x+0A=x; ainsi x(x+0A)=
xx: On en déduit que xx+x0A=xx=)x0A=0A:
Soient aet bdans A; on note a-bà la place de a+(-b);on démontre alors que, 8(a; b; c)2A3
a(b-c)=ab-ac(-a)b= - (ab) (-a)(-b)=ab
1.3.1 Notations usuelles
Soit (A; +;)un anneau, pour a2A; on note -ale symétrique de apour la loi +et a-1le symétrique pour la loi
lorsque aest inversible. Soit n2N, on note :
Si n=0; 0a =0Aoù 0Aest le neutre de Apour la loi +et a0=1Aou 1Aest le neutre pour la loi .
Si n > 0; na =a+ +a
| {z }
nfois
et an=aa a
| {z }
nfois
Si n < 0; na =(-n) (-a)=(-a)+ +(-a)
| {z }
-nfois
et an=a-1-n=a-1 a-1
| {z }
-nfois
On a alors les règles usuelles
Soient (a; b)2Aet (n; p)2Z2
na +pa =(n+p)a ; n (pa)=(np)a ; na +nb =n(a+b); anap=an+p:
Pour résumer, les règles de calcul de l’algèbre sont encore licites, mais si l’anneau n’est pas commutatif, alors ab6=ba:
Pour ainversible et p2Z, alors (ap)-1=a-1p
Preuve. On le prouve pour p2Npar récurrence sur p. C’est clair si p=0ou 1. Supposons le vrai pour p1; alors
a-1p+1=a-1pa-1=(ap)-1a-1
et ap+1-1=(aap)-1=(ap)-1a-1
Puis pour p < 0; on a (ap)-1=a-1-p-1
=
-p>0 (a-p)-1-1
=a-palors que a-1p=a-1-1-p
=a-p;ce qui
est bien la même chose.
1.3.2 Elements commutants
On notera pour simpli…er le produit absous la forme ab:
Dé…nition 7 Soient aet bdans A, on dit que aet bcommutent si ab =ba.
Cette notion est essentielle. Par exemple, pour le produit des matrices carrées, en général AB 6=BA. Le produit n’est
donc pas commutatif !
Proposition 8 Si aet bcommutent alors 8(i; j)2Z2; aiet bjcommutent.
Preuve. On commence par prouver que aiet bjcommutent lorsque iet jsont dans N. On dé…nit la proposition P(j)=
}abj=bja}. La proposition est vraie au rang 0car b0=e; élément neutre de Aet ae =ea =a. Supposons que P(j)soit
vrai pour j0…xé. Alors
abj+1=abjb=
HRibjab=
associativité bj(ab)=
ab=ba bj(ba)=bj+1a
Ainsi P(j+1)est vraie. On a donc montré que, si aet bcommutent, alors pour tout j2N,abj=bja. On en déduit que
bjet acommutent. On applique le résultat précédent à bjet à a, ainsi pour tout i2N,bjai=aibj.
Il reste à montrer que c’est vrai pour iet jdans Z. On montre d’abord que a-1et bcommutent. En e¤et
ab =ba =)a-1(ab)a-1=a-1(ba)a-1=)a-1aba-1=a-1baa-1=)ba-1=a-1b
car aa-1=a-1a=e, élément neutre de A
2