Polynôme cyclotomique - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Définition et exemples

Définition

  • Soit n un entier strictement positif. Le polynôme cyclotomique d'indice n est le polynôme à coefficient dans un corps premier contenant toutes les racines primitives n-ième de l'unité.

On le note en général Φn(X). Le symbole X désigne une indéterminée, les polynômes dont il est question ici sont formels et non pas des fonctions. Cette question est importante si le corps premier n'est pas le corps \mathbb Q \, des nombres rationnels. En effet si le corps premier est fini, le nombre de fonctions polynômes est fini, alors que celui des polynômes formels ne l'est pas.

  • Un corps est dit premier s'il ne contient pas de sous-corps autre que lui-même.

C'est le plus petit sous-corps contenant 1 et tous ses itérés par l'addition. Si le corps est de caractéristique 0, il est égal à celui des nombres rationnels, sinon il est isomorphe à Z/pZ, où p est la caractéristique du corps.

Dans le cas des rationnels, si la séquence finie (zk) décrit les racines nième primitives de l'unité dans le corps des complexes et φ la fonction indicatrice d'Euler, le polynôme Φn(X) est donné par:

\Phi_n(X) = \prod_{k=1}^{\varphi(n)}(X-z_k)\quad\text{avec}\quad z_k=\exp\left(\frac{2ik\pi}{n}\right)\;\text{et} \quad k\land n = 1

Les polynômes cyclotomiques sont des polynômes unitaires à coefficients entiers. De plus, il est possible d'appliquer à Φn le morphisme d'anneau de Z[X] dans Z/pZ[X]. En particulier, si p est un nombre premier, Z/pZ est un corps fini. Une telle approche est utilisée pour démontrer le caractère irréductible du polynôme précédent.

On appelle corps cyclotomique ou extension cyclotomique le plus petit sous-corps du corps des nombres complexes contenant tous les nombres rationnels et une racine primitive n-ième de l'unité. Au lieu de se placer dans le corps des complexes, on aurait pu considérer les racines primitives n-ièmes de l'unité dans n'importe quelle extension (finie ou infinie) du corps des rationnels dans laquelle au moins une telle racine primitive existe. une telle extension contient une copie du corps cyclotomique.

Dans le cas où le corps n'est pas celui des rationnels, alors il est de cardinal fini p et p est un nombre premier. Il correspond à la structure Z/pZ et il est noté Fp. La théorie de Galois assure l'existence d'un plus petit sur-corps de Fp contenant une racine primitive n-ième de l'unité, on l'appelle aussi extension cyclotomique. Une fois encore, tout corps de caractéristique p (c’est-à-dire contenant Fp) et possédant une racine primitive n-ième de l'unité contient une copie de l'extension cyclotomique.

Remarque : Les propriétés associées à la définition sont démontrées à la suite dans cet article.

Premiers polynômes cyclotomiques

Les premiers polynômes cyclotomiques dans le cas des nombres rationnels sont :

\Phi_1(X) = X - 1\,
\Phi_2(X) = X + 1\,
\Phi_3(X) = X^2 + X + 1\,
\Phi_4(X) = X^2 + 1\,
\Phi_5(X) = X^4 + X^3 + X^2 + X + 1\,
\Phi_6(X) = X^2 - X + 1\,
\Phi_7(X) = X^6+X^5+X^4 + X^3 + X^2 + X + 1\,

Contrairement aux apparences, tous les coefficients des polynômes cyclotomiques ne sont pas 1, -1 ou 0 ; le premier polynôme cyclotomique pour lequel un coefficient entier distinct de 0, 1, -1 apparait est Φ105. 105 = 3×5×7 est le premier produit de trois nombres premiers impairs.

En effet :

\begin{array}{ll}\Phi_{105}(X) =& X^{48} + X^{47} + X^{46} - X^{43} - X^{42} - 2X^{41} - X^{40} - X^{39} + X^{36} + X^{35} + X^{34} + X^{33} + X^{32} + X^{31} - X^{28} - X^{26} \\ &- X^{24} - X^{22} - X^{20} + X^{17} + X^{16} + X^{15} + X^{14} + X^{13} + X^{12} - X^9 - X^8 - 2X^7 - X^6 - X^5 + X^2 + X + 1\end{array}

Dans le cas de la caractéristique finie, les polynômes précédents ne sont pas toujours irréductibles. On peut ainsi considérer le corps à deux éléments {0,1} noté F2. Il possède les tables d'opérations suivantes:

 +   0   1 
 0   0  1
 1   1  0
 .   0   1 
 0   0  0
 1   0  1

Le polynôme à coefficient dans Z Φ7(X) a pour image par le morphisme canonique dans F2[X] (qui aux coefficients pairs associe 0 et aux impairs 1) un polynôme qui possède bien les racines septièmes primitives de l'unité, mais ce polynôme n'est pas irréductible, en effet :

Dans \quad \mathbb F_2[X]: \quad X^6+X^5+X^4+X^3+X^2+X+1=(X^3+X^2+1)(X^3+X+1)\;

D'autres exemples sont donnés dans le paragraphe Polynôme irréductible de l'article sur les corps finis.

Page générée en 0.103 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise