Unités de $\Bbb Q[\zeta_5]$
dans Arithmétique
Bonsoir
c'est un exercice dans Neukirsch "Th of Num..."
Prouver que les unités de $\Bbb Q[\zeta_5]$ s'écrivent : "racine de 1" $\times\:(1+\zeta_5)^k$.
Je sais qu'elles s'écrivent "racine de 1" $\times$ "unité réelle".
Je sais que les unités réelles sont des polynômes en $\zeta+\frac1\zeta$,
mais je ne vois pas comment faire arriver ce $1+\zeta$ ?
Comme c'est dans le même exercice j'imagine que ça s'en déduit mais je sèche
Merci
c'est un exercice dans Neukirsch "Th of Num..."
Prouver que les unités de $\Bbb Q[\zeta_5]$ s'écrivent : "racine de 1" $\times\:(1+\zeta_5)^k$.
Je sais qu'elles s'écrivent "racine de 1" $\times$ "unité réelle".
Je sais que les unités réelles sont des polynômes en $\zeta+\frac1\zeta$,
mais je ne vois pas comment faire arriver ce $1+\zeta$ ?
Comme c'est dans le même exercice j'imagine que ça s'en déduit mais je sèche
Merci
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
$O_K^\times$ est facile à trouver : c'est $O_K^\times = \pm 1 \times u^\Z$ où $u$ est le plus petit $u> 1$ tel que $u \in O_K^\times$ qu'on peut trouver en prenant une unité $v \in O_K^\times, v > 1$ de polynôme minimal $X^2-bX\pm 1$ et en testant si les racines de $X^2-aX\pm 1\in \Z[X]$ sont dans $K^\times$ pour $|a| < |b|$.
Ensuite on regarde l'homomorphisme $f : O_L^\times \to O_K^\times,f(w) = |w|^2$ de noyau $<\zeta_{10}>$ (*) et d'image $u^{2 \Z}\subset f(O_L^\times) \subset O_K^\times \cap \R_{> 0}=u^\Z$
donc soit l'image c'est $u^{2\Z}$ et $O_L^\times = <\zeta_{10}> \times u^\Z$
soit l'image c'est $u^\Z$ et $O_L^\times = <\zeta_{10}> \times u^\Z \cup z <\zeta_{10}> \times u^\Z$ où $f(z) = u$
(*) si $|w|^2= 1$ alors tous ses conjugués satisfont $|\sigma(w)|=1$ ce qui implique que les polynômes minimaux des $w^k$ ont des coefficients uniformément bornés donc deux d'entre eux sont égaux donc $w^{k_1} =w^{k_2}$ et $w$ est une racine de l'unité
je pense que l'apparition de $1+\zeta_5$ est liée au fait qu'ici les unités réelles sont les unités de $\Q(\sqrt{5})$
(car $\Q(\zeta_5)=\Q(\sqrt{5})(\theta)$ avec $\theta =2i\sin(2\pi/5)$ )
c'est-à-dire ces unités réelles sont
+ ou - les puissances du nombre d'or
et il y a une relation très simple entre $\zeta_5 ^2$, $1+\zeta_5$ et le nombre d'or.
Cf. argument plus haut,
Il n'existe pas de $z \in O_L^\times=\Z[\zeta_5]$ tel que $|z|^2 = \frac{1+\sqrt{5}}{2}$
parce que sinon avec $\sigma(\zeta_5)= \zeta_5^2$, $\sigma(\sqrt{5}) = -\sqrt{5}$ et $\rho(\zeta_5)= \zeta_5^{-1}$ la conjugaison complexe
on aurait $$|\sigma(z)|^2 =\sigma(z)\rho(\sigma(z))=\sigma(z\rho(z))= \sigma(\frac{1+\sqrt{5}}{2})=\frac{1-\sqrt{5}}{2}<0.
$$ Le noyau de $w \mapsto |w|^2$ ce sont les $w\in O_L^\times,|w|^2 = 1$ donc $|\sigma(w)|^2=1$ ce qui implique que les coefficients de $f_k(X)=(X-w^k)(X-\sigma(w^k))(X-\rho(w^k))(X-\sigma\rho(w^k))\in \Z[X]$ sont uniformément bornés d'où $f_k(X)=f_{k_2}(X)$ et $w^k = w^{k_3}$ et $w$ est une racine de l'unité. Avec l'irréductibilité des polynômes cyclotomiques on a que les racines de l'unité de $O_L^\times$ sont $<\zeta_{10}>$.