1. Montrer que l’id´eal pZ[√−2] est maximal si et seulement si p6≡ 1,3 mod 8.
Indication. On pourra consid´erer l’isomorphisme d’anneaux :
Z[√−2]/pZ[√−2] 'Fp[X]/(X2+ 2)Fp[X].
2. On suppose p≡1 ou 3 mod 8. Montrer qu’il existe a, b ∈Ztels que p=a2+ 2b2.
Indication. On pourra utiliser la propri´et´e suivante, que l’on d´emontrera :
α∈Z[√−2] non inversible ⇔N(α)6= 1
pour en d´eduire p=N(α) = N(β).
3. On suppose p≡5 ou 7 mod 8. Montrer que pne peut pas s’´ecrire sous la forme a2+ 2b2,
avec a, b ∈Z.
Exercice 3. D’apr`es l’exercice 4 de la s´erie 7, nous avons vu que si d6= 1 est un entier sans
facteur carr´e tel que d≡1 (mod 4), alors l’anneau des entiers de Q(√−d) n’est pas factoriel.
Voici d’autres corps quadratiques imaginaires dont l’anneau des entiers n’est pas factoriel.
Soit d6= 1 un entier sans facteur carr´e qui n’est pas premier. Soit pun diviseur premier de d;
on ´ecrit d=pd0. On note OKl’anneau des entiers du corps quadratique K=Q(√−d). Nous
allons montrer que l’anneau OKn’est pas factoriel.
1. Montrer que les ´el´ements √−det psont irr´eductibles dans OK.
2. En cherchant deux d´ecompositions de den produit d’´el´ements irr´eductibles dans OK, en
d´eduire que OKn’est pas factoriel.
Exercice 4. On admet que l’anneau des entiers de Q(√−7) est factoriel.
1. Donner l’anneau des entiers de Q(√−7).
2. Trouver la d´ecomposition de 33 + 11√−7 en produit d’´el´ements irr´eductibles.
3. Pouvez-vous montrer que cette d´ecomposition est unique ?
En fait, il n’y a que 9 corps quadratiques imaginaires, c’est-`a-dire du type Q(√−d)avec d≥1
entier sans facteur carr´e, dont l’anneau des entiers est factoriel : ce sont les corps Q(√−d)
pour d= 1,2,3,7,11,19,43,67 et 163. Ce r´esultat avait ´et´e conjectur´e par Gauss, il a ´et´e
d´emontr´e en 1967 par Baker et Stark, ind´ependamment.