Soit I idéal de A anneau commutatif.

On définit sur A la relation de congruence modulo I :

Pour tous x,xA, xx mod(I) xxI.

En notant ˉxA/I la classe d’équivalence de xA, on a : pour tous x,yA, ˉx+ˉy=¯x+y et ˉx×ˉy=¯xy.

Théorème : (A/I,+,×) est un anneau commutatif, appelé anneau quotient.

Exemple : Z/nZ est l’anneau des classes de congruence.

Théorème : La projection canonique p:xˉx est un morphisme surjectif de l’anneau A sur l’anneau A/I.

Le noyau de p est I.

Théorème : Soit f:AA un morphisme d’anneaux.

Le noyau de f (Kerf) est un idéal de A.

L’image de f (Imf) est un sous-anneau de A.
ˉf:A/KerfImf est un isomorphisme.

Définition : Deux idéaux I,J de A sont dits étrangers (l’un à l’autre) si I+J=A c’est-à-dire s’il existe xI et yJ tel que x+y=1.

Théorème (Lemme Chinois) : Soient I,J deux idéaux de A étrangers entre eux.

Alors l’application x (mod IJ)(x (mod I), x (mod J)) est un isomorphisme de A/IJ sur l’anneau produit (A/I)×(A/J).

Corollaire : Soient I1,,In des idéaux étrangers deux à deux.

Alors I1In=I1In et on a un isomorphisme : A/(I1In)(A/I1)××(A/In).