The Artin reciprocity law, which was established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.
Let be a Galois extension of global fields and stand for the idèle class group
of . One of the statements of the Artin reciprocity law is that there is a canonical isomorphism called the global symbol map
where denotes the abelianization of a group. The map is defined by assembling the maps called the local Artin symbol, the local reciprocity map or the norm residue symbol
for different places of . More precisely, is given by the local maps on the -component of an idèle class. The maps are isomorphisms. This is the content of the local reciprocity law, a main theorem of local class field theory.
A cohomological proof of the global reciprocity law can be achieved by first establishing that
constitutes a class formation in the sense of Artin and Tate. Then one proves that
where denote the Tate cohomology groups. Working out the cohomology groups establishes that is an isomorphism.
Quadratic reciprocity and Eisenstein reciprocity
Artin's reciprocity law implies a description of the abelianization of the absolute Galois group of a global field K which is based on the Hasse local–global principle and the use of the Frobenius elements. Together with the Takagi existence theorem, it is used to describe the abelian extensions of K in terms of the arithmetic of K and to understand the behavior of the nonarchimedean places in them. Therefore, the Artin reciprocity law can be interpreted as one of the main theorems of global class field theory. It can be used to prove that Artin L-functions are meromorphic, and also to prove the Chebotarev density theorem.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Group representation theory studies the actions of groups on vector spaces. This allows the use of linear algebra to study certain group theoretical questions. In this course the groups in question wi
This year's topic is "Adelic Number Theory" or how the language of adeles and ideles and harmonic analysis on the corresponding spaces can be used to revisit classical questions in algebraic number th
This course is an introduction to microwaves and microwave passive circuits. A special attention is given to the introduction of the notion of distributed circuits and to the scattering matrix
Hilbert's ninth problem, from the list of 23 Hilbert's problems (1900), asked to find the most general reciprocity law for the norm residues of k-th order in a general algebraic number field, where k is a power of a prime. The problem was partially solved by Emil Artin by establishing the Artin reciprocity law which deals with abelian extensions of algebraic number fields. Together with the work of Teiji Takagi and Helmut Hasse (who established the more general Hasse reciprocity law), this led to the development of the class field theory, realizing Hilbert's program in an abstract fashion.
In mathematics, a reciprocity law is a generalization of the law of quadratic reciprocity to arbitrary monic irreducible polynomials with integer coefficients. Recall that first reciprocity law, quadratic reciprocity, determines when an irreducible polynomial splits into linear terms when reduced mod . That is, it determines for which prime numbers the relationholds. For a general reciprocity lawpg 3, it is defined as the rule determining which primes the polynomial splits into linear factors, denoted .
In mathematics, an algebraic number field (or simply number field) is an extension field of the field of rational numbers such that the field extension has finite degree (and hence is an algebraic field extension). Thus is a field that contains and has finite dimension when considered as a vector space over . The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory.
We demonstrate a nonlinear plasmonic metasurface that exhibits strongly asymmetric second-harmonic generation: nonlinear scattering is efficient upon excitation in one direction, and it is substantially suppressed when the excitation direction is reversed, ...
We initiate the study of certain families of L-functions attached to characters of subgroups of higher-rank tori, and of their average at the central point. In particular, we evaluate the average of the values L( 2 1 , chi a )L( 21 , chi b ) for arbitrary ...
We prove that the coefficients of a GL3 x GL2 Rankin-Selberg L-function do not correlate with a wide class of trace functions of small conductor modulo primes, generalizing the corresponding result of Fouvry, Kowalski, and Michel for GL2 and of Kowalski, L ...