Théorème 3Cyclotomie et constructions
Irréductibilité des polynômes cyclotomiques sur ℚ
Pour tout , le polynôme cyclotomique est irréductible dans .
Par conséquent, si est une racine primitive n-ième de l'unité dans un corps de caractéristique nulle, est son polynôme minimal sur , et .
Démonstration
Soit un corps de décomposition de sur ; il contient une racine primitive -ième de l'unité (Polynômes cyclotomiques, (iii)). Soit l'une d'elles, et son polynôme minimal sur . Comme (même nœud, (ii)), divise (Polynôme minimal, (i)) : dans , avec unitaire.
Les facteurs sont entiers. Écrivons et , avec primitifs (Lemme de Gauss, (iii)). Alors , où est primitif (même nœud, (ii)), de même que , qui est unitaire ; l'unicité de (iii) donne .
Les coefficients dominants de et de vérifient donc , d'où ; comme est unitaire, et : , puis (Réduction modulo p, (iii)).
Si est premier et ne divise pas , alors . L'élément est d'ordre (Groupes cycliques, (iii)), donc racine de . Supposons ; alors , puisque est intègre.
Ainsi est racine de , et divise dans . Par le lemme de réduction (Réduction modulo p, (iii) puis (i)), divise
Le polynôme est unitaire de degré ; soit l'un de ses facteurs irréductibles dans (Irréductibles, (ii)). Il divise , donc par le lemme d'Euclide (même nœud, (i)).
Alors divise , qui divise , puisque divise dans (Polynômes cyclotomiques, (iv)). C'est impossible, n'ayant pas de facteur carré dans (Réduction modulo p, (ii)).
Toutes les racines primitives sont racines de . L'argument précédent vaut pour toute racine primitive de telle que , puisque , unitaire et irréductible, est alors aussi le polynôme minimal de . Toute racine primitive de s'écrit avec et (Polynômes cyclotomiques, (i)), et est un produit de nombres premiers qui ne divisent pas .
En appliquant l'argument successivement à , , , …, toutes racines primitives, on obtient . Ainsi a au moins racines distinctes, , et , unitaire, divisant , lui est égal.
Conséquence. Si est une racine primitive dans un corps de caractéristique nulle, qui contient (Séparabilité, (iii)), alors (Polynômes cyclotomiques, (ii)), et le polynôme unitaire irréductible est le polynôme minimal de ; son degré est (Polynôme minimal, (ii)).
□Pour premier, l'irréductibilité est due à Gauss (Disquisitiones arithmeticae, 1801, art. 341), et le nœud Eisenstein l'a obtenue par le critère d'Eisenstein. Le cas général a été démontré par Kronecker en 1854 (J. math. pures appl. 19), puis par Dedekind (« Beweis für die Irreductibilität der Kreistheilungs-Gleichungen », J. reine angew. Math. 54, 1857, p. 27-30), dont la preuve par réduction modulo est celle qu'on vient de lire.
La forme ramassée, qui passe par , est attribuée à van der Waerden par S. H. Weintraub (Several proofs of the irreducibility of the cyclotomic polynomials). Landau en a donné une autre preuve très courte (Math. Z. 29, 1929, p. 462), par les restes des divisions de par , qui sont en nombre fini, et une borne sur leurs coefficients.
L'erreur la plus répandue est de croire que l'irréductibilité sur se lit modulo un nombre premier. C'est faux : est irréductible sur , mais réductible modulo tout nombre premier .
Pour , . Pour impair, le groupe est cyclique d'ordre pair (Groupe multiplicatif, (iii)) ; si l'engendre, ses carrés sont les puissances paires de , car une égalité donnerait , et l'ordre pair de diviserait un entier impair (Groupes cycliques, (i)). Le produit de deux non-carrés est donc un carré, et l'un des trois éléments , et est un carré. Selon que , ou , on a respectivement Ainsi, modulo , où , La preuve de Dedekind n'emploie la réduction que pour comparer deux facteurs déjà trouvés sur .