Adele ring
In mathematics, the adele ring of a global field (also adelic ring, ring of adeles or ring of adèles[1]) is a central object of class field theory, a branch of algebraic number theory. It is the restricted product of all the completions of the global field and is an example of a self-dual topological ring.
This section is about the concept in mathematics. For the singer, see Adele.
An adele derives from a particular kind of idele. "Idele" derives from the French "idèle" and was coined by the French mathematician Claude Chevalley. The word stands for 'ideal element' (abbreviated: id.el.). Adele (French: "adèle") stands for 'additive idele' (that is, additive ideal element).
The ring of adeles allows one to describe the Artin reciprocity law, which is a generalisation of quadratic reciprocity, and other reciprocity laws over finite fields. In addition, it is a classical theorem from Weil that -bundles on an algebraic curve over a finite field can be described in terms of adeles for a reductive group . Adeles are also connected with the adelic algebraic groups and adelic curves.
The study of geometry of numbers over the ring of adeles of a number field is called adelic geometry.
Applications[edit]
Stating Artin reciprocity[edit]
The Artin reciprocity law says that for a global field ,
Notation and basic definitions[edit]
Global fields[edit]
Throughout this article, is a global field, meaning it is either a number field (a finite extension of ) or a global function field (a finite extension of for prime and ). By definition a finite extension of a global field is itself a global field.
Valuations[edit]
For a valuation of it can be written for the completion of with respect to If is discrete it can be written for the valuation ring of and for the maximal ideal of If this is a principal ideal denoting the uniformising element by A non-Archimedean valuation is written as or and an Archimedean valuation as Then assume all valuations to be non-trivial.
There is a one-to-one identification of valuations and absolute values. Fix a constant the valuation is assigned the absolute value defined as: