Adele ring

Motivation

The purpose of the adele ring is to look at all completions of a global field ${\displaystyle K}$ at once. For the rational numbers, the usual absolute value gives the completion ${\displaystyle \mathbb{R}}$, but Ostrowski's theorem shows that there are also the ${\displaystyle p}$-adic absolute values, one for each prime number ${\displaystyle p}$. More generally, a global field has a family of completions ${\displaystyle K_v}$, one for each place ${\displaystyle v}$. The adele ring packages these completions into a single object, so that analytic methods can be applied while still retaining arithmetic information from all finite primes.

A precursor to this point of view is Minkowski's geometry of numbers. If ${\displaystyle K}$ is a number field with ring of integers ${\displaystyle {\mathcal{O}}_K}$, the classical Minkowski embedding places ${\displaystyle {\mathcal{O}}_K}$ as a lattice in the finite-dimensional real vector space

${\displaystyle K{\otimes }_{\mathbb{Q}}\mathbb{R}\cong {\mathbb{R}}^r\times {\mathbb{C}}^s.}$

This makes it possible to study arithmetic questions using volume and compactness arguments. The adele ring may be viewed as a local-global enlargement of this construction: instead of using only the archimedean completions, it includes all completions of ${\displaystyle K}$. In the adelic setting, the global field ${\displaystyle K}$ itself embeds diagonally as a discrete subgroup of ${\displaystyle {\mathbb{A}}_K}$, and the quotient ${\displaystyle {\mathbb{A}}_K/K}$ is compact.

The adele ring is defined as a restricted product rather than as the full Cartesian product of all completions. The restricted product condition says that an adele is integral at almost all non-archimedean places. This condition is natural from the point of view of the global field itself: if ${\displaystyle a\in K}$, then ${\displaystyle a}$ belongs to ${\displaystyle {\mathcal{O}}_v}$ for all but finitely many finite places ${\displaystyle v}$. Thus the diagonal embedding

${\displaystyle K\hookrightarrow {\mathbb{A}}_K}$

lands in the restricted product.

The restricted product is also the topological condition that makes the adele ring useful for analysis. With its restricted product topology, ${\displaystyle {\mathbb{A}}_K}$ is a locally compact topological ring. Local compactness gives the additive group of ${\displaystyle {\mathbb{A}}_K}$ a Haar measure, making it possible to do harmonic analysis on the adele ring. This is one of the main reasons adeles are useful in modern number theory.

Tate's thesis, for example, constructs Fourier analysis on the adele ring and integration over the idele group to give a uniform treatment of Hecke ${\displaystyle L}$-functions. In this approach, global zeta integrals factor into local integrals over the completions ${\displaystyle K_v}$, and the local-global structure of the adele ring explains the Euler product, analytic continuation, and functional equation of these ${\displaystyle L}$-functions.

Examples

Rational adeles

For ${\displaystyle K=\mathbb{Q}}$, Ostrowski's theorem says that the places of ${\displaystyle \mathbb{Q}}$ are given by the usual absolute value and the ${\displaystyle p}$-adic absolute values, one for each prime number ${\displaystyle p}$. The completion at the infinite place is

${\displaystyle {\mathbb{Q}}_{\mathrm{\infty }}=\mathbb{R},}$

and the completion at the place corresponding to ${\displaystyle p}$ is the field of ${\displaystyle p}$-adic numbers ${\displaystyle {\mathbb{Q}}_p}$, with valuation ring ${\displaystyle {\mathbb{Z}}_p}$. Thus the adele ring of ${\displaystyle \mathbb{Q}}$ is

${\displaystyle {\mathbb{A}}_{\mathbb{Q}}=\mathbb{R}\times {\prod _p}^{\prime }{\mathbb{Q}}_p,}$

where the restricted product is taken with respect to the subrings ${\displaystyle {\mathbb{Z}}_p}$. Equivalently,

${\displaystyle {\mathbb{A}}_{\mathbb{Q}}=\left\{(x_{\mathrm{\infty }},x_2,x_3,x_5,\dots ):x_{\mathrm{\infty }}\in \mathbb{R},x_p\in {\mathbb{Q}}_p,x_p\in {\mathbb{Z}}_p\text{ for all but finitely many }p\right\}.}$

Thus an adele of ${\displaystyle \mathbb{Q}}$ is a real number together with a ${\displaystyle p}$-adic rational number for each prime ${\displaystyle p}$, such that all but finitely many of the ${\displaystyle p}$-adic components are ${\displaystyle p}$-adic integers.

The finite adeles of ${\displaystyle \mathbb{Q}}$ are

${\displaystyle {\mathbb{A}}_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}}={\prod _p}^{\prime }{\mathbb{Q}}_p.}$

The integral finite adeles are

${\displaystyle \hat{\mathbb{Z}}=\prod _p{\mathbb{Z}}_p,}$

the ring of profinite integers. With this notation,

${\displaystyle {\mathbb{A}}_{\mathbb{Q}}=\mathbb{R}\times {\mathbb{A}}_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}},\hat{\mathbb{Z}}\subset {\mathbb{A}}_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}}.}$

The diagonal embedding of ${\displaystyle \mathbb{Q}}$ sends a rational number ${\displaystyle a}$ to the adele

${\displaystyle (a,a,a,\dots ).}$

This is well-defined because a rational number has only finitely many prime factors in its denominator, so ${\displaystyle a\in {\mathbb{Z}}_p}$ for all but finitely many primes ${\displaystyle p}$.

Number fields

Let ${\displaystyle K}$ be a number field with ring of integers ${\displaystyle {\mathcal{O}}_K}$. At each finite place ${\displaystyle v}$, the completion ${\displaystyle K_v}$ is a finite extension of some ${\displaystyle {\mathbb{Q}}_p}$, and its valuation ring is denoted ${\displaystyle {\mathcal{O}}_v}$. At each infinite place, the completion is isomorphic to either ${\displaystyle \mathbb{R}}$ or ${\displaystyle \mathbb{C}}$. The adele ring is

${\displaystyle {\mathbb{A}}_K={\prod _{v\nmid \mathrm{\infty }}}^{\prime }{K}_v\times \prod _{v\mid \mathrm{\infty }}{K}_v,}$

where the restricted product over finite places is taken with respect to the rings ${\displaystyle {\mathcal{O}}_v}$. Thus an adele of ${\displaystyle K}$ is a family ${\displaystyle (x_v{)}_v}$ with ${\displaystyle x_v\in K_v}$ for every place ${\displaystyle v}$, such that ${\displaystyle x_v\in {\mathcal{O}}_v}$ for all but finitely many finite places.

For example, if ${\displaystyle K}$ is a quadratic number field, then its archimedean factor is either ${\displaystyle {\mathbb{R}}^2}$, when ${\displaystyle K}$ has two real embeddings, or ${\displaystyle \mathbb{C}}$, when ${\displaystyle K}$ has one pair of complex embeddings. The finite part is a restricted product over the nonzero prime ideals of ${\displaystyle {\mathcal{O}}_K}$.

If ${\displaystyle L/K}$ is a finite extension of number fields, then the adelic construction is compatible with extension of scalars. In particular, one has a natural isomorphism

${\displaystyle {\mathbb{A}}_L\cong {\mathbb{A}}_K{\otimes }_{K}L,}$

and, in the special case ${\displaystyle K=\mathbb{Q}}$,

${\displaystyle {\mathbb{A}}_L\cong {\mathbb{A}}_{\mathbb{Q}}{\otimes }_{\mathbb{Q}}L.}$

This gives another way to view the adele ring of a number field as the adelic extension of the rational adele ring.

Function fields and curves

Now take the function field

${\displaystyle K={\mathbb{F}}_q({\mathbb{P}}^1)={\mathbb{F}}_q(t)}$

of the projective line over a finite field. Its places correspond to the closed points ${\displaystyle x}$ of ${\displaystyle X={\mathbb{P}}^1}$. Such points may be described as maps

${\displaystyle x:\mathrm{Spec}{\mathbb{F}}_{q^n}⟶{\mathbb{P}}^1}$

over ${\displaystyle \mathrm{Spec}{\mathbb{F}}_q}$. For instance, there are ${\displaystyle q+1}$ points of the form

${\displaystyle \mathrm{Spec}{\mathbb{F}}_q⟶{\mathbb{P}}^1.}$

For a point ${\displaystyle x}$, the local ring used in the restricted product is the completed local ring

${\displaystyle {\hat{\mathcal{O}}}_{X,x},}$

and the corresponding local field is its fraction field, often denoted ${\displaystyle K_{X,x}}$. Thus the adele ring of ${\displaystyle {\mathbb{F}}_q({\mathbb{P}}^1)}$ may be written

${\displaystyle {\mathbb{A}}_{{\mathbb{F}}_q({\mathbb{P}}^1)}={\prod _{x\in X}}^{\prime }{K}_{X,x},}$

where the restricted product is taken with respect to the completed local rings ${\displaystyle {\hat{\mathcal{O}}}_{X,x}}$. Equivalently, its elements are families ${\displaystyle (f_x{)}_x}$, with ${\displaystyle f_x\in K_{X,x}}$, such that ${\displaystyle f_x\in {\hat{\mathcal{O}}}_{X,x}}$ for all but finitely many points ${\displaystyle x}$.

The same description holds for any smooth proper curve ${\displaystyle X/{\mathbb{F}}_q}$ over a finite field. If ${\displaystyle K={\mathbb{F}}_q(X)}$ is its function field, then

${\displaystyle {\mathbb{A}}_K={\prod _{x\in X}}^{\prime }{K}_{X,x},}$

where ${\displaystyle x}$ runs over the closed points of ${\displaystyle X}$. Unlike number fields, global function fields have no archimedean places, so the finite adele ring and the full adele ring are the same.

Topology and main properties

The topology on the adele ring is the restricted product topology. For a finite set of places ${\displaystyle P}$ containing the archimedean places, define

${\displaystyle {\mathbb{A}}_K(P):=\prod _{v\in P}{K}_v\times \prod _{v\notin P}{\mathcal{O}}_v.}$

Equipped with the product topology and componentwise addition and multiplication, ${\displaystyle {\mathbb{A}}_K(P)}$ is a locally compact topological ring. If ${\displaystyle P^{\prime }}$ is another finite set of places of ${\displaystyle K}$ containing ${\displaystyle P}$, then ${\displaystyle {\mathbb{A}}_K(P)}$ is an open subring of ${\displaystyle {\mathbb{A}}_K(P^{\prime })}$. The adele ring is the union of all these open subrings:

${\displaystyle {\mathbb{A}}_K=\bigcup _{P\supset P_{\mathrm{\infty }},|P|<\mathrm{\infty }}{\mathbb{A}}_K(P).}$

Equivalently, ${\displaystyle {\mathbb{A}}_K}$ is the set of all ${\displaystyle x=(x_v{)}_v}$ such that ${\displaystyle |x_v{|}_v\le 1}$ for almost all non-archimedean places ${\displaystyle v}$. The topology of ${\displaystyle {\mathbb{A}}_K}$ is induced by the requirement that all ${\displaystyle {\mathbb{A}}_K(P)}$ be open subrings. Thus ${\displaystyle {\mathbb{A}}_K}$ is a locally compact topological ring.

The same construction applies to sets of places. For every set of places ${\displaystyle S}$, the ring of ${\displaystyle S}$-adeles

${\displaystyle {\mathbb{A}}_{K,S}={\prod _{v\in S}}^{\prime }{K}_v}$

is a locally compact topological ring, with the restricted product topology. If

${\displaystyle {\mathbb{A}}_K^S={\prod _{v\notin S}}^{\prime }{K}_v,}$

then there is a natural product decomposition

${\displaystyle {\mathbb{A}}_K\cong {\mathbb{A}}_{K,S}\times {\mathbb{A}}_K^S.}$

The diagonal embedding

${\displaystyle K\hookrightarrow {\mathbb{A}}_K,a\mapsto (a,a,\dots )}$

identifies ${\displaystyle K}$ with a subring of ${\displaystyle {\mathbb{A}}_K}$. With this embedding, the elements of ${\displaystyle K}$ are called principal adeles. The image of ${\displaystyle K}$ is discrete in ${\displaystyle {\mathbb{A}}_K}$, and the quotient

${\displaystyle {\mathbb{A}}_K/K}$

is compact. In particular, ${\displaystyle K}$ is closed in ${\displaystyle {\mathbb{A}}_K}$. This compactness property is one of the main reasons the adele ring is useful in harmonic analysis and in arithmetic applications.

The adele ring also separates naturally into any chosen local factor and the remaining factors. Fix a place ${\displaystyle v}$ of ${\displaystyle K}$. Let ${\displaystyle P}$ be a finite set of places containing ${\displaystyle v}$ and ${\displaystyle P_{\mathrm{\infty }}}$, and define

${\displaystyle {\mathbb{A}}_K^{\prime }(P,v):=\prod _{w\in P\setminus \{v\}}{K}_w\times \prod _{w\notin P}{\mathcal{O}}_w.}$

Then

${\displaystyle {\mathbb{A}}_K(P)\cong K_v\times {\mathbb{A}}_K^{\prime }(P,v).}$

Furthermore, define

${\displaystyle {\mathbb{A}}_K^{\prime }(v):=\bigcup _{P\supset P_{\mathrm{\infty }}\cup \{v\}}{\mathbb{A}}_K^{\prime }(P,v),}$

