Katana VentraIP

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.

For each element of the valuations are zero for almost all places, i.e., for all places except a finite number. So, the global field can be embedded in the restricted product.

The restricted product is a , while the Cartesian product is not. Therefore, there cannot be any application of harmonic analysis to the Cartesian product. This is because local compactness ensures the existence (and uniqueness) of Haar measure, a crucial tool in analysis on groups in general.

locally compact space

Examples[edit]

Ring of adeles for the rational numbers[edit]

The rationals have a valuation for every prime number , with , and one infinite valuation with . Thus an element of

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:

Applications[edit]

Finiteness of the class number of a number field[edit]

In the previous section the fact that the class number of a number field is finite had been used. Here this statement can be proved:

; Fröhlich, Albrecht (1967). Algebraic number theory: proceedings of an instructional conference, organized by the London Mathematical Society, (a NATO Advanced Study Institute). Vol. XVIII. London: Academic Press. ISBN 978-0-12-163251-9. 366 pages.

Cassels, John

(2007). Algebraische Zahlentheorie, unveränd. nachdruck der 1. aufl. edn (in German). Vol. XIII. Berlin: Springer. ISBN 9783540375470. 595 pages.

Neukirch, Jürgen

(1967). Basic number theory. Vol. XVIII. Berlin; Heidelberg; New York: Springer. ISBN 978-3-662-00048-9. 294 pages.

Weil, André

Deitmar, Anton (2010). Automorphe Formen (in German). Vol. VIII. Berlin; Heidelberg (u.a.): Springer.  978-3-642-12389-4. 250 pages.

ISBN

(1994). Algebraic number theory, Graduate Texts in Mathematics 110 (2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-94225-4.

Lang, Serge

What problem do the adeles solve?

Some good books on adeles