Contre-exempleEn logique, en rhétorique et en mathématiques, un contre-exemple est un exemple, un cas particulier ou un résultat général, qui contredit les premières impressions. Un contre-exemple peut aussi être donné pour rejeter une conjecture, c'est-à-dire un énoncé que les gens (et en particulier les mathématiciens) pensaient vrai. Exemple: Toute notre vie on voit des cygnes blancs. On fait donc l'inférence que tous les cygnes sont blancs, jusqu'à ce qu'un événement change notre perception du réel.
Conjecture abcvignette|Joseph Oesterlé, mathématicien français vignette|David Masser, mathématicien anglais La conjecture abc ou conjecture d'Oesterlé-Masser est une conjecture en théorie des nombres. Elle a été formulée pour la première fois par Joseph Oesterlé (1988) et David Masser (1985). Elle est formulée en termes de trois nombres entiers positifs, a, b et c (d'où son nom), qui n'ont aucun facteur commun et satisfont à . Si d est le produit des facteurs premiers distincts de abc, alors la conjecture affirme à peu près que d ne peut pas être beaucoup plus petit que c.
Gorō ShimuraGorō Shimura (japonais : 志村 五郎 Shimura Gorō), né le à Hamamatsu et mort le , est un mathématicien japonais naturalisé américain. Il termine comme professeur émérite de mathématiques (l'ancienne chaire Michael Henry Strater Chair) à l'université de Princeton. Il est connu d'un plus large public par la conjecture de Shimura-Taniyama-Weil, qui est reliée au dernier théorème de Fermat et qui a été démontrée par Andrew Wiles, après onze ans de travaux, en 1995. It is published from Iwanami Shoten in Japan.
Théorème des deux carrés de Fermatthumb|Pierre de Fermat (1601-1665). En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique.
Kurt HenselKurt Hensel (né le à Königsberg, province de Prusse et mort le à Marbourg, Allemagne) est un mathématicien allemand. Il est le petit-fils de la compositrice Fanny Mendelssohn, et donc le petit-neveu de Felix Mendelssohn et, par alliance, du mathématicien Johann Peter Gustav Lejeune Dirichlet qui a épousé Rebecka Mendelssohn. Hensel effectue des études universitaires à Berlin et Bonn et fait une thèse sous la direction de Leopold Kronecker à l'université Frédéric-Guillaume. Il soutient sa thèse en 1884 et son habilitation en 1886.
Équation de Fermat généraliséeEn arithmétique, l'équation de Fermat généralisée est l'équationoù sont des entiers non nuls, sont des entiers non nuls premiers entre eux et sont entiers. Comme son nom le laisse transparaître, cette équation généralise l'équation dont le fameux dernier théorème de Fermat établit l'impossibilité quand . À l'instar de celui-ci avant sa résolution, son principal intérêt réside aujourd'hui dans la stimulation du développement des nouveaux outils mathématiques nécessaires à son appréhension.
Sophie GermainSophie Germain (1776-1831) est une mathématicienne, physicienne et philosophe française. Pour pouvoir se faire connaitre dans le monde des mathématiques, alors réservées aux hommes, elle utilisa un nom d’emprunt de 1794 à 1807 : Antoine Auguste Le Blanc. C'est sous ce nom qu'elle correspond tout d'abord avec les mathématiciens Carl Friedrich Gauss et Adrien-Marie Legendre, avant d'être reconnue en tant que femme et mathématicienne de premier plan dans le monde académique, bien qu'elle ait appris les mathématiques entièrement en autodidacte, à force de travail et d'obstination.
Point rationnelEn théorie des nombres et géométrie algébrique, les points rationnels d'une variété algébrique définie sur un corps sont, lorsque X est définie par un système d'équations polynomiales, les solutions dans k de ce système. Soit une variété algébrique définie sur un corps . Un point est appelé un point rationnel si le corps résiduel de X en x est égal à . Cela revient à dire que les coordonnées du point dans une carte locale affine appartiennent toutes à .
Extension cyclotomiqueEn théorie algébrique des nombres, on appelle extension cyclotomique du corps Q des nombres rationnels tout corps de rupture d'un polynôme cyclotomique, c'est-à-dire tout corps de la forme Q(ζ) où ζ est une racine de l'unité. Ces corps jouent un rôle crucial, d'une part dans la compréhension de certaines équations diophantiennes : par exemple, l'arithmétique (groupe des classes, notamment) de leur anneau des entiers permet de montrer le dernier théorème de Fermat dans de nombreux cas (voir nombre premier régulier) ; mais aussi, dans la compréhension des extensions algébriques de Q, ce qui peut être considéré comme une version abstraite du problème précédent : le théorème de Kronecker-Weber, par exemple, assure que toute extension abélienne est contenue dans une extension cyclotomique.
Nombre premier régulierEn mathématiques, un nombre premier p > 2 est dit régulier si une certaine propriété liée aux racines du polynôme X – 1 est vérifiée. Cette notion a été introduite par Ernst Kummer en 1847, en vue de démontrer le « dernier théorème de Fermat », dans un article intitulé . Un nombre premier impair p est dit régulier s'il ne divise pas le nombre de classes du corps cyclotomique Q(ζp), où ζp est une racine primitive p-ième de l'unité.
Méthode de descente infinieLa méthode de descente infinie est un argument mathématique voisin du raisonnement par récurrence, mais aussi du raisonnement par l'absurde, qui utilise le fait qu'une suite d'entiers naturels strictement décroissante est nécessairement finie. Cette méthode repose sur l'une des propriétés des entiers naturels : « tout ensemble non vide d'entiers naturels possède un plus petit élément. » Soit P(n) une propriété faisant intervenir un entier naturel n. On cherche à démontrer que P(n) est fausse pour tout n.
Théorie d'IwasawaLa théorie d'Iwasawa peut être vue comme une tentative d'étendre les résultats arithmétiques classiques sur les corps de nombres (extensions finies du corps des rationnels) à des extensions infinies de , par des procédés de passage à la limite des extensions finies vers les extensions infinies. Les objets de base de la théorie d'Iwasawa sont les -extensions ; c'est-à-dire des extensions galoisiennes dont le groupe de Galois est le groupe profini , pour un nombre premier fixé.
Vecteur de WittLes vecteurs de Witt sont des objets mathématiques, généralement décrits comme des suites infinies de nombres (ou plus généralement d'éléments d'un anneau). Ils ont été introduits par Ernst Witt en 1936, afin de décrire les extensions non ramifiées des corps de nombres p-adiques. Ces vecteurs sont dotés d'une structure d'anneau ; on parle donc de l’anneau des vecteurs de Witt. Ils apparaissent aujourd'hui dans plusieurs branches de la géométrie algébrique et arithmétique, en théorie des groupes et en physique théorique.
Pierre de FermatPierre de Fermat, né dans la première décennie du , à Beaumont-de-Lomagne (département actuel de Tarn-et-Garonne), près de Montauban, et mort le à Castres (département actuel du Tarn), est un magistrat, polymathe et surtout mathématicien français, surnommé « le prince des amateurs ». Il est aussi poète, habile latiniste et helléniste, et s'est intéressé aux sciences et en particulier à la physique ; on lui doit notamment le principe de Fermat en optique.
Richard DedekindJulius Wilhelm Richard Dedekind (né le à Brunswick et mort le dans la même ville) est un mathématicien allemand et un proche disciple de Ernst Kummer en arithmétique. Pionnier de l'axiomatisation de l'arithmétique, il a proposé une définition axiomatique de l'ensemble des nombres entiers ainsi qu’une construction rigoureuse des nombres réels à partir des nombres rationnels (méthode des « coupures » de Dedekind).
Théorème de Faltingsvignette|Gerd Faltings. En théorie des nombres, le théorème de Faltings, précédemment connu sous le nom de conjecture de Mordell donne des résultats sur le nombre de solutions d'une équation diophantienne. Il a été conjecturé par le mathématicien anglais Louis Mordell en 1922 et démontré par Gerd Faltings en 1983, soit environ soixante ans après que la conjecture fut posée. Soit l'équation définie de la manière suivante : avec P un polynôme à coefficients rationnels.
Ideal numberIn number theory an ideal number is an algebraic integer which represents an ideal in the ring of integers of a number field; the idea was developed by Ernst Kummer, and led to Richard Dedekind's definition of ideals for rings. An ideal in the ring of integers of an algebraic number field is principal if it consists of multiples of a single element of the ring, and nonprincipal otherwise. By the principal ideal theorem any nonprincipal ideal becomes principal when extended to an ideal of the Hilbert class field.
Théorème de modularitéLe théorème de modularité (auparavant appelé conjecture de Taniyama-Weil ou conjecture de Shimura-Taniyama-Weil ou conjecture de Shimura-Taniyama) énonce que, pour toute courbe elliptique sur Q, il existe une forme modulaire de poids 2 pour un Γ(N), ayant même fonction L que la courbe elliptique. Une grande partie de ce résultat, suffisante pour en déduire le dernier théorème de Fermat, a été démontrée par Andrew Wiles. S'inspirant de ses techniques, Christophe Breuil, Brian Conrad, Fred Diamond et Richard Taylor ont traité les cas restants en 1999.
Géométrie arithmétiquevignette|Exemples de figures géométriques: un cône et un cylindre. La géométrie arithmétique est une branche de la théorie des nombres, qui utilise des outils de géométrie algébrique pour s'attaquer à des problèmes arithmétiques. Quelques exemples de questions qui peuvent se poser : Si on sait trouver des racines d'une équation polynomiale dans toutes les complétions d'un corps de nombres, peut-on en déduire que cette équation a des racines sur ce corps ? On sait répondre à la question dans certains cas, on sait que la réponse est non dans d'autres cas, mais on pense (c'est une conjecture) connaître l'obstruction et donc savoir reconnaître quand cela fonctionne.
Claude-Gaspard Bachet de MéziriacClaude-Gaspard Bachet dit de Méziriac ( à Bourg-en-Bresse, États de Savoie - à Bourg-en-Bresse, France) est un mathématicien, poète et traducteur français. Nourri d'hébreu, de grec, de latin, d'italien et d'espagnol, Bachet fut membre, pendant un an, en 1601, de l'ordre des Jésuites. Il enseigna au collège jésuite de Milan avant de renoncer à prononcer ses vœux et de se consacrer à la traduction de poètes latins et de mathématiciens grecs.
