Mardi : Entiers
modulaires
David Madore
Programme du
cours
Table des mati`eres
L’anneau Z/nZ
La fonction
indicatrice d’Euler
D´efinition
Th´eor`eme chinois
Th´eor`eme d’Euler
Structure du groupe des
unit´es
Nombres p-adiques
4/27
Quotient d’un anneau par un id´eal
Rappel : Un id´eal d’un anneau (commutatif) Aest un
sous-groupe additif Ide Atel que AI ⊆I(i.e., ax ∈Id`es
que x∈I, pour tout a∈A).
Notamment, l’ensemble (a) = aA des multiples d’un a∈A
est un id´eal de A.
La relation d’´equivalence a∼a0d´efinie comme a−a0∈I
permet de mettre sur l’ensemble quotient A/I=A/∼une
structure d’anneau (car a∼a0et b∼b0implique ab ∼a0b0,
etc.). On parle de l’anneau quotient de Apar l’id´eal I.
Surjection canonique : morphisme AA/Idont le noyau
est I, envoie asur sa classe modulo ∼.
«R´eciproquement », le noyau d’un morphisme d’anneaux est toujours
un id´eal, et tout morphisme surjectif ϕ:AA0peut s’identifier `a la
surjection canonique vers le quotient de Apar le noyau ker ϕ.