where ${\displaystyle P}$ runs through all finite sets containing ${\displaystyle P_{\mathrm{\infty }}\cup \{v\}}$. Then

${\displaystyle {\mathbb{A}}_K\cong K_v\times {\mathbb{A}}_K^{\prime }(v),}$

via the map

${\displaystyle (a_w{)}_w\mapsto (a_v,(a_w{)}_{w\ne v}).}$

Thus there is a natural embedding ${\displaystyle K_v\hookrightarrow {\mathbb{A}}_K}$ and a natural projection ${\displaystyle {\mathbb{A}}_K\twoheadrightarrow K_v}$. The same construction works with any finite set of places in place of the single place ${\displaystyle v}$.

Since ${\displaystyle {\mathbb{A}}_K}$ is locally compact as an additive group, it has an additive Haar measure. This measure is used in harmonic analysis on global fields and is usually normalized as a product of local Haar measures. With the standard normalization at the non-archimedean places, the valuation ring ${\displaystyle {\mathcal{O}}_v}$ has measure ${\displaystyle 1}$ for almost all finite places.

Haar measure and Fourier analysis

Since ${\displaystyle {\mathbb{A}}_K}$ is locally compact as an additive group, it has an additive Haar measure, usually denoted ${\displaystyle dx}$. This measure may be normalized as a product of local Haar measures on the completions ${\displaystyle K_v}$. At a non-archimedean place ${\displaystyle v}$, the local measure ${\displaystyle d{x}_v}$ is commonly normalized so that the valuation ring ${\displaystyle {\mathcal{O}}_v}$ has measure ${\displaystyle 1}$; at the archimedean places one uses the usual Lebesgue measure on ${\displaystyle \mathbb{R}}$ or ${\displaystyle \mathbb{C}}$.

A function ${\displaystyle f:{\mathbb{A}}_K\to \mathbb{C}}$ is called simple if

${\displaystyle f=\prod _v{f}_v,}$

where each ${\displaystyle f_v:K_v\to \mathbb{C}}$ is measurable and ${\displaystyle f_v={\mathbf{1}}_{{\mathcal{O}}_v}}$ for almost all non-archimedean places ${\displaystyle v}$. With the standard normalization, every integrable simple function satisfies

${\displaystyle {\int }_{{\mathbb{A}}_K}fdx=\prod _v{\int }_{K_v}{f}_{v}d{x}_v.}$

The product is finite in the sense that almost all factors are equal to ${\displaystyle 1}$.

Fourier analysis on the adele ring is based on the characters of its additive group. If ${\displaystyle G}$ is a locally compact abelian group, its character group ${\displaystyle \hat{G}}$ is the group of all continuous homomorphisms from ${\displaystyle G}$ to

${\displaystyle \mathbb{T}=\{z\in \mathbb{C}:|z|=1\},}$

with the topology of uniform convergence on compact subsets. The adele ring is self-dual as a locally compact abelian group:

${\displaystyle {\mathbb{A}}_K\cong \widehat{{\mathbb{A}}_K}.}$

This is proved by reducing to the corresponding local statement for each completion ${\displaystyle K_v}$. For example, the usual character

${\displaystyle e_{\mathrm{\infty }}(t)=\exp (2\pi it)}$

gives an isomorphism

${\displaystyle \mathbb{R}⟶\hat{\mathbb{R}},s\mapsto (t\mapsto e_{\mathrm{\infty }}(ts)).}$

Analogous local characters are used at the non-archimedean places, and their restricted product gives the global self-duality of ${\displaystyle {\mathbb{A}}_K}$.

After choosing a nontrivial additive character ${\displaystyle \chi :{\mathbb{A}}_K\to \mathbb{T}}$, the Fourier transform of a suitable function ${\displaystyle f}$ on ${\displaystyle {\mathbb{A}}_K}$ is defined by

${\displaystyle \hat{f}(y)={\int }_{{\mathbb{A}}_K}f(x)\chi (xy)dx.}$

With a compatible choice of Haar measure, this Fourier transform satisfies the usual inversion and Plancherel formulas. One of the important features of the adelic setting is that global Fourier analysis factors into local Fourier analysis over the completions ${\displaystyle K_v}$.

With the help of the characters of ${\displaystyle {\mathbb{A}}_K}$, Fourier analysis can be done on the adele ring. In Tate's thesis, John Tate used Fourier analysis on the adele ring and integration over the idele group to study the Riemann zeta function, Dirichlet ${\displaystyle L}$-functions, and more general Hecke ${\displaystyle L}$-functions. Adelic forms of these functions can be represented as integrals over the adele ring or the idele group, with respect to corresponding Haar measures. Their functional equations and meromorphic continuations can then be proved by applying Fourier analysis and Poisson summation in the adelic setting.

For example, for ${\displaystyle \mathrm{Re}(s)>1}$,

${\displaystyle {\int }_{\hat{\mathbb{Z}}}|x{|}^s{d}^{\times }x=\zeta (s),}$

where ${\displaystyle d^{\times }x}$ is the multiplicative Haar measure on the finite idele group ${\displaystyle I_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}}}$, normalized so that ${\displaystyle {\hat{\mathbb{Z}}}^{\times }}$ has volume ${\displaystyle 1}$, and extended by zero to the finite adele ring. Thus the Riemann zeta function can be written as an integral over a subset of the adele ring.

Applications

Class field theory

The adele ring enters class field theory through its group of units, the idele group ${\displaystyle {\mathbb{A}}_K^{\times }}$. The quotient

${\displaystyle C_K={\mathbb{A}}_K^{\times }/K^{\times }}$

is the idele class group of ${\displaystyle K}$. Global class field theory describes the abelian extensions of ${\displaystyle K}$ in terms of topological quotients of ${\displaystyle C_K}$. In one formulation, the global Artin reciprocity law gives a reciprocity homomorphism from the idele class group to the Galois group of the maximal abelian extension of ${\displaystyle K}$. At finite level, for a finite abelian extension ${\displaystyle L/K}$, the corresponding quotient of ${\displaystyle C_K}$ is described using the norm subgroup from ${\displaystyle C_L}$.

This adelic formulation packages the local reciprocity maps of local class field theory into a global statement. It replaces the older ideal-theoretic formulation, involving ideal class groups and ray class groups, by a statement about the topology and quotients of the idele class group.

Ideal classes and units

The idele group gives a topological refinement of the group of fractional ideals of a number field. For a number field ${\displaystyle K}$, the finite part of the idele group maps onto the group of fractional ideals by

${\displaystyle (x_{\mathfrak{p}}{)}_{\mathfrak{p}}⟼\prod _{\mathfrak{p}}{\mathfrak{p}}^{v_{\mathfrak{p}}(x_{\mathfrak{p}})}.}$

The kernel is the product of the local unit groups. Consequently, the ordinary ideal class group can be recovered as a quotient of the idele class group. This viewpoint gives an adelic interpretation of the finiteness of the class number: the compactness of the norm-one idele classes implies that the ideal class group is compact, and since it is discrete, it is finite.

The same circle of ideas also gives an adelic formulation of the unit theorem. If ${\displaystyle P}$ is a finite set of places containing the archimedean places, the group of ${\displaystyle P}$-units appears as an intersection of ${\displaystyle K^{\times }}$ with a natural open subgroup of the idele group. In particular, for a number field ${\displaystyle K}$, Dirichlet's unit theorem states that

${\displaystyle {\mathcal{O}}_K^{\times }\cong \mu (K)\times {\mathbb{Z}}^{r+s-1},}$

where ${\displaystyle \mu (K)}$ is the finite cyclic group of roots of unity in ${\displaystyle K}$, ${\displaystyle r}$ is the number of real embeddings, and ${\displaystyle s}$ is the number of conjugate pairs of complex embeddings.

Tate's thesis and L-functions

The topology on ${\displaystyle {\mathbb{A}}_K}$ makes the quotient ${\displaystyle {\mathbb{A}}_K/K}$ compact, allowing one to do harmonic analysis on the adele ring. With the help of the characters of ${\displaystyle {\mathbb{A}}_K}$, Fourier analysis can be done on the adele ring; integration over the idele group then gives zeta integrals.

In Tate's thesis, John Tate used Fourier analysis on the adele ring and the idele group to study the Riemann zeta function, Dirichlet ${\displaystyle L}$-functions, and more general Hecke ${\displaystyle L}$-functions. Adelic forms of these functions can be represented as integrals over the adele ring or the idele group, with respect to corresponding Haar measures. Their functional equations and meromorphic continuations can then be proved using Fourier analysis and Poisson summation in the adelic setting.

For example, for ${\displaystyle \mathrm{Re}(s)>1}$, one has an adelic integral representation of the Riemann zeta function,

${\displaystyle {\int }_{\hat{\mathbb{Z}}}|x{|}^s{d}^{\times }x=\zeta (s),}$

where ${\displaystyle d^{\times }x}$ is the multiplicative Haar measure on the finite idele group ${\displaystyle I_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}}}$, normalized so that ${\displaystyle {\hat{\mathbb{Z}}}^{\times }}$ has volume ${\displaystyle 1}$, and extended by zero to the finite adele ring. Thus the Riemann zeta function can be written as an integral over a subset of the adele ring.

Automorphic forms

Adeles also provide the natural language for automorphic forms. Instead of studying functions separately over the real, complex, and ${\displaystyle p}$-adic points of an algebraic group, one studies functions on adelic groups such as ${\displaystyle G({\mathbb{A}}_K)}$. For example, automorphic forms for ${\displaystyle {\mathrm{GL}}_2}$ over ${\displaystyle \mathbb{Q}}$ may be viewed as functions on

${\displaystyle {\mathrm{GL}}_2(\mathbb{Q})\mathrm{\setminus }{\mathrm{GL}}_2({\mathbb{A}}_{\mathbb{Q}})}$

satisfying suitable algebraic, analytic, and growth conditions. In this setting, automorphic ${\displaystyle L}$-functions can often be described by integrals over adelic groups.

More generally, the use of adelic points ${\displaystyle G({\mathbb{A}}_K)}$ for reductive algebraic groups ${\displaystyle G}$ is central in the modern theory of automorphic representations. This viewpoint is also one of the starting points of the Langlands program, which relates automorphic representations of adelic groups to Galois representations.

Approximation and local-global principles

The adele ring provides a unified interpretation of approximation theorems and local-global questions. The weak approximation theorem says that, for finitely many inequivalent valuations of ${\displaystyle K}$, the diagonal image of ${\displaystyle K}$ is dense in the product of the corresponding completions. The strong approximation theorem says that, after omitting one place ${\displaystyle v_0}$, the field ${\displaystyle K}$ is dense in the restricted product over all other places. Thus the global field is discrete in its full adele ring, but becomes dense when one place is omitted.

Adelic language is also used to formulate local-global principles, such as the Hasse principle. In such problems one compares solutions over the global field ${\displaystyle K}$ with compatible families of solutions over all completions ${\displaystyle K_v}$. The adele ring provides a single space in which these local conditions can be collected and studied together.

Curves, divisors, and bundles

For a smooth proper curve ${\displaystyle X/{\mathbb{F}}_q}$ with function field ${\displaystyle K}$, the adele ring of ${\displaystyle K}$ can be described using the completions at the closed points of ${\displaystyle X}$. In this setting, ideles recover the divisor and Picard groups of the curve. One has

${\displaystyle \mathrm{Div}(X)={\mathbb{A}}_X^{\times }/{\mathbb{O}}_X^{\times }}$

and

${\displaystyle \mathrm{Pic}(X)=K^{\times }\mathrm{\setminus }{\mathbb{A}}_X^{\times }/{\mathbb{O}}_X^{\times }.}$

Thus the divisor-class description of line bundles on a curve can be expressed adelically.

More generally, for an algebraic group ${\displaystyle G}$, adelic double quotients describe moduli of bundles on curves. In Weil uniformization, for suitable groups such as semisimple groups, and also for ${\displaystyle {\mathrm{GL}}_n}$, one has an adelic description of the form

${\displaystyle {\mathrm{Bun}}_G(X)=G(K)\mathrm{\setminus }G({\mathbb{A}}_X)/G({\mathbb{O}}_X).}$

For ${\displaystyle G={\mathbb{G}}_m}$, this recovers the adelic description of the Picard group.

Serre duality on curves

Adeles also occur in the cohomology of algebraic curves. If ${\displaystyle X}$ is a smooth proper curve over the complex numbers, one can define the adeles of its function field ${\displaystyle \mathbb{C}(X)}$ in a way analogous to the function-field case over finite fields. Tate proved that Serre duality on ${\displaystyle X}$,

${\displaystyle H^1(X,\mathcal{L})\simeq H^0(X,{\mathrm{\Omega }}_X\otimes {\mathcal{L}}^{-1}{)}^{\ast },}$

can be deduced by working with this adele ring ${\displaystyle {\mathbb{A}}_{\mathbb{C}(X)}}$, where ${\displaystyle \mathcal{L}}$ is a line bundle on ${\displaystyle X}$.

Idele group

The idele group of a global field ${\displaystyle K}$ is the group of invertible elements of the adele ring ${\displaystyle {\mathbb{A}}_K}$. It is usually denoted

${\displaystyle {\mathbb{A}}_K^{\times }}$

