Dernier théorème de FermatEn mathématiques, et plus précisément en théorie des nombres, le dernier théorème de Fermat, ou grand théorème de Fermat, ou depuis sa démonstration théorème de Fermat-Wiles, s'énonce comme suit : Énoncé par Pierre de Fermat d'une manière similaire dans une note marginale de son exemplaire d'un livre de Diophante, il a cependant attendu plus de trois siècles une preuve publiée et validée, établie par le mathématicien britannique Andrew Wiles en 1994.
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 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.
Théorie algébrique des nombresEn mathématiques, la théorie algébrique des nombres est la branche de la théorie des nombres utilisant des outils issus de l'algèbre. Son origine est l'étude des nombres entiers et particulièrement les équations diophantiennes. Pour en résoudre certaines, il est utile de considérer d'autres entiers, dits algébriques. Un exemple est donné par le théorème des deux carrés de Fermat utilisant les entiers de Gauss. Ces ensembles sont équipés de deux lois — une addition et une multiplication — qui vérifient les mêmes propriétés élémentaires que les entiers relatifs : on parle d'anneaux.
