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.
Loi de réciprocité d'ArtinEn mathématiques, la 'loi de réciprocité d'Artin' est un résultat important de théorie des nombres établi par Emil Artin dans une série d'articles publiés entre 1924 et 1930. Au cœur de la théorie du corps de classe, la réciprocité d'Artin tire son nom d'une parenté avec la réciprocité quadratique introduite par Gauss, et d'autres lois d'expression similaire, la réciprocité d'Eisenstein, de Kummer, ou de Hilbert. Une des motivations initiales derrière ce résultat était le neuvième problème de Hilbert, auquel la réciprocité d'Artin apporte une réponse partielle.
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.
Loi de réciprocité quadratiqueEn mathématiques, en particulier en théorie des nombres, la loi de réciprocité quadratique, établit des liens entre les nombres premiers ; plus précisément, elle décrit la possibilité d'exprimer un nombre premier comme un carré modulo un autre nombre premier. Conjecturée par Euler et reformulée par Legendre, elle a été correctement démontrée pour la première fois par Gauss en 1801.
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.
