Concept
Théorie d'Iwasawa
Concepts associés (13)
Dernier théorème de Fermat
En 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.
Corps de nombres
En mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.
Extension cyclotomique
En 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.
Représentation galoisienne
La théorie des représentations galoisiennes est l'application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple des groupes d'unités, des groupes des classes, ou des groupes de Galois eux-mêmes. En théorie algébrique des nombres classique, soit L une extension galoisienne d'un corps de nombres K, et soit G le groupe de Galois correspondant.
Nombre premier régulier
En 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é.
Groupe des classes d'idéaux
En mathématiques, et plus précisément en algèbre, la théorie des corps de nombres – les extensions finies du corps Q des rationnels – fait apparaître un groupe abélien fini construit à partir de chacun de ces corps : son groupe des classes d'idéaux. Les premiers groupes de classes rencontrés en algèbre furent des groupes de classes de formes quadratiques : dans le cas des formes quadratiques binaires, dont l'étude a été faite par Gauss, une loi de composition est définie sur certaines classes d'équivalence de formes.
Corps global
En mathématiques, un corps global est un corps d'un des types suivants : un corps de nombres, c'est-à-dire une extension finie de Q un corps de fonctions d'une courbe algébrique sur un corps fini, c'est-à-dire une extension finie du corps k(t) des fractions rationnelles à une variable à coefficients dans un corps fini k (de façon équivalente, c'est un corps de type fini et de degré de transcendance 1 sur un corps fini). Emil Artin et George Whaples ont donné une caractérisation axiomatique de ces corps via la théorie des valuations.
Andrew Wiles
vignette|Andrew Wiles devant la statue de Pierre de Fermat à Beaumont-de-Lomagne (1995). Andrew John Wiles (né le à Cambridge, Angleterre) est un mathématicien britannique, professeur à l'université d'Oxford, en Angleterre. Il est célèbre pour avoir démontré le grand théorème de Fermat (1994). Il est lauréat du prix Abel 2016. Après avoir obtenu son diplôme de bachelor au Merton College de l'université d'Oxford, il entre au Clare College en 1974 pour y préparer un Ph.D.
Ernst Kummer
Ernst Eduard Kummer (1810-1893) est un mathématicien allemand. À l'âge de 3 ans, Kummer perd son père, un médecin. Il fait des études à l'université de Halle, d'abord en théologie puis en mathématiques. Il devient docteur en mathématique en 1831. Il enseigne pendant 10 ans au lycée de Liegnitz, où il a Leopold Kronecker et Ferdinand Joachimsthal comme élèves. Nommé en 1840 professeur à l'université de Breslau grâce à l'appui de Jacobi et de Dirichlet, il reprend la chaire de ce dernier à l'université de Berlin en 1855.
Variété abélienne
En mathématiques, et en particulier, en géométrie algébrique et géométrie complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de est l'équivalent de la compacité pour les variétés différentielles ou analytiques, et donne une certaine rigidité à la structure. C'est un objet central en géométrie arithmétique. Une variété abélienne sur un corps k est un groupe algébrique A sur k, dont la variété algébrique sous-jacente est projective, connexe et géométriquement réduite.