donc 2 n’admet pas de diviseurs propres.
D’autre part l’´equation N(α) = 1 admet pour seules solutions ±1, donc les unit´es de Z[√−5] sont
±1, ainsi aucun des facteurs 2,3,1 + √−5 et 1 −√−5 ne sont associ´es, ce qui montre que Z[√−5]
n’est pas factoriel.
Tout n’est pas perdu cependant ! Kummer r´ealisa qu’il manque `a cet anneau certains ´el´ements.
Il r´epara la factorialit´e en rempla¸cant les nombres par les ”nombres id´eaux”. En termes modernes,
il factorisa les id´eaux en produit d’id´eaux premiers. On retrouve alors l’unicit´e `a l’ordre pr`es.
Voyons ce que cela donne avec Z[√−5] et 6. Posons
a1= (2,1 + √−5),a2= (3,1 + √−5) et a3= (3,1−√−5).
Notons qu’on peut ´ecrire aussi a1= (2,1−√5) puisque 2 ∈a1. Il vient
a2
1= (2 ×2,2×(1 −√−5),(1 + √−5) ×2,(1 + √−5) ×(1 −√−5))
= (4,2−2√−5,2+2√−5,6)
= (2)
puisque 2 = 6 −4∈a2
1et que chaque g´en´erateur est divisible par 2. De mˆeme, on trouve
a1a2= (1 + √5) a1a3= (1 −√−5) et a2a3= (3).
En particulier,
(6) = (2)(3) = (a1a1)(a2a3)
et
(6) = (1 + √−5)(1 −√5) = (a1a2)(a1a3)
sont en fait les mˆemes factorisations en termes d’id´eaux. D´emontrons par exemple que a1est
premier. Tout d’abord on remarque que
a1={a+b√−5|a≡bmod (2)}.
En effet, en prenant (a, b) = (2,0) et (a, b) = (1,1) on voit que a1⊂ {a+b√−5|a≡bmod (2)},
et r´eciproquement si a≡bmod (2), il existe λ∈Ztel que a=b+ 2λ, d’o`u a+b√−5 =
b+ 2λ+b√−5=2λ+b(1 + √−5) ∈a1, d’o`u l’´egalit´e.
Soit x=a+b√−5, y =c+d√−5∈ OK, et supposons que x /∈a1et y /∈a1. Alors aet b(resp. c
et d) sont de parit´e diff´erente. Or
xy = (ac −5bd)+(ad +bc)√−5.
On v´erifie que dans tous les cas, ac −5bd et ad +bc sont de parit´e diff´erente, donc xy /∈a1, ce qui
prouve que a1est premier. On proc`ede de mˆeme pour a2et a3, en remarquant par exemple que
a2={a+b√−5|a≡bmod (3)}et a3={a+b√−5|a≡2bmod (3)}.
Comme on l’a montr´e, Z[√−5] n’est pas principal, sinon il serait factoriel. Mais cela n’empˆeche
pas Z[√−5] de poss´eder des id´eaux principaux ! Nous allons montrer que a1n’est pas principal,
cela nous resservira plus loin. Supposons a1principal, et notons βun g´en´erateur. Alors β|2 et
β|(1 + √−5), donc en prenant les normes N(β)|4 et N(β)|6, d’o`u N(β)∈ {1,2}. Si N(β) = 1,
c’est que βest inversible, et que a1=Z[√−5], ce qui n’est pas le cas puisque a2
1= (2). Il est
d’autre part clair qu’il n’existe pas d’´el´ement de norme 2.
5