1. Objectif
Soit un anneau (A, +,0,∗, e)commutatif.
On souhaite construire un inverse pour tout ´el´ement non nul de A. Il s’agit
donc de construire une extension (K, j)de Aavec Kun corps, i.e.
j:A→Kun morphisme d’anneau injectif :
Aj//K
Condition n´ecessaire : Adoit ˆetre int`egre
Aj//K=⇒Aanneau int`egre
D´emonstration : ∀x, x0∈A,
x∗x0= 0 =⇒j(x)∗j(x0) = 0 =⇒j(x) = 0 ou j(x0) = 0
=⇒x= 0 ou x0= 0par injectivit´e de j
∀x, x0∈A, x∗x0= 0 =⇒j(x)∗j(x0) = 0 =⇒j(x) = 0 ou j(x0) = 0