- Nombre premier regulier
-
Nombre premier régulier
En mathématiques, un nombre premier impair est dit régulier si une certaine propriété liée aux racines du polynôme xp-1 est vérifiée. Cette notion a été introduite par Ernst Kummer, pour une preuve du grand théorème de Fermat en 1847[1], dans un article intitulé Beweis des Fermat'schen Satzes der Unmöglichkeit von xl+yl=zl für eine unendliche Anzahl Primzahlen l'.
Plusieurs formulations équivalentes sont possibles pour définir la régularité d'un nombre premier. L'une d'entre elles est que le nombre premier p ne doit pas être un diviseur du nombre de classes (c'est-à-dire du cardinal du groupe des classes) du corps cyclotomique , où ζp est une racine primitive p-ème de l'unité. Une manière de tester l'irrégularité en pratique est donnée par la caractérisation suivante : le nombre premier p est régulier si et seulement s'il ne divise le numérateur d'aucun des nombres de Bernoulli Bk, pour k prenant les valeurs paires entre 2 et p-3.
Les plus petits nombres premiers irréguliers sont 37, 59, 67, 101. Il est connu qu'il existe une infinité de nombres premiers irréguliers, mais l'existence d'une infinité de nombres premiers réguliers reste une question ouverte.
Le travail de Kummer permet précisément de montrer l'assertion suivante : si p est un nombre premier régulier, l'équation xp+yp=zp n'a pas de solutions pour x, y et z entiers relatifs tous non divisibles par p. Le point central de l'argument, développé en termes modernes, est qu'une telle identité se factorise en :
dans le corps . Cette égalité peut alors être interprétée comme une égalité entre le produit des idéaux et l'idéal (z) élevé à la puissance p. Il peut être montré que les idéaux sont premiers entre eux, la théorie de la décomposition des idéaux premiers, et celle des anneaux de Dedekind permet d'assurer que chacun est la puissance p-ème d'un certain autre idéal Ai ; l'idéal Aip est principal, l'hypothèse que le nombre p est régulier (il n'est pas diviseur du nombre de classes de ), montre alors que l'idéal Ai lui-même est principal, ce qui fournit une égalité de la forme , pour une certaine unité ε. Quelques calculs permettent d'aboutir à une contradiction.
Notes et références
- ↑ (en) Lawrence C. Washington, Introduction to cyclotomic fields [détail des éditions], notes du chapitre 1.
Bibliographie
- (en) Lawrence C. Washington, Introduction to cyclotomic fields [détail des éditions]
- Portail des mathématiques
Catégories : Corps cyclotomiques | Nombre premier
Wikimedia Foundation. 2010.