Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Polynômes annulateurs de nombres sous la forme cosinus ou tangente : Polynômes annulateurs de nombres de la forme 2cos(2kπ╱n)
Polynômes annulateurs de nombres sous la forme cosinus ou tangente/Polynômes annulateurs de nombres de la forme 2cos(2kπ╱n) », n'a pu être restituée correctement ci-dessus.
Ci-dessous se trouvent, dans l’ordre croissant des degrés sur
des nombres, les polynômes minimaux sur
(ou sur
lorsque rien n'est précisé) de quelques entiers algébriques de la forme
pour
et k premier avec n.
Lorsque n est pair, la fraction
sera écrite simplifiée par 2.
Rappelons (cf. chap. 1) que le degré (sur
) de
, avec
et
premiers entre eux et
, vaut
(
). Lorsque
est divisible par 4, le polynôme minimal sur
se factorisera en produit de deux polynômes de degré
sur un
, d'autant de façons qu'il y a de sous-groupes d'indice 2 dans le groupe quotient
(donc une seule si et seulement si ce groupe est cyclique, donc plusieurs si n est divisible par 8). De plus, l'entier
(positif et sans facteur carré) — et même
, si
— divise
car le discriminant de
divise celui de l'extension cyclotomique ℚ(ζn).
Nous éviterons les redondances en remarquant que si
est le polynôme minimal sur K de
,
alors
est le polynôme minimal sur K de son opposé,
.
Le cas
avec
impair se ramène ainsi au cas
.
Le polynôme minimal (sur
) des nombres
pour
et de leurs opposés est

En posant
, l'équation
devient
.
On trouve ainsi :
,
soit

avec
.
Le groupe
, d'ordre
, a trois sous groupes d'indice 2.
Le premier,
, est l'ensemble des nombres (pris modulo 40 et au signe près) puissances de ±7 (ou, ce qui revient au même : de son inverse ±17 dans
), ce que nous noterons
.
Avec les mêmes notations, les deux autres sont :
(cyclique comme le précédent)
(de Klein).
Ils fournissent trois factorisations,
,
avec

et (par des calculs analogues) :
.
pour
.
Les polynômes minimaux des nombres

sont respectivement :
.
pour
.
 est le polynôme minimal des nombres :
et .
|
 est le polynôme minimal des nombres :
et son opposé.
|
 est le polynôme minimal des nombres :
et son opposé.
|
pour
.
 est le polynôme minimal des nombres :
.
|
 est le polynôme minimal des nombres :
.
|
pour
.
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
et son opposé.
|
 est le polynôme minimal sur des nombres :
et son opposé.
|
 est le polynôme minimal sur des nombres :
et son opposé.
|
 est le polynôme minimal sur des nombres :
et son opposé.
|
 est le polynôme minimal sur des nombres :
et .
|
 est le polynôme minimal sur des nombres :
et son opposé.
|
 est le polynôme minimal sur des nombres :
et .
|
pour
.
 est le polynôme minimal des nombres :
.
|
pour
.
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
pour
.
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
et leurs opposés.
|
 est le polynôme minimal sur des nombres :
et leurs opposés.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
et leurs opposés.
|
 est le polynôme minimal sur des nombres :
et leurs opposés.
|
 est le polynôme minimal sur des nombres :
et leurs opposés.
|
 est le polynôme minimal sur des nombres :
et leurs opposés.
|
 est le polynôme minimal sur des nombres :
.
|
pour
.
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal sur des nombres :
.
|
 est le polynôme minimal des nombres :
(à factoriser sur )
|
 est le polynôme minimal sur des nombres :
.
|