Ivan Shishkin, Birch Grove

polynôme cyclotomique

Definition / Other / Stub

Showing the Français version because no English translation exists yet. Add that translation.

Français
This article is a stub
Stub. This concept is still a minimal draft.
Définition

Soit n1n\geqslant 1. Le nn-ième polynôme cyclotomique est
Φn(X)=1knpgcd(k,n)=1(Xe2iπk/n).\Phi_n(X)=\prod_{\substack{1\leqslant k\leqslant n\\ \mathrm{pgcd}(k,n)=1}}\bigl(X-\mathrm{e}^{2\mathrm{i}\pi k/n}\bigr).

Trois propriétés fondamentales :

(factorisation)Xn1=dnΦd(X);\textbf{(factorisation)}\qquad X^{n}-1=\prod_{d\mid n}\Phi_d(X);(inteˊgraliteˊ)ΦnZ[X];\textbf{(intégralité)}\qquad \Phi_n\in\mathbb{Z}[X];(irreˊductibiliteˊ)Φn est irreˊductible sur Q.\textbf{(irréductibilité)}\qquad \Phi_n \text{ est irréductible sur } \mathbb{Q}.

Preuve de la factorisation. Chaque racines nn-ième de l’unité a un ordre dd divisant nn, et elle est alors racine primitive dd-ième ; réciproquement toute racine primitive dd-ième avec dnd\mid n est racine nn-ième. Le regroupement des nn racines simples de Xn1X^{n}-1 selon leur ordre donne l’identité. \square

Preuve de l’intégralité. Par récurrence forte sur nn. Pour n=1n=1, Φ1=X1\Phi_1=X-1. Si ΦdZ[X]\Phi_d\in\mathbb{Z}[X] pour tout d<nd<n divisant nn, posons Q=dn, d<nΦdQ=\prod_{d\mid n,\ d<n}\Phi_d, unitaire à coefficients entiers. La division euclidienne de Xn1X^{n}-1 par QQ dans Z[X]\mathbb{Z}[X] est licite car QQ est unitaire, et son quotient coïncide avec celui obtenu dans C[X]\mathbb{C}[X], à savoir Φn\Phi_n, par unicité de la division. \square

Irréductibilité (Gauss). Soit ζ\zeta une racine primitive nn-ième et ff son polynôme minimal sur Q\mathbb{Q}, unitaire dans Z[X]\mathbb{Z}[X] et divisant Φn\Phi_n. On montre que ζp\zeta^{p} est encore racine de ff pour tout premier pnp\nmid n : sinon ζp\zeta^{p} annulerait le cofacteur g=Φn/fg=\Phi_n/f, donc ζ\zeta annulerait g(Xp)g(X^{p}), d’où fg(Xp)f\mid g(X^{p}) ; en réduisant modulo pp et en utilisant g(Xp)=g(X)p\overline{g}(X^{p})=\overline{g}(X)^{p}, on obtient que f\overline{f} et g\overline{g} ont un facteur commun, donc Xn1X^{n}-\overline{1} aurait une racine multiple dans Fp\overline{\mathbb{F}_p} — impossible puisque pnp\nmid n rend sa dérivée nXn1nX^{n-1} première avec lui. En itérant, ζk\zeta^{k} est racine de ff pour tout kk premier à nn, donc degfφ(n)\deg f\geqslant\varphi(n) et f=Φnf=\Phi_n. \square

Exemples
  1. Les premiers polynômes : Φ1=X1\Phi_1=X-1, Φ2=X+1\Phi_2=X+1, Φ3=X2+X+1\Phi_3=X^{2}+X+1, Φ4=X2+1\Phi_4=X^{2}+1, Φ5=X4+X3+X2+X+1\Phi_5=X^{4}+X^{3}+X^{2}+X+1, Φ6=X2X+1\Phi_6=X^{2}-X+1, Φ8=X4+1\Phi_8=X^{4}+1, Φ12=X4X2+1\Phi_{12}=X^{4}-X^{2}+1.
  2. Cas premier. Φp(X)=Xp1X1=1+X++Xp1\Phi_p(X)=\dfrac{X^{p}-1}{X-1}=1+X+\cdots+X^{p-1}. Son irréductibilité se voit directement par le critère d’Eisenstein appliqué à Φp(X+1)\Phi_p(X+1), dont tous les coefficients non dominants sont divisibles par pp.
Problems using this concept (2)
Problems using this concept (spoiler) (0)

No listed problems use this concept as a spoiler yet.