Dualité (mathématiques)thumb|Dual d'un cube : un octaèdre. En mathématiques, le mot dualité a de nombreuses utilisations. Une dualité est définie à l'intérieur d'une famille d'objets mathématiques, c'est-à-dire qu'à tout objet de on associe un autre objet de . On dit que est le dual de et que est le primal de . Si (par = on peut sous-entendre des relations d'isomorphies complexes), on dit que est autodual. Dans de nombreux cas de dualité, le dual du dual est le primal. Ainsi, par exemple, le concept de complémentaire d'un ensemble pourrait être vu comme le premier des concepts de dualité.
Théorie des corps de classes locauxEn mathématiques, la théorie des corps de classes locaux ou théorie du corps de classes local est l'étude en théorie des nombres des extensions abéliennes des corps locaux. Cette théorie peut être considérée comme achevée. Au début du , après les travaux de Teiji Takagi et Emil Artin qui complétèrent la théorie des corps de classes, les résultats locaux se déduisaient des résultats globaux. Actuellement, c'est le point de vue inverse qui est le plus répandu : les résultats locaux sont établis au préalable puis permettent de déduire les correspondances globales.
Helmut HasseHelmut Hasse (1898-1979) est un mathématicien allemand. Il est un des plus grands algébristes allemands de son époque, connu notamment pour ses travaux sur la théorie des nombres. Hasse est le fils du juge Paul Reinhard Hasse et de Margaret Quentin, née à Milwaukee, mais élevée à Kassel. Il est scolarisé à Kassel et à Berlin-Wilmersdorf, après que sa famille ait déménagé à Berlin en 1913.
Discrete valuationIn mathematics, a discrete valuation is an integer valuation on a field K; that is, a function: satisfying the conditions: for all . Note that often the trivial valuation which takes on only the values is explicitly excluded. A field with a non-trivial discrete valuation is called a discrete valuation field. To every field with discrete valuation we can associate the subring of , which is a discrete valuation ring. Conversely, the valuation on a discrete valuation ring can be extended in a unique way to a discrete valuation on the quotient field ; the associated discrete valuation ring is just .
Anneau de valuation discrèteEn mathématiques, plus précisément en algèbre commutative, un anneau de valuation discrète est un anneau de valuation dont la valuation est discrète mais non triviale. Un anneau est de valuation discrète lorsqu'il est principal, qu'il ne possède qu'un idéal maximal, et que cet idéal est non nul. Cette notion est utilisée en théorie algébrique des nombres et en géométrie algébrique ; elle constitue un outil d'étude des anneaux noethériens, en particulier les anneaux de Dedekind.
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.
Complétion (algèbre)En algèbre, une complétion est l'un des foncteurs sur les anneaux et les modules qui produit des anneaux topologiques et modules topologiques complets. La complétion est similaire à la localisation et, ensemble, ce sont des outils de base pour étudier les anneaux commutatifs. Les anneaux commutatifs complets ont une structure plus simple que les anneaux généraux, et on peut y appliquer le lemme de Hensel.
Polynôme minimal (théorie des corps)thumb|Carl Friedrich Gauss utilise des polynômes minimaux appelés cyclotomiques pour déterminer les polygones constructibles à la règle et au compas. En théorie des corps, le polynôme minimal sur un corps commutatif K d'un élément algébrique d'une extension de K, est le polynôme unitaire de degré minimal parmi les polynômes à coefficients dans le corps de base K qui annulent l'élément. Il divise tous ces polynômes. C'est toujours un polynôme irréductible.
Entier algébriqueEn mathématiques, un entier algébrique est un élément d'un corps de nombres qui y joue un rôle analogue à celui d'un entier relatif dans le corps des nombres rationnels. L'étude des entiers algébriques est à la base de l'arithmétique des corps de nombres, et de la généralisation dans ces corps de notions comme celles de nombre premier ou de division euclidienne. Par définition, un entier algébrique est une racine d'un polynôme unitaire à coefficients dans Z.
Fundamental unit (number theory)In algebraic number theory, a fundamental unit is a generator (modulo the roots of unity) for the unit group of the ring of integers of a number field, when that group has rank 1 (i.e. when the unit group modulo its torsion subgroup is infinite cyclic). Dirichlet's unit theorem shows that the unit group has rank 1 exactly when the number field is a real quadratic field, a complex cubic field, or a totally imaginary quartic field. When the unit group has rank ≥ 1, a basis of it modulo its torsion is called a fundamental system of units.
