Groupe des classes d'idéauxEn 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.
Hypothèse de RiemannEn mathématiques, l'hypothèse de Riemann est une conjecture formulée en 1859 par le mathématicien allemand Bernhard Riemann, selon laquelle les zéros non triviaux de la fonction zêta de Riemann ont tous une partie réelle égale à 1/2. Sa démonstration améliorerait la connaissance de la répartition des nombres premiers et ouvrirait des nouveaux domaines aux mathématiques. Cette conjecture constitue l'un des problèmes non résolus les plus importants des mathématiques du début du : elle est l'un des vingt-trois fameux problèmes de Hilbert proposés en 1900, l'un des sept problèmes du prix du millénaire et l'un des dix-huit problèmes de Smale.
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.
Ramification (mathématiques)En mathématiques, la ramification est un terme géométrique utilisé au sens de embranchement extérieur, à la façon dont la fonction racine carrée, pour les nombres complexes, peut être vue lorsqu'on considère ses deux branches opposées. Il est aussi utilisé d'une perspective opposée (branches arrivant ensemble) comme lorsqu'un revêtement dégénère en un point de la base, avec effondrement en ce point des fibres de l'application. point de branchement En analyse complexe, le modèle de base peut être pris comme l'application dans le plan complexe, proche de z = 0.
Représentation galoisienneLa 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.
Norme (théorie des corps)En théorie des corps (commutatifs), la norme d'un élément α d'une extension finie L d'un corps K est le déterminant de l'endomorphisme linéaire du K-espace vectoriel L qui, à x, associe αx. C'est un homomorphisme multiplicatif. La notion est utilisée en théorie de Galois et en théorie algébrique des nombres. En arithmétique, elle intervient de façon cruciale dans la théorie des corps de classes : les sous-extensions abéliennes d'une extension donnée sont essentiellement en correspondance avec des groupes de normes, c'est-à-dire l'image dans K, par la norme, de certains groupes de L.
Conducteur (théorie du corps de classes)En théorie algébrique des nombres, le conducteur d'une extension abélienne finie de corps locaux ou globaux fournit une mesure quantitative de la ramification dans l'extension. La définition du conducteur est liée à la réciprocité d'Artin. Soit L/K une extension abélienne finie de corps locaux non-archimédiens. Le conducteur de L/K, noté , est le plus petit entier non négatif n tel que le groupe unitaire supérieur est contenu dans NL/K(L×), où NL/K est la norme et est l'idéal maximal de K.
Borne de MinkowskiEn théorie algébrique des nombres, la borne de Minkowski donne un majorant de la norme des idéaux à considérer pour déterminer le nombre de classes d'un corps de nombres K. Il porte le nom du mathématicien Hermann Minkowski. Soit D le discriminant de K, n son degré sur , et le nombre de plongements complexes où est le nombre de plongements réels. Alors chaque classe du groupe des classes d'idéaux de K contient un idéal de O dont la norme est inférieure ou égale à la borne de Minkowski La constante de Minkowski pour le corps K est cette borne MK.
Tour de corpsEn mathématiques, une tour de corps est une suite d'extensions de corps Le nom de tour vient du fait qu'une telle suite est souvent écrite sous la forme Une tour de corps peut aussi bien être finie qu'infinie. est une tour de corps finie composée des corps de nombres rationnels, réels puis complexes. Soit la suite définie par F0 = le corps Q des rationnels et (i.e. Fn+1 est obtenu à partir de Fn en ajoutant la racine 2n-ième de 2). Cette tour de corps est infinie.
