In Valuations and Completions we introduced the -adic numbers , which, like the real numbers, are the **completion** of the rational numbers under a certain kind of **valuation**. There is one such valuation for each prime number , and another for the “infinite prime”, which is just the usual absolute value. Each valuation may be thought of as encoding number theoretic information related to the prime , or to the “infinite prime”, for the case of the absolute value (more technically, the -adic valuations are referred to as **nonarchimedean** valuations, while the absolute value is an example of an **archimedean** valuation).

We can consider valuations not only for the rational numbers, but for more general algebraic number fields as well. In its abstract form, given an algebraic number field , a (**multiplicative**) **valuation** of is simply any function from to satisfying the following properties:

(i) , where if and only if

(ii)

(iii)

If this seems reminiscent of the discussion in Metric, Norm, and Inner Product, it is because a valuation does, in fact, define a metric on , and by extension, a topology. Two valuations are equivalent if they define the same topology; another way to phrase this statement is that two valuations and are equivalent if for some positive real number , for all . The valuation is **nonarchimedean** if ; otherwise, it is **archimedean**.

Just as in the case of rational numbers, we also have an **exponential valuation**, defined as a function from the field to satisfying the following conditions:

(i) if and only if

(ii)

(iii)

Two exponential valuations and are equivalent if for some real number , for all .

The idea of valuations allows us to make certain concepts in algebraic number theory (see Algebraic Numbers) more abstract. We define a **place** of an algebraic number field as an equivalence class of valuations of . We write to denote the completion of under the place ; these are the generalizations of the -adic numbers and real numbers to algebraic number fields other than . The nonarchimedean places are also called the **finite places**, while the archimedean places are also called the **infinite places**. To express whether a place is a finite place or an infinite place, we write or respectively.

The infinite places are of two kinds; the ones for which is isomorphic to are called the **real places**, while the ones for which is isomorphic to are called the **complex places**. The number of real places and complex places of , denoted by and respectively, satisfy the equation , where is the degree of over , i.e. .

By the way, in some of the literature, such as in the book Algebraic Number Theory by Jurgen Neukirch, “places” are also referred to as “**primes**“. This is intentional – one may actually think of our definition of places as being like a more abstract replacement of the definition of primes. This is quite advantageous in driving home the concept of primes as equivalence classes of valuations; however, to avoid confusion, we will stick to using the term “places” here, along with its corresponding notation.

When is a nonarchimedean valuation, we let denote the set of all elements of for which . It is an example of a ring with special properties called a** valuation ring**. This means that, for any in , either or must be in . We let denote the set of all elements of for which , and we let denote the set of all elements of for which . It is the unique maximal ideal of .

Now we proceed to consider the modern point of view in algebraic number theory, which is to consider all these equivalence classes of valuations together. This will lead us to the language of **adeles** and **ideles**.

An **adele** of is a family of elements of where , and for all but finitely many . We can define addition and multiplication componentwise on adeles, and the resulting **ring of adeles** is then denoted . The group of units of the ring of adeles is called the **group of ideles**, denoted . For a finite set of primes that includes the infinite primes, we let

and

.

We denote the set of infinite primes by . Then , the ring of integers of the number field , is given by , while , the group of units of , is given by .

Any element of is also an element of , and any element of (the group of units of ) is also an element of . The elements of which are also elements of are called the **principal ideles**. This should not be confused with the concept of principal ideals; however the terminology is perhaps suggestive on purpose. In fact, ideles and **fractional ideals** are related. Any fractional ideal can be expressed in the form

.

Therefore, we have a mapping

from the group of ideles to the group of fractional ideals. This mapping is surjective, and its kernel is .

The quotient group is called the **idele class group** of , and is denoted by . Again, this is not to be confused with the ideal class group we discussed in Algebraic Numbers, although the two are related; in the language of ideles, the **ideal class group** is defined as , and is denoted by . There is a surjective homomorphism induced by the surjective homomorphism from the group of ideles to the group of fractional ideals that we have described in the preceding paragraph.

An important aspect of the concept of adeles and ideles is that they can be equipped with topologies (see Basics of Topology and Continuous Functions). For the adeles, this topology is generated by the neighborhoods of in under the product topology. For the ideles, this topology is defined by the condition that the mapping from into be a homeomorphism onto its image. Both topologies are **locally compact**, which means that every element has a neighborhood which is compact, i.e. every open cover of that neighborhood has a finite subcover. For the group of ideles, its topology is compatible with its group structure, which makes it into a **locally compact topological group**.

In this post, we have therefore seen how the theory of valuations can allow us to consider a more abstract viewpoint for algebraic number theory, and how considering all the valuations together to form adeles and ideles allows us to rephrase the usual concepts related to algebraic number fields, such as the ring of integers, its group of units, and the ideal class group, in a new form. In addition, the topologies on the adeles and ideles can be used to obtain new results; for instance, because the group of ideles is a locally compact topological (abelian) group, we can use the methods of **harmonic analysis** (see Some Basics of Fourier Analysis) to study it. This is the content of the famous thesis of the mathematician John Tate. Another direction where the concept of adeles and ideles can take us is **class field theory**, which relates the idele class group to the other important group in algebraic number theory, the **Galois group** (see Galois Groups). The language of adeles and ideles can also be applied not only to algebraic number fields but also to function fields of curves over finite fields. Together these fields are also known as **global fields**.

References:

Class Field Theory on Wikipedia

Algebraic Number Theory by Jurgen Neukirch

Algebraic Number Theory by J. W. S. Cassels and A. Frohlich

A Panorama of Pure Mathematics by Jean Dieudonne

Pingback: Some Basics of Class Field Theory | Theories and Theorems

Pingback: Arakelov Geometry | Theories and Theorems

Pingback: The Arithmetic Site and the Scaling Site | Theories and Theorems