or ${\displaystyle I_K}$. Equivalently, it is the restricted direct product

${\displaystyle {\mathbb{A}}_K^{\times }={\prod _v}^{\prime }{K}_v^{\times }}$

of the multiplicative groups of the completions ${\displaystyle K_v}$, taken with respect to the unit groups ${\displaystyle {\mathcal{O}}_v^{\times }}$ at the non-archimedean places. Thus an idele is a family ${\displaystyle x=(x_v{)}_v}$, with ${\displaystyle x_v\in K_v^{\times }}$ for every place ${\displaystyle v}$, such that ${\displaystyle x_v\in {\mathcal{O}}_v^{\times }}$ for all but finitely many non-archimedean ${\displaystyle v}$.

Although ${\displaystyle {\mathbb{A}}_K^{\times }}$ is the group of units of the adele ring, it is not given the subspace topology inherited from ${\displaystyle {\mathbb{A}}_K}$. Instead it is given the restricted product topology, equivalently the topology induced by the embedding

${\displaystyle {\mathbb{A}}_K^{\times }⟶{\mathbb{A}}_K\times {\mathbb{A}}_K,x\mapsto (x,x^{-1}).}$

With this topology, ${\displaystyle {\mathbb{A}}_K^{\times }}$ is an abelian locally compact topological group.

The diagonal embedding of ${\displaystyle K^{\times }}$ into ${\displaystyle {\mathbb{A}}_K^{\times }}$ gives the subgroup of principal ideles. The quotient

${\displaystyle C_K={\mathbb{A}}_K^{\times }/K^{\times }}$

is the idele class group. This group is a central object in class field theory, where abelian extensions of ${\displaystyle K}$ are described in terms of topological quotients of ${\displaystyle C_K}$.

The idele group also carries a natural absolute value, or module,

${\displaystyle |x{|}_{\mathbb{A}}=\prod _v|x_v{|}_v,}$

where the local absolute values are normalized in the standard way. The product is finite for ideles, since almost all finite components are units. The subgroup

${\displaystyle {\mathbb{A}}_K^1=\{x\in {\mathbb{A}}_K^{\times }:|x{|}_{\mathbb{A}}=1\}}$

is the group of norm-one ideles. By the product formula, ${\displaystyle K^{\times }}$ lies in ${\displaystyle {\mathbb{A}}_K^1}$, and the quotient ${\displaystyle {\mathbb{A}}_K^1/K^{\times }}$ is compact.

For number fields, the finite part of the idele group maps naturally onto the group of fractional ideals by

${\displaystyle (x_{\mathfrak{p}}{)}_{\mathfrak{p}}⟼\prod _{\mathfrak{p}}{\mathfrak{p}}^{v_{\mathfrak{p}}(x_{\mathfrak{p}})}.}$

The kernel is ${\displaystyle {\hat{\mathcal{O}}}_K^{\times }}$, so the ordinary ideal class group is recovered as a quotient of the idele class group. In this way, the idele class group refines the ideal class group by retaining local unit data and archimedean information.

Ideles are also used in harmonic analysis on global fields. In Tate's thesis, integration over the adele ring and the idele group gives a uniform treatment of Hecke ${\displaystyle L}$-functions, including their Euler products, analytic continuation, and functional equations.

Further properties and proof sketches

The preceding sections give the basic definition and main uses of the adele ring. This section records some standard structural facts and proof sketches.

Restricted product topology

The difference between the restricted and unrestricted product topologies can be illustrated using a sequence in ${\displaystyle {\mathbb{A}}_{\mathbb{Q}}}$.

Lemma. Consider the following sequence in ${\displaystyle {\mathbb{A}}_{\mathbb{Q}}}$:

${\displaystyle \begin{array}{cc}{x}_1& =\left(\frac{1}{2},1,1,\dots \right)\\ x_2& =\left(1,\frac{1}{3},1,\dots \right)\\ x_3& =\left(1,1,\frac{1}{5},1,\dots \right)\\ x_4& =\left(1,1,1,\frac{1}{7},1,\dots \right)\\ & ⋮\end{array}}$

In the product topology this converges to ${\displaystyle (1,1,\dots )}$, but it does not converge at all in the restricted product topology.

Proof. In product topology convergence corresponds to the convergence in each coordinate, which is trivial because the sequences become stationary. The sequence does not converge in restricted product topology. For each adele ${\displaystyle a=(a_p{)}_p\in {\mathbb{A}}_{\mathbb{Q}}}$ and for each restricted open rectangle ${\displaystyle U=\prod _{p\in E}{U}_p\times \prod _{p\notin E}{\mathbb{Z}}_p,}$ it has ${\displaystyle \frac{1}{p}-a_p\notin {\mathbb{Z}}_p}$ for ${\displaystyle a_p\in {\mathbb{Z}}_p}$ and therefore ${\displaystyle \frac{1}{p}-a_p\notin {\mathbb{Z}}_p}$ for all ${\displaystyle p\notin F.}$ As a result, ${\displaystyle x_n-a\notin U}$ for almost all ${\displaystyle n\in \mathbb{N}.}$ In this consideration, ${\displaystyle E}$ and ${\displaystyle F}$ are finite subsets of the set of all places.

Alternative descriptions for number fields

The profinite integers are defined as the profinite completion of the rings ${\displaystyle \mathbb{Z}/n\mathbb{Z}}$ with the partial order ${\displaystyle n\ge m\iff m|n,}$ i.e.,

${\displaystyle \hat{\mathbb{Z}}:=\underset{n}{\underleftarrow{\lim }}\mathbb{Z}/n\mathbb{Z}.}$

Lemma. ${\displaystyle \hat{\mathbb{Z}}\cong \prod _p{\mathbb{Z}}_p.}$

Proof. This follows from the Chinese Remainder Theorem.

Lemma. ${\displaystyle {\mathbb{A}}_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}}=\hat{\mathbb{Z}}{\otimes }_{\mathbb{Z}}\mathbb{Q}.}$

Proof. Use the universal property of the tensor product. Define a ${\displaystyle \mathbb{Z}}$-bilinear function

${\displaystyle \{\begin{array}{l}\mathrm{\Psi }:\hat{\mathbb{Z}}\times \mathbb{Q}\to {\mathbb{A}}_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}}\\ \left((a_p{)}_p,q\right)\mapsto (a_{p}q{)}_p.\end{array}}$

This is well-defined because for a given ${\displaystyle q=\frac{m}{n}\in \mathbb{Q}}$ with ${\displaystyle m,n}$ coprime there are only finitely many primes dividing ${\displaystyle n.}$ Let ${\displaystyle M}$ be another ${\displaystyle \mathbb{Z}}$-module with a ${\displaystyle \mathbb{Z}}$-bilinear map ${\displaystyle \mathrm{\Phi }:\hat{\mathbb{Z}}\times \mathbb{Q}\to M.}$ It must be the case that ${\displaystyle \mathrm{\Phi }}$ factors through ${\displaystyle \mathrm{\Psi }}$ uniquely, i.e., there exists a unique ${\displaystyle \mathbb{Z}}$-linear map ${\displaystyle \tilde{\mathrm{\Phi }}:{\mathbb{A}}_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}}\to M}$ such that ${\displaystyle \mathrm{\Phi }=\tilde{\mathrm{\Phi }}\circ \mathrm{\Psi }.}$ ${\displaystyle \tilde{\mathrm{\Phi }}}$ can be defined as follows: for a given ${\displaystyle (u_p{)}_p}$ there exist ${\displaystyle u\in \mathbb{N}}$ and ${\displaystyle (v_p{)}_p\in \hat{\mathbb{Z}}}$ such that ${\displaystyle u_p=\frac{1}{u}\cdot v_p}$ for all ${\displaystyle p.}$ Define ${\displaystyle \tilde{\mathrm{\Phi }}((u_p{)}_p):=\mathrm{\Phi }((v_p{)}_p,\frac{1}{u}).}$ One can show ${\displaystyle \tilde{\mathrm{\Phi }}}$ is well-defined, ${\displaystyle \mathbb{Z}}$-linear, satisfies ${\displaystyle \mathrm{\Phi }=\tilde{\mathrm{\Phi }}\circ \mathrm{\Psi }}$ and is unique with these properties.

Corollary. Define ${\displaystyle {\mathbb{A}}_{\mathbb{Z}}:=\hat{\mathbb{Z}}\times \mathbb{R}.}$ This results in an algebraic isomorphism ${\displaystyle {\mathbb{A}}_{\mathbb{Q}}\cong {\mathbb{A}}_{\mathbb{Z}}{\otimes }_{\mathbb{Z}}\mathbb{Q}.}$

Proof.

${\displaystyle {\mathbb{A}}_{\mathbb{Z}}{\otimes }_{\mathbb{Z}}\mathbb{Q}=\left(\hat{\mathbb{Z}}\times \mathbb{R}\right){\otimes }_{\mathbb{Z}}\mathbb{Q}\cong \left(\hat{\mathbb{Z}}{\otimes }_{\mathbb{Z}}\mathbb{Q}\right)\times (\mathbb{R}{\otimes }_{\mathbb{Z}}\mathbb{Q})\cong \left(\hat{\mathbb{Z}}{\otimes }_{\mathbb{Z}}\mathbb{Q}\right)\times \mathbb{R}={\mathbb{A}}_{\mathbb{Q},\mathrm{f}\mathrm{i}\mathrm{n}}\times \mathbb{R}={\mathbb{A}}_{\mathbb{Q}}.}$

Lemma. For a number field ${\displaystyle K}$, ${\displaystyle {\mathbb{A}}_K={\mathbb{A}}_{\mathbb{Q}}{\otimes }_{\mathbb{Q}}K.}$

Remark. Using ${\displaystyle {\mathbb{A}}_{\mathbb{Q}}{\otimes }_{\mathbb{Q}}K\cong {\mathbb{A}}_{\mathbb{Q}}\oplus \cdots \oplus {\mathbb{A}}_{\mathbb{Q}},}$ where there are ${\displaystyle [K:\mathbb{Q}]}$ summands, the right side receives the product topology and this topology is transported via the isomorphism onto ${\displaystyle {\mathbb{A}}_{\mathbb{Q}}{\otimes }_{\mathbb{Q}}K.}$

Finite extensions

If ${\displaystyle L/K}$ is a finite extension, then ${\displaystyle L}$ is a global field. Thus ${\displaystyle {\mathbb{A}}_L}$ is defined, and ${\displaystyle {\mathbb{A}}_L={\prod _v}^{\prime }{L}_v.}$ The ring ${\displaystyle {\mathbb{A}}_K}$ can be identified with a subring of ${\displaystyle {\mathbb{A}}_L.}$ Map ${\displaystyle a=(a_v{)}_v\in {\mathbb{A}}_K}$ to ${\displaystyle a^{\prime }=(a_w^{\prime }{)}_w\in {\mathbb{A}}_L}$, where ${\displaystyle a_w^{\prime }=a_v\in K_v\subset L_w}$ for ${\displaystyle w|v.}$ Then ${\displaystyle a=(a_w{)}_w\in {\mathbb{A}}_L}$ is in the subring ${\displaystyle {\mathbb{A}}_K}$ if ${\displaystyle a_w\in K_v}$ for ${\displaystyle w|v}$ and ${\displaystyle a_w=a_{w^{\prime }}}$ for all ${\displaystyle w,w^{\prime }}$ lying above the same place ${\displaystyle v}$ of ${\displaystyle K.}$

Lemma. If ${\displaystyle L/K}$ is a finite extension, then ${\displaystyle {\mathbb{A}}_L\cong {\mathbb{A}}_K{\otimes }_{K}L}$ both algebraically and topologically.

With the help of this isomorphism, the inclusion ${\displaystyle {\mathbb{A}}_K\subset {\mathbb{A}}_L}$ is given by

${\displaystyle \{\begin{array}{l}{\mathbb{A}}_K\to {\mathbb{A}}_L\\ \alpha \mapsto \alpha {\otimes }_{K}1.\end{array}}$

Furthermore, the principal adeles in ${\displaystyle {\mathbb{A}}_K}$ can be identified with a subgroup of principal adeles in ${\displaystyle {\mathbb{A}}_L}$ via the natural embedding ${\displaystyle K\to L.}$

Proof. Let ${\displaystyle {\omega }_1,\dots ,{\omega }_n}$ be a basis of ${\displaystyle L}$ over ${\displaystyle K.}$ Then for almost all ${\displaystyle v,}$

${\displaystyle \widetilde{O_v}\cong O_v{\omega }_1\oplus \cdots \oplus O_v{\omega }_n.}$

Furthermore, there are the following isomorphisms:

${\displaystyle K_v{\omega }_1\oplus \cdots \oplus K_v{\omega }_n\cong K_v{\otimes }_{K}L\cong L_v={\prod }_{w|v}{L}_w.}$

For the second use the map

${\displaystyle \{\begin{array}{l}{K}_v{\otimes }_{K}L\to L_v\\ {\alpha }_v\otimes a\mapsto ({\alpha }_v\cdot ({\tau }_w(a)){)}_w\end{array}}$

in which ${\displaystyle {\tau }_w:L\to L_w}$ is the canonical embedding and ${\displaystyle w|v.}$ The restricted product is taken on both sides with respect to ${\displaystyle \widetilde{O_v}:}$

${\displaystyle \begin{array}{cc}{\mathbb{A}}_K{\otimes }_{K}L& =\left({\prod _v}^{\prime }{K}_v\right){\otimes }_{K}L\\ & \cong {\prod _v}^{\prime }(K_v{\omega }_1\oplus \cdots \oplus K_v{\omega }_n)\\ & \cong {\prod _v}^{\prime }(K_v{\otimes }_{K}L)\\ & \cong {\prod _v}^{\prime }{L}_v\\ & ={\mathbb{A}}_L.\end{array}}$

Corollary. As additive groups ${\displaystyle {\mathbb{A}}_L\cong {\mathbb{A}}_K\oplus \cdots \oplus {\mathbb{A}}_K,}$ where the right side has ${\displaystyle [L:K]}$ summands.

The set of principal adeles in ${\displaystyle {\mathbb{A}}_L}$ is identified with the set ${\displaystyle K\oplus \cdots \oplus K}$, where the left side has ${\displaystyle [L:K]}$ summands and ${\displaystyle K}$ is considered as a subset of ${\displaystyle {\mathbb{A}}_K.}$

Adeles of vector spaces and algebras

Let ${\displaystyle E}$ be a finite-dimensional vector space over ${\displaystyle K}$ and ${\displaystyle \{{\omega }_1,\dots ,{\omega }_n\}}$ a basis for ${\displaystyle E}$ over ${\displaystyle K.}$ For each place ${\displaystyle v}$ of ${\displaystyle K}$:

${\displaystyle \begin{array}{cc}{E}_v& :=E{\otimes }_K{K}_v\cong K_v{\omega }_1\oplus \cdots \oplus K_v{\omega }_n,\\ \widetilde{O_v}& :=O_v{\omega }_1\oplus \cdots \oplus O_v{\omega }_n.\end{array}}$

The adele ring of ${\displaystyle E}$ is defined as

${\displaystyle {\mathbb{A}}_E:={\prod _v}^{\prime }{E}_v.}$

This definition is based on the alternative description of the adele ring as a tensor product equipped with the same topology that was defined when giving an alternate definition of the adele ring for number fields. Next, ${\displaystyle {\mathbb{A}}_E}$ is equipped with the restricted product topology. Then ${\displaystyle {\mathbb{A}}_E=E{\otimes }_K{\mathbb{A}}_K}$ and ${\displaystyle E}$ is embedded in ${\displaystyle {\mathbb{A}}_E}$ naturally via the map ${\displaystyle e\mapsto e\otimes 1.}$

An alternative definition of the topology on ${\displaystyle {\mathbb{A}}_E}$ can be provided. Consider all linear maps ${\displaystyle E\to K.}$ Using the natural embeddings ${\displaystyle E\to {\mathbb{A}}_E}$ and ${\displaystyle K\to {\mathbb{A}}_K,}$ extend these linear maps to ${\displaystyle {\mathbb{A}}_E\to {\mathbb{A}}_K.}$ The topology on ${\displaystyle {\mathbb{A}}_E}$ is the coarsest topology for which all these extensions are continuous.

The topology can be defined in a different way. Fixing a basis for ${\displaystyle E}$ over ${\displaystyle K}$ results in an isomorphism ${\displaystyle E\cong K^n.}$ Therefore, fixing a basis induces an isomorphism ${\displaystyle ({\mathbb{A}}_K{)}^n\cong {\mathbb{A}}_E.}$ The left-hand side is supplied with the product topology and this topology is transported with the isomorphism onto the right-hand side. The topology does not depend on the choice of the basis, because another basis defines a second isomorphism. By composing both isomorphisms, a linear homeomorphism which transfers the two topologies into each other is obtained. More formally,

${\displaystyle \begin{array}{cc}{\mathbb{A}}_E& =E{\otimes }_K{\mathbb{A}}_K\\ & \cong (K{\otimes }_K{\mathbb{A}}_K)\oplus \cdots \oplus (K{\otimes }_K{\mathbb{A}}_K)\\ & \cong {\mathbb{A}}_K\oplus \cdots \oplus {\mathbb{A}}_K,\end{array}}$

where the sums have ${\displaystyle n}$ summands. In case of ${\displaystyle E=L,}$ the definition above is consistent with the results about the adele ring of a finite extension ${\displaystyle L/K.}$

Let ${\displaystyle A}$ be a finite-dimensional algebra over ${\displaystyle K.}$ In particular, ${\displaystyle A}$ is a finite-dimensional vector space over ${\displaystyle K.}$ As a consequence, ${\displaystyle {\mathbb{A}}_A}$ is defined and ${\displaystyle {\mathbb{A}}_A\cong {\mathbb{A}}_K{\otimes }_{K}A.}$ Since there is multiplication on ${\displaystyle {\mathbb{A}}_K}$ and ${\displaystyle A,}$ a multiplication on ${\displaystyle {\mathbb{A}}_A}$ can be defined via

${\displaystyle \mathrm{\forall }\alpha ,\beta \in {\mathbb{A}}_K\text{ and }\mathrm{\forall }a,b\in A:(\alpha {\otimes }_{K}a)\cdot (\beta {\otimes }_{K}b):=(\alpha \beta ){\otimes }_K(ab).}$

As a consequence, ${\displaystyle {\mathbb{A}}_A}$ is an algebra with a unit over ${\displaystyle {\mathbb{A}}_K.}$ Let ${\displaystyle \mathcal{B}}$ be a finite subset of ${\displaystyle A}$, containing a basis for ${\displaystyle A}$ over ${\displaystyle K.}$ For any finite place ${\displaystyle v}$, ${\displaystyle M_v}$ is defined as the ${\displaystyle O_v}$-module generated by ${\displaystyle \mathcal{B}}$ in ${\displaystyle A_v.}$ For each finite set of places ${\displaystyle P\supset P_{\mathrm{\infty }},}$ define

${\displaystyle {\mathbb{A}}_A(P,\alpha )=\prod _{v\in P}{A}_v\times \prod _{v\notin P}{M}_v.}$

One can show there is a finite set ${\displaystyle P_0}$ so that ${\displaystyle {\mathbb{A}}_A(P,\alpha )}$ is an open subring of ${\displaystyle {\mathbb{A}}_A}$, if ${\displaystyle P\supset P_0.}$ Furthermore ${\displaystyle {\mathbb{A}}_A}$ is the union of all these subrings and for ${\displaystyle A=K}$, the definition above is consistent with the definition of the adele ring.

Trace and norm

Let ${\displaystyle L/K}$ be a finite extension. Since ${\displaystyle {\mathbb{A}}_K={\mathbb{A}}_K{\otimes }_{K}K}$ and ${\displaystyle {\mathbb{A}}_L={\mathbb{A}}_K{\otimes }_{K}L}$ from the lemma above, ${\displaystyle {\mathbb{A}}_K}$ can be interpreted as a closed subring of ${\displaystyle {\mathbb{A}}_L.}$ For this embedding, write ${\displaystyle {\mathrm{con}}_{L/K}}$. Explicitly, for all places ${\displaystyle w}$ of ${\displaystyle L}$ above ${\displaystyle v}$ and for any ${\displaystyle \alpha \in {\mathbb{A}}_K}$,

${\displaystyle ({\mathrm{con}}_{L/K}(\alpha ){)}_w={\alpha }_v\in K_v.}$

Let ${\displaystyle M/L/K}$ be a tower of global fields. Then

${\displaystyle {\mathrm{con}}_{M/K}(\alpha )={\mathrm{con}}_{M/L}({\mathrm{con}}_{L/K}(\alpha ))\mathrm{\forall }\alpha \in {\mathbb{A}}_K.}$

Furthermore, restricted to the principal adeles ${\displaystyle \mathrm{con}}$ is the natural injection ${\displaystyle K\to L.}$

Let ${\displaystyle \{{\omega }_1,\dots ,{\omega }_n\}}$ be a basis of the field extension ${\displaystyle L/K.}$ Then each ${\displaystyle \alpha \in {\mathbb{A}}_L}$ can be written as ${\displaystyle \sum _{j=1}^n{\alpha }_j{\omega }_j}$, where ${\displaystyle {\alpha }_j\in {\mathbb{A}}_K}$ are unique. The map ${\displaystyle \alpha \mapsto {\alpha }_j}$ is continuous. Define ${\displaystyle {\alpha }_{ij}}$, depending on ${\displaystyle \alpha }$, via the equations

${\displaystyle \begin{array}{cc}\alpha {\omega }_1& =\sum _{j=1}^n{\alpha }_{1j}{\omega }_j,\\ & ⋮\\ \alpha {\omega }_n& =\sum _{j=1}^n{\alpha }_{nj}{\omega }_j.\end{array}}$

Now define the trace and norm of ${\displaystyle \alpha }$ as

${\displaystyle \begin{array}{cc}{\mathrm{Tr}}_{L/K}(\alpha )& :=\mathrm{Tr}(({\alpha }_{ij}{)}_{i,j})=\sum _{i=1}^n{\alpha }_{ii},\\ N_{L/K}(\alpha )& :=N(({\alpha }_{ij}{)}_{i,j})=det(({\alpha }_{ij}{)}_{i,j}).\end{array}}$

These are the trace and the determinant of the linear map

${\displaystyle \{\begin{array}{l}{\mathbb{A}}_L\to {\mathbb{A}}_L\\ x\mapsto \alpha x.\end{array}}$

They are continuous maps on the adele ring, and they fulfil the usual equations:

${\displaystyle \begin{array}{cccc}{\mathrm{Tr}}_{L/K}(\alpha +\beta )& ={\mathrm{Tr}}_{L/K}(\alpha )+{\mathrm{Tr}}_{L/K}(\beta )& & \mathrm{\forall }\alpha ,\beta \in {\mathbb{A}}_L,\\ {\mathrm{Tr}}_{L/K}(\mathrm{con}(\alpha ))& =n\alpha & & \mathrm{\forall }\alpha \in {\mathbb{A}}_K,\\ N_{L/K}(\alpha \beta )& =N_{L/K}(\alpha )N_{L/K}(\beta )& & \mathrm{\forall }\alpha ,\beta \in {\mathbb{A}}_L,\\ N_{L/K}(\mathrm{con}(\alpha ))& ={\alpha }^n& & \mathrm{\forall }\alpha \in {\mathbb{A}}_K.\end{array}}$

Furthermore, for ${\displaystyle \alpha \in L}$, ${\displaystyle {\mathrm{Tr}}_{L/K}(\alpha )}$ and ${\displaystyle N_{L/K}(\alpha )}$ are identical to the trace and norm of the field extension ${\displaystyle L/K.}$ For a tower of fields ${\displaystyle M/L/K}$, the result is

${\displaystyle \begin{array}{cccc}{\mathrm{Tr}}_{L/K}({\mathrm{Tr}}_{M/L}(\alpha ))& ={\mathrm{Tr}}_{M/K}(\alpha )& & \mathrm{\forall }\alpha \in {\mathbb{A}}_M,\\ N_{L/K}(N_{M/L}(\alpha ))& =N_{M/K}(\alpha )& & \mathrm{\forall }\alpha \in {\mathbb{A}}_M.\end{array}}$

Moreover, it can be proven that:

${\displaystyle \begin{array}{cccc}{\mathrm{Tr}}_{L/K}(\alpha )& ={\left(\sum _{w|v}{\mathrm{Tr}}_{L_w/K_v}({\alpha }_w)\right)}_v& & \mathrm{\forall }\alpha \in {\mathbb{A}}_L,\\ N_{L/K}(\alpha )& ={\left(\prod _{w|v}{N}_{L_w/K_v}({\alpha }_w)\right)}_v& & \mathrm{\forall }\alpha \in {\mathbb{A}}_L.\end{array}}$

Discreteness and compactness of the diagonal image

Theorem. ${\displaystyle K}$ is discrete and cocompact in ${\displaystyle {\mathbb{A}}_K.}$ In particular, ${\displaystyle K}$ is closed in ${\displaystyle {\mathbb{A}}_K.}$

Proof. Prove the case ${\displaystyle K=\mathbb{Q}.}$ To show ${\displaystyle \mathbb{Q}\subset {\mathbb{A}}_{\mathbb{Q}}}$ is discrete it is sufficient to show the existence of a neighbourhood of ${\displaystyle 0}$ which contains no other rational number. The general case follows via translation. Define

${\displaystyle U:=\left\{({\alpha }_p{)}_p:\mathrm{\forall }p<\mathrm{\infty },|{\alpha }_p{|}_p\le 1\text{and}|{\alpha }_{\mathrm{\infty }}{|}_{\mathrm{\infty }}<1\right\}=\hat{\mathbb{Z}}\times (-1,1).}$

${\displaystyle U}$ is an open neighbourhood of ${\displaystyle 0\in {\mathbb{A}}_{\mathbb{Q}}.}$ It is claimed that ${\displaystyle U\cap \mathbb{Q}=\{0\}.}$ Let ${\displaystyle \beta \in U\cap \mathbb{Q}.}$ Then ${\displaystyle \beta \in \mathbb{Q}}$ and ${\displaystyle |\beta {|}_p\le 1}$ for all ${\displaystyle p}$, and therefore ${\displaystyle \beta \in \mathbb{Z}.}$ Additionally, ${\displaystyle \beta \in (-1,1)}$ and therefore ${\displaystyle \beta =0.}$