Concept
Borne de Minkowski
Concepts associés (5)
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.
Corps de classes de Hilbert
En théorie algébrique des nombres, le corps de Hilbert H(K) d'un corps de nombres algébriques K est l'extension abélienne non ramifiée maximale de ce corps de nombres. Cet objet doit son nom au mathématicien allemand David Hilbert. Son étude est à la fois une étape importante, et un archétype, pour la théorie des corps de classes : via l'isomorphisme de réciprocité (symbole d'Artin) de la correspondance du corps de classes, le groupe de Galois Gal(H(K)/K) est isomorphe au groupe des classes du corps K.
Discriminant d'un corps de nombres
droite|vignette|upright=1.6|Un domaine fondamental de l'anneau des entiers du corps K obtenu à partir de en adjoignant une racine de . Ce domaine fondamental se trouve à l'intérieur de . Le discriminant de K est 49 = 7. En conséquence, le volume du domaine fondamental est 7 et K n'est ramifié qu'en 7. En mathématiques, le discriminant d'un corps de nombres est un invariant numérique qui, moralement, mesure la taille de l'anneau des entiers de ce corps de nombres.
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.
Quadratic field
In algebraic number theory, a quadratic field is an algebraic number field of degree two over , the rational numbers. Every such quadratic field is some where is a (uniquely defined) square-free integer different from and . If , the corresponding quadratic field is called a real quadratic field, and, if , it is called an imaginary quadratic field or a complex quadratic field, corresponding to whether or not it is a subfield of the field of the real numbers.