Corps de nombresEn 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.
Minimal prime idealIn mathematics, especially in commutative algebra, certain prime ideals called minimal prime ideals play an important role in understanding rings and modules. The notion of height and Krull's principal ideal theorem use minimal primes. A prime ideal P is said to be a minimal prime ideal over an ideal I if it is minimal among all prime ideals containing I. (Note: if I is a prime ideal, then I is the only minimal prime over it.) A prime ideal is said to be a minimal prime ideal if it is a minimal prime ideal over the zero ideal.
Quadratic fieldIn 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.
Décomposition des idéaux premiers dans les extensions galoisiennesEn mathématiques, l'interaction entre le groupe de Galois G d'une extension galoisienne de corps de nombres L/K (ou de corps de nombres p-adiques, ou de corps de fonctions), et la manière dont les idéaux premiers de l'anneau O des entiers se décomposent sous forme de produits d'idéaux premiers de O, est à la base de nombreux développements fructueux en théorie algébrique des nombres. Le cas d'une extension non nécessairement galoisienne est traitée dans l'article « Décomposition des idéaux premiers ».
Nombre premiervignette|Nombres naturels de zéro à cent. Les nombres premiers sont marqués en rouge. vignette|Le nombre 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs. Ces deux diviseurs sont 1 et le nombre considéré, puisque tout nombre a pour diviseurs 1 et lui-même (comme le montre l’égalité n = 1 × n), les nombres premiers étant ceux qui ne possèdent pas d'autre diviseur.
Associated primeIn abstract algebra, an associated prime of a module M over a ring R is a type of prime ideal of R that arises as an annihilator of a (prime) submodule of M. The set of associated primes is usually denoted by and sometimes called the assassin or assassinator of M (word play between the notation and the fact that an associated prime is an annihilator). In commutative algebra, associated primes are linked to the Lasker–Noether primary decomposition of ideals in commutative Noetherian rings.
Problème du nombre de classes pour les corps quadratiques imaginairesEn mathématiques, le problème du nombre de classes de Gauss pour les corps quadratiques imaginaires, au sens usuel, est de fournir pour chaque entier n ≥ 1, la liste complète des corps quadratiques imaginaires dont l'anneau des entiers a un nombre de classes égal à n. C'est une question de calcul effectif. La première démonstration (Hans Heilbronn, 1934) qu'une telle liste est finie ne fournissait pas, même en théorie, un moyen de la calculer (voir Résultats effectifs en théorie des nombres).
Radical d'un idéalEn algèbre commutative, le radical (aussi appelé la racine) d'un idéal I dans un anneau commutatif A est l'ensemble des éléments de A dont une puissance appartient à I. Si A est un anneau principal, I est de la forme aA et son radical est l'idéal engendré par le produit des diviseurs irréductibles de a (chaque irréductible — à produit près par un inversible — n'apparaissant qu'une fois dans ce produit). En particulier dans Z, le radical d'un idéal nZ est l'idéal engendré par le radical de l'entier n.
Corps totalement réelEn mathématiques et en théorie des nombres, un corps de nombres K est dit totalement réel si pour chaque plongement de K dans l'ensemble des nombres complexes, l' se trouve dans l'ensemble des nombres réels. De manière équivalente, K est engendré sur Q par une racine d'un polynôme à coefficients entiers dont toutes les racines sont réelles, ou bien encore le produit tensoriel K⊗R est un produit d'exemplaires de R. La notion de signature d'un corps de nombres permet de mesurer plus précisément à quel point un corps est loin d'être totalement réel.
Fonction zêta de DedekindEn mathématiques, la fonction zêta de Dedekind est une série de Dirichlet définie pour tout corps de nombres K. C'est la fonction de la variable complexe s définie par la somme infinie : prise sur tous les idéaux I non nuls de l'anneau O des entiers de K, où N(I) désigne la norme de I (relative au corps Q des rationnels). Cette norme est égale au cardinal de l'anneau quotient O/I. En particulier, ζ est la fonction zêta de Riemann. Les propriétés de la fonction méromorphe ζ ont une signification considérable en théorie algébrique des nombres.
IdéalEn mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient.
Idéal maximalUn idéal maximal est un concept associé à la théorie des anneaux en mathématiques et plus précisément en algèbre. Un idéal d'un anneau commutatif est dit maximal lorsqu’il est contenu dans exactement deux idéaux, lui-même et l'anneau tout entier. L'existence d'idéaux maximaux est assurée par le théorème de Krull. Cette définition permet de généraliser la notion d’élément irréductible à des anneaux différents de celui des entiers relatifs. Certains de ces anneaux ont un rôle important en théorie algébrique des nombres et en géométrie algébrique.
Idéal (théorie des ordres)En mathématiques, un idéal au sens de la théorie des ordres est un sous-ensemble particulier d'un ensemble ordonné. Bien qu'à l'origine ce terme soit issu de la notion algébrique d'idéal d'un anneau, il a été généralisé en une notion distincte. Les idéaux interviennent dans beaucoup de constructions en théorie des ordres, en particulier des treillis. Un idéal d'un ensemble ordonné (E, ≤) est une partie non vide I de E telle que : I est une section commençante, c'est-à-dire que tout minorant d'un élément de I appartient à I ; I est un ensemble ordonné filtrant, c'est-à-dire que deux éléments quelconques de I possèdent toujours un majorant commun dans I.
Corps localEn mathématiques, un corps local est un corps commutatif topologique localement compact pour une topologie non discrète. Sa topologie est alors définie par une valeur absolue. Les corps locaux interviennent de façon fondamentale en théorie algébrique des nombres. Si k est un corps fini, le corps k((X)) des séries formelles de Laurent à coefficients dans k est un corps local. Tout complété d'un corps de nombres (ou plus généralement un corps global) pour une valuation non triviale est un corps local.
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.
Anneau de Dedekindthumb|Richard Dedekind définit et établit les bases de la théorie des anneaux portant maintenant son nom. En mathématiques, un anneau de Dedekind est un anneau commutatif disposant de propriétés particulières (voir aussi anneau de Dedekind non commutatif). Sa formalisation initiale a pour objectif la description d'un ensemble d'entiers algébriques, ce concept est aussi utilisé en géométrie algébrique. Les anneaux de Dedekind doivent leur origine à la théorie algébrique des nombres.
ZéroZéro est un chiffre et un nombre. Son nom a été emprunté en 1485 à l’italien zero, contraction de zefiro, issu du latin médiéval zephirum, qui représente une transcription de l’arabe ṣĭfr (صفر), le vide (qui en français a également donné chiffre). Le zéro est noté sous forme d’une figure fermée simple : 0. En tant que chiffre, il est utilisé pour et marquer une position vide dans l’écriture des nombres en notation positionnelle. En tant que nombre, zéro est un objet mathématique permettant d’exprimer une absence comme une quantité nulle : c'est le nombre d'éléments de l’ensemble vide.
Logarithmevignette|Tracés des fonctions logarithmes en base 2, e et 10. En mathématiques, le logarithme (de logos : rapport et arithmos : nombre) de base d'un nombre réel strictement positif est la puissance à laquelle il faut élever la base pour obtenir ce nombre. Dans le cas le plus simple, le logarithme compte le nombre d'occurrences du même facteur dans une multiplication répétée : comme 1000 = 10×10×10 = 10, le logarithme en base 10 de 1000 est 3. Le logarithme de en base est noté : . John Napier a développé les logarithmes au début du .
Prolongement analytiqueEn analyse complexe, la théorie du prolongement analytique détaille l'ensemble des propriétés et techniques relatives au prolongement des fonctions holomorphes (ou analytiques). Elle considère d'abord la question du prolongement dans le plan complexe. Puis elle aborde des formes plus générales d'extension qui permettent de prendre en compte les singularités et les complications topologiques qui les accompagnent. La théorie fait alors intervenir soit le concept assez ancien et peu opérant de fonction multiforme, soit le concept plus puissant de surface de Riemann.
Convergence absolueEn mathématiques, une série numérique réelle ou complexe converge absolument si, par définition, la série des valeurs absolues (ou des modules) est convergente. Cette définition peut être étendue aux séries à valeurs dans un espace vectoriel normé et complet, soit un espace de Banach. Dans tous ces contextes, cette condition est suffisante pour assurer la convergence de la série elle-même. Par analogie, l'intégrale d'une fonction à valeurs réelles ou complexes converge absolument si, par définition, l'intégrale de la valeur absolue (ou du module) de la fonction est convergente (fonction dans L1).
