Principe local-globalPour le point de vue de la géométrie différentielle sur cette notion, voir l'article Passage du local au global. En mathématiques, et plus particulièrement en théorie algébrique des nombres et en géométrie algébrique, le principe local-global consiste à essayer de reconstituer une information sur un objet global à partir d'informations sur des objets locaux associés (ses localisations en tous les idéaux premiers), censées être plus faciles à obtenir. Ce théorème porte sur les formes quadratiques sur le corps global des nombres rationnels.
Ramification groupIn number theory, more specifically in local class field theory, the ramification groups are a filtration of the Galois group of a local field extension, which gives detailed information on the ramification phenomena of the extension. In mathematics, the ramification theory of valuations studies the set of extensions of a valuation v of a field K to an extension L of K. It is a generalization of the ramification theory of Dedekind domains. The structure of the set of extensions is known better when L/K is Galois.
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 − .
Nombre p-adiquevignette|Les entiers 3-adiques, avec des représentations obtenues par dualité de Pontriaguine. En mathématiques, et plus particulièrement en théorie des nombres, pour un nombre premier fixé, les nombres p-adiques forment une extension particulière du corps des nombres rationnels, découverte par Kurt Hensel en 1897. Le corps commutatif des nombres -adiques peut être construit par complétion de , d'une façon analogue à la construction des nombres réels par les suites de Cauchy, mais pour une valeur absolue moins familière, nommée valeur absolue -adique.
Théorème de densité de TchebotariovEn théorie algébrique des nombres, le théorème de Tchebotariov, dû à Nikolai Tchebotariov et habituellement écrit théorème de Chebotarev, précise le théorème de la progression arithmétique de Dirichlet sur l'infinitude des nombres premiers en progression arithmétique : il affirme que, si a, q ≥ 1 sont deux entiers premiers entre eux, la densité naturelle de l'ensemble des nombres premiers congrus à a modulo q vaut 1/φ(q). Le cadre du théorème de Tchebotariov est le suivant : on considère une extension galoisienne de corps de nombres, de groupe de Galois .
DiscriminantEn mathématiques, le discriminant noté , ou le réalisant noté , est une notion algébrique. Il est utilisé pour résoudre des équations du second degré. Il se généralise pour des polynômes de degré > 0 quelconque et dont les coefficients sont choisis dans des ensembles munis d'une addition et d'une multiplication. Le discriminant apporte dans ce cadre une information sur l'existence ou l'absence de racine multiple. Le discriminant est utilisé dans d'autres domaines que celui de l'étude des polynômes.
Vecteur de WittLes vecteurs de Witt sont des objets mathématiques, généralement décrits comme des suites infinies de nombres (ou plus généralement d'éléments d'un anneau). Ils ont été introduits par Ernst Witt en 1936, afin de décrire les extensions non ramifiées des corps de nombres p-adiques. Ces vecteurs sont dotés d'une structure d'anneau ; on parle donc de l’anneau des vecteurs de Witt. Ils apparaissent aujourd'hui dans plusieurs branches de la géométrie algébrique et arithmétique, en théorie des groupes et en physique théorique.
Théorie de KummerEn mathématiques, la théorie de Kummer, ainsi désignée suivant le nom du mathématicien allemand du Ernst Kummer, à la suite de ses travaux sur le dernier théorème de Fermat, donne une description de certaines extensions d'un corps contenant suffisamment de racines de l'unité. Soit un corps commutatif K contenant les racines n-èmes de l'unité, pour n un nombre entier premier à la caractéristique de K si elle est non nulle. Une extension L/K est de Kummer si le corps L est K-engendré par une racine d'un polynôme Xn-a à coefficients dans K.
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).
K-théorie algébriqueEn mathématiques, la K-théorie algébrique est une branche importante de l'algèbre homologique. Son objet est de définir et d'appliquer une suite de foncteurs K de la catégorie des anneaux dans celle des groupes abéliens. Pour des raisons historiques, K et K sont conçus en des termes un peu différents des K pour n ≥ 2. Ces deux K-groupes sont en effet plus accessibles et ont plus d'applications que ceux d'indices supérieurs. La théorie de ces derniers est bien plus profonde et ils sont beaucoup plus difficiles à calculer, ne serait-ce que pour l'anneau des entiers.
