Université Francois Rabelais de Tours
Licence de Mathématiques
Feuille de Travaux Dirigés n◦2
M1, Algèbre Semestre 2
Exercice 1 L’objectif de cette question est de montrer que Z[ξ] := {a+bξ |(a, b)∈Z2}où ξ=1 + i√19
2
est un anneau principal qui n’est pas euclidien. On aura besoin de la notion suivante. Une norme de
Dedekind-Hasse sur un anneau intègre Aest une application N:A−→ Ntelle que
∗N(x)=0si et seulement si x= 0.
∗Si x, y ∈A\{0}alors y|xou il existe (s, t)∈Atel que
0< N(sx −ty)< N(y).
1) Soit Aun anneau euclidien qui n’est pas un corps. Montrer qu’il existe un élément y∈Atel que
(a) y6= 0 et y /∈A∗
(b) Pour tout a∈A, il existe q∈Aet r∈A∗∪ {0}tel que a=qy +r.
[On prendra un élément minimal de A\A∗∪ {0}.]
2) Montrer que si Aest intègre et si Apossède une norme de Dedekind-Hasse alors Aest principal.
3) On définit N:Q[ξ]−→ Npar N(a+bξ) = a2+ab + 5b2.
(a) Montrer que N(xy) = N(x)N(y)pour tout x, y ∈Q[ξ].
(b) Déterminer l’ensemble des inversibles de Z[ξ].
(c) Montrer que 2et 3sont irréductibles dans Z[ξ].
(d) En utilisant les éléments x= 2 et x=ξ, montrer qu’il ne peut pas y avoir d’élément dans Z[ξ]
satisfaisant les conditions 1)(a) et 1)(b).
(e) En déduire que Z[ξ]n’est pas euclidien.
4) Dans cette question, on montre que Nest un norme de Dedekind-Hasse sur Z[ξ]. Soit x, y ∈Z[ξ]
deux éléments non nuls tels que yne divise pas x. On doit trouver des éléments s, t ∈Z[ξ]tels que
0< N(sx −ty)< N(y)c’est-à-dire tels que
(?) 0 < N(s·(x
y)−t)<1.
On pose
x
y:= a+ib√19
c=a−b
c+2b
cξ∈Q[ξ]
où pgcd(a, b, c)=1et c > 1.
(a) On suppose que c= 2. Montrer que le couple (1,(a−1) + ib√19
2)convient.
(b) On suppose que c= 3. Montrer que a2+19b2= 3q+roù 1≤r≤2et que le couple (a−ib√19, q)
convient.
(c) On suppose que c= 4. Ainsi aet bne sont pas tous les deux pairs.
i. Si aet bsont impairs montrer qu’il existe q∈Ntel que a2+ 19b2= 8q+ 4 et que le couple
(a−ib√19
2, q)convient.
ii. Si aou best pair montrer que a2+19b2= 4q+ravec 0< r < 4et que le couple (a−ib√19, q)
convient.
(d) On supppose que c≥5. Puisque pgcd(a, b, c)=1, il existe n1, n2, n3∈Ztel que
n1a+n2b+n3c= 1.
Soit (q, r)∈Ztel que n2a−19n1b=cq +ravec |r| ≤ c/2. Montrer que le couple
(n2+in1√19, q −in3√19)
convient.
1