
Ceci nous permet aussi de d´efinir sur A/I la loi-quotient de .par R, encore not´ee
., par
∀x, y ∈A/I, x.y =x.y. 2
On montre que (A/I, +, .) est un anneau dont l’´el´ement neutre est 0A/I = 0 = Iet
l’´el´ement unit´e est 1A/I = 1A= 1A+I. L’anneau (A/I, +, .) est ainsi appel´e anneau-
quotient de Apar l’id´eal bilat`ere I.
Remarque 1.2. Sous les mˆeme hypoth`eses de la d´efinition 1.6,
1. la surjection canonique
p: (A, +, .)−→ (A/I, +, .)
x−→ p(x) = x=x+I
est un morphisme d’anneaux surjectif tel que ker p=I= 0.
2. (A, +, .) est commutatif =⇒(A/I, +, .) est commutatif.
3. I=A⇐⇒ A/I =0.
4. A/{0}est isomorphe `a A.
Proposition 1.2. Soient Aun anneau et Iun id´eal bilat`ere de A. Il existe une bijection
croissante (pour la relation d’ordre inclusion ) de l’ensemble des id´eaux `a gauche
(resp., id´eaux `a droite) de Acontenant Ivers l’ensemble des id´eaux `a gauche (resp.,
id´eaux `a droite) de A/I.
D´emonstration. Elle sera faite en classe.
Corollaire 1.1. Soient Aun anneau, Iun id´eal bilat`ere de Aet p:A−→ A/I la
surjection canonique. Pour tout id´eal `a gauche (resp. `a droite) Hde l’anneau-quotient
A/I, il existe un unique id´eal `a gauche (resp. `a droite) Jde Acontenant Itel que
H=p(J) = {p(x); x∈J}={x+I;x∈J}=J/I.
En d’autres termes, les id´eaux `a gauche (resp. `a droite) de l’anneau-quotient A/I sont
les J/I o`u Jest un id´eal `a gauche (resp. `a droite) de Acontenant I.
Remarque 1.3. Sous les mˆemes hypoth`eses du corollaire 1.1, si Jest un id´eal `a gauche
(resp., `a droite) de A, alors p(J) est un id´eal `a gauche (resp., `a droite) de A/I. Mais,
attention p(J) = J/I que lorsque I⊂J. En effet, la notation J/I est utilis´ee lorsque J
est un groupe et Iun sous-groupe distingu´e de J.
Th´eor`eme 1.1 (Premier th´eor`eme d’isomorphisme).Soient Aet Bdeux anneaux et
f:A−→ Bun morphisme d’anneaux. L’anneau-quotient A/ ker fest isomorphe au
sous-anneau Imfde B.
2. C’est bien une lci sur A/I car :
∀(x, y)∈A/I ×A/I, on a x.y =x.y ∈A/I.
∀(x, y),(x0, y0)∈A/I ×A/I, (x, y) = (x0, y0) =⇒(x=x0et y=y0) =⇒(xRx0et yRy0) =⇒
(x.y)R(x0.y0) =⇒x.y =x0.y0.
3
demonst ecrite comme rq sur le cahier