Corps ordonnéEn algèbre générale, un corps ordonné est la donnée d'un corps commutatif (K, +, ×), muni d'une relation d'ordre (notée ≤ dans l'article) compatible avec la structure de corps. Dans tout l'article, on note naturellement ≥ la relation d'ordre réciproque de ≤, et l'on note < et > les relations d'ordre strict respectivement associées à ≤ et ≥. On note par ailleurs 0 l'élément neutre de l'addition et 1 celui de la multiplication. On note le plus souvent xy le produit de deux éléments x et y de K.
Absolute value (algebra)In algebra, an absolute value (also called a valuation, magnitude, or norm, although "norm" usually refers to a specific kind of absolute value on a field) is a function which measures the "size" of elements in a field or integral domain. More precisely, if D is an integral domain, then an absolute value is any mapping |x| from D to the real numbers R satisfying: It follows from these axioms that |1| = 1 and |-1| = 1. Furthermore, for every positive integer n, |n| = |1 + 1 + ... + 1 (n times)| = |−1 − 1 − .
Série entièreEn mathématiques et particulièrement en analyse, une série entière est une série de fonctions de la forme où les coefficients a forment une suite réelle ou complexe. Une explication de ce terme est qu'. Les séries entières possèdent des propriétés de convergence remarquables, qui s'expriment pour la plupart à l'aide de son rayon de convergence R, grandeur associée à la série. Sur le disque de convergence (disque ouvert de centre 0 et de rayon R), la fonction somme de la série peut être dérivée indéfiniment terme à terme.
Analyse p-adiqueL’analyse p-adique est une branche des mathématiques qui traite des fonctions de nombres p-adiques. Ses principales applications concernent la théorie des nombres : elle est utilisée dans l'étude des équations diophantiennes (c'était la motivation de Hensel pour définir les nombres p-adiques) ; l'étude des fonctions spéciales p-adiques (fonctions exponentielle et logarithme, fonctions zêta, gamma) permet de mieux comprendre l'arithmétique cachée dans les valeurs spéciales des fonctions réelles ; l'analyse fonctionnelle p-adique joue un rôle important dans l'étude des représentations de certains .
Extension algébriqueEn mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est-à-dire sont racines d'un polynôme non nul à coefficients dans K. Dans le cas contraire, l'extension est dite transcendante. Cette approche permet dans un premier temps de pallier les insuffisances de certains corps, par exemple celui des nombres réels quant aux solutions des équations polynomiales.
Système de numérationvignette|Table d'équivalence entre le système de numération de Kaktovik (utilisant une base 20) et le système décimal. Un système de numération est un ensemble de règles qui régissent une, voire plusieurs numérations données. De façon plus explicite, c'est un ensemble de règles d'utilisation des signes, des mots ou des gestes permettant d'écrire, d'énoncer ou de mimer les nombres, ces derniers étant nés, sous leur forme écrite, en même temps que l'écriture, de la nécessité d'organiser les récoltes, le commerce et la datation.
P-adic valuationIn number theory, the p-adic valuation or p-adic order of an integer n is the exponent of the highest power of the prime number p that divides n. It is denoted . Equivalently, is the exponent to which appears in the prime factorization of . The p-adic valuation is a valuation and gives rise to an analogue of the usual absolute value. Whereas the completion of the rational numbers with respect to the usual absolute value results in the real numbers , the completion of the rational numbers with respect to the -adic absolute value results in the p-adic numbers .
Groupe profiniEn théorie des groupes, un groupe profini est un groupe topologique obtenu comme limite projective de groupes finis discrets. La notion de groupe profini est particulièrement utile en théorie de Galois, pour pouvoir travailler avec des extensions infinies. Comme plus généralement en théorie des catégories, cette limite projective est uniquement définie à unique isomorphisme près. Elle peut être interprétée comme objet final d'une bonne catégorie.
Parité (arithmétique)En arithmétique modulaire, étudier la parité d'un entier, c'est déterminer si cet entier est ou non un multiple de deux. Un entier multiple de deux est un entier pair, les autres sont les entiers impairs. L'opposition pair/impair apparaît chez Épicharme (vers 490 av. J.-C.) : (Diogène Laërce, III, 11). Chez les pythagoriciens, la notion de limité est positive comme celle d'illimité négative, et le nombre impair est masculin, limité, positif, tandis que le nombre pair est féminin, illimité, négatif.
Corps globalEn 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.
