Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Loi de réciprocité d'Artin
Résumé
En 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. Aujourd'hui la réciprocité d'Artin est plutôt perçue comme l'un des points de départ conceptuels du programme de Langlands.
Concrètement, la loi de réciprocité d'Artin donne un isomorphisme de l'abélianisé du groupe de Galois d'un corps global. Associé au théorème de Takagi, il permet donc de décrire les extensions abéliennes du corps considéré à partir de l'arithmétique dans ce corps.
Le théorème de densité de Čebotarev, et le caractère méromorphe des L-fonctions d'Artin sont des conséquences de la réciprocité d'Artin.
On se place ici dans le cas où est un corps global et une extension abélienne finie de . Soit un élément premier de , alors les groupes de décomposition au dessus de sont égaux dans , puisque ce dernier est abélien. Si est non ramifié dans , et si on note un premier au-dessus de , alors le groupe de décomposition est isomorphe au groupe de Galois de l'extension de corps résiduels. Cet isomorphisme est en fait canonique, et il existe donc un élément de Frobenius dans le groupe de Galois, qui est notépour rappeler la notation du symbole de Jacobi, et appelé « symbole d'Artin ». On étend cette notation par linéarité à tous les idéaux fractionnaires :La loi de réciprocité d'Artin établit qu'il existe un isomorphisme, donné par l'application définie par ce symbole, entre un quotient du groupe des idéaux fractionnaires et le groupe de Galois .
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.