Editing Adele ring

{{Short description|Central object of class field theory}}
{{About|the concept in mathematics|the singer|Adele}}
In [[mathematics]], the '''adele ring''' of a [[global field]] (also '''adelic ring''', '''ring of adeles''' or '''ring of adèles'''<ref>{{Cite journal|last=Groechenig|first=Michael|date=August 2017|title=Adelic Descent Theory|journal=Compositio Mathematica|volume=153|issue=8|pages=1706–1746|doi=10.1112/S0010437X17007217|issn=0010-437X|arxiv=1511.06271|s2cid=54016389}}</ref>) is a central object of [[class field theory]], a branch of [[algebraic number theory]]. It is the [[restricted product]] of all the [[Complete metric space|completions]] of the global field and is an example of a [[Duality (mathematics)|self-dual]] [[topological ring]].

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 law]]s over [[List of mathematical jargon|finite]] fields. In addition, it is a classical [[theorem]] from [[André Weil|Weil]] that [[Torsor (algebraic geometry)|<math>G</math>-bundles]] on an [[algebraic curve]] over a finite field can be described in terms of adeles for a [[reductive group]] [[Torsor (algebraic geometry)|<math>G</math>]]. Adeles are also connected with the [[adelic algebraic group]]s and adelic curves.

The study of [[geometry of numbers]] over the ring of adeles of a [[number field]] is called '''adelic geometry'''.

==Definition==
{{More citations needed section|date=May 2023}}
Let <math>K</math> be a [[global field]] (a finite extension of <math>\mathbf{Q}</math> or the function field of a curve <math>X/\mathbf{F_{\mathit{q}}}</math> over a finite field). The '''adele ring''' of <math>K</math> is the [[subring]]
:<math>\mathbf{A}_K\ = \ \prod (K_\nu,\mathcal{O}_\nu)  \ \subseteq  \ \prod K_\nu</math>
consisting of the tuples <math>(a_\nu)</math> where <math>a_\nu</math> lies in the subring <math>\mathcal{O}_\nu \subset K_\nu</math> for all but finitely many [[Place (mathematics)|places]] <math>\nu</math>. Here the index <math>\nu</math> ranges over all [[Valuation (algebra)|valuations]] of the global field <math>K</math>, <math>K_\nu</math> is the [[Completion of a ring|completion]] at that valuation and <math>\mathcal{O}_\nu</math> the corresponding [[valuation ring]].<ref>{{Cite book |last=Sutherland |first=Andrew |url=https://math.mit.edu/classes/18.785/2015fa/LectureNotes22.pdf |title=18.785 Number theory I Lecture #22 |date=1 December 2015 |publisher=[[MIT]] |pages=4}}</ref>

=== Motivation ===
The ring of adeles solves the technical problem of "doing analysis on the rational numbers <math>\mathbf{Q}</math>." The classical solution was to pass to the standard metric completion <math>\mathbf{R}</math> and use analytic techniques there.{{What|date=May 2023|reason=pass what? use what analytical techniques?}} But, as was learned later on, there are many more [[Absolute value (algebra)|absolute values]] other than the [[Euclidean distance]], one for each prime number <math>p \in \mathbf{Z}</math>, as classified by [[Ostrowski's theorem]]. The Euclidean absolute value, denoted <math>|\cdot|_\infty</math>, is only one among many others, <math>|\cdot |_p</math>, but the ring of adeles makes it possible to comprehend and {{Em|use all of the valuations at once}}. This has the advantage of enabling analytic techniques while also retaining information about the primes, since their structure is embedded by the restricted infinite product.

The purpose of the adele ring is to look at all completions of <math>K</math> at once. The adele ring is defined with the restricted product, rather than the [[Cartesian product]]. There are two reasons for this:
* For each element of <math>K</math> 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 [[locally compact space]], 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.

==== Why the restricted product? ====
The [[Restricted product|restricted infinite product]] is a required technical condition for giving the number field <math>\mathbf{Q}</math> a lattice structure inside of <math>\mathbf{A}_\mathbf{Q}</math>, making it possible to build a theory of Fourier analysis (cf. [[Harmonic analysis]]) in the adelic setting. This is analogous to the situation in algebraic number theory where the ring of integers of an algebraic number field embeds<blockquote><math>\mathcal{O}_K \hookrightarrow K</math></blockquote>as a lattice. With the power of a new theory of Fourier analysis, [[John Tate (mathematician)|Tate]] was able to prove a special class of [[L-function]]s and the [[Dedekind zeta function]]s were [[Meromorphic function|meromorphic]] on the complex plane. Another natural reason for why this technical condition holds can be seen by constructing the ring of adeles as a tensor product of rings. If defining the ring of integral adeles <math>\mathbf{A}_\mathbf{Z}</math> as the ring<blockquote><math>\mathbf{A}_\mathbf{Z} = \mathbf{R}\times\hat{\mathbf{Z}} = \mathbf{R}\times \prod_p \mathbf{Z}_p,</math></blockquote>then the ring of adeles can be equivalently defined as<blockquote><math>\begin{align}
\mathbf{A}_\mathbf{Q} &= \mathbf{Q}\otimes_\mathbf{Z}\mathbf{A}_\mathbf{Z} \\
&= \mathbf{Q}\otimes_\mathbf{Z} \left( \mathbf{R}\times \prod_{p} \mathbf{Z}_p \right).
\end{align}</math></blockquote>The restricted product structure becomes transparent after looking at explicit elements in this ring. The image of an element <math>b/c\otimes(r,(a_p)) \in \mathbf{A}_\mathbf{Q}</math> inside of the unrestricted product <math display=inline> \mathbf{R}\times \prod_p \mathbf{Q}_p</math> is the element <blockquote><math>
\left(\frac{br}{c}, \left(\frac{ba_p}{c}\right) \right). </math></blockquote> The factor <math>ba_p/c</math> lies in <math>\mathbf{Z}_p</math> whenever <math>p</math> is not a prime factor of <math>c</math>, which is the case for all but finitely many primes <math>p</math>.<ref>{{Cite web|url=https://ncatlab.org/nlab/show/ring+of+adeles|title=ring of adeles in nLab|website=ncatlab.org}}</ref>

=== Origin of the name ===
The term "idele" ({{langx|fr|idèle}}) is an invention of the French mathematician [[Claude Chevalley]] (1909–1984) and stands for "ideal element" (abbreviated: id.el.). The term "adele" (French: {{lang|fr|adèle}}) stands for additive idele. Thus, an adele is an additive ideal element.

==Examples==

=== Ring of adeles for the rational numbers ===
The rationals <math>K = \bold{Q}</math> have a valuation for every prime number <math>p</math>, with <math>( K_\nu,\mathcal{O}_\nu)=(\mathbf{Q}_p,\mathbf{Z}_p)</math>, and one infinite valuation ''∞'' with <math>\mathbf{Q}_\infty = \mathbf{R}</math>. Thus an element of
:<math>\mathbf{A}_\mathbf{Q}\ = \ \mathbf{R}\times \prod_p (\mathbf{Q}_p,\mathbf{Z}_p)</math>
is a real number along with a [[P-adic number|''p''-adic]] rational for each ''<math>p</math>'' of which all but finitely many are ''p''-adic integers.

=== Ring of adeles for the function field of the projective line ===
Secondly, take the function field <math>K=\mathbf{F}_q(\mathbf{P}^1)=\mathbf{F}_q(t)</math> of the [[projective line]] over a finite field. Its valuations correspond to points <math>x</math> of <math>X=\mathbf{P}^1</math>, i.e. maps over <math>\text{Spec}\mathbf{F}_{q}</math>
:<math>x\ :\ \text{Spec}\mathbf{F}_{q^n}\ \longrightarrow \ \mathbf{P}^1.</math>
For instance, there are <math>q+1</math> points of the form <math>\text{Spec}\mathbf{F}_{q}\ \longrightarrow \ \mathbf{P}^1</math>. In this case <math>\mathcal{O}_\nu=\widehat{\mathcal{O}}_{X,x}</math> is the [[Completion of a ring|completed]] stalk of the [[structure sheaf]] at <math>x</math> (i.e. functions on a formal neighbourhood of <math>x</math>) and <math>K_\nu=K_{X,x}</math> is its fraction field. Thus
:<math>\mathbf{A}_{\mathbf{F}_q(\mathbf{P}^1)}\ =\ \prod_{x\in X} (\mathcal{K}_{X,x},\widehat{\mathcal{O}}_{X,x}).</math>
The same holds for any smooth proper curve <math>X/\mathbf{F_{\mathit{q}}}</math> over a finite field, the restricted product being over all points of <math>x \in X</math>.

==Related notions==

The group of units in the adele ring is called the '''idele group'''
:<math>I_K = \mathbf{A}_{K}^\times</math>.
The quotient of the ideles by the subgroup <math>K^\times \subseteq I_K</math> is called the '''idele class group'''
:<math>C_K\ =\ I_K/K^\times.</math>
The '''integral adeles''' are the subring
:<math>\mathbf{O}_K\ =\ \prod O_\nu \ \subseteq \ \mathbf{A}_K.</math>

==Applications==

=== Stating Artin reciprocity ===
The [[Artin reciprocity law]] says that for a global field <math>K</math>,
:<math>\widehat{C_K} = \widehat{\mathbf{A}_K^\times/K^\times} \ \simeq \ \text{Gal}(K^\text{ab}/K)</math>
where <math>K^{ab}</math> is the maximal [[Abelian extension|abelian algebraic extension]] of <math>K</math> and <math>\widehat{(\dots)}</math> means the [[Profinite group|profinite]] completion of the group.

=== Giving adelic formulation of Picard group of a curve ===
If ''<math>X/\mathbf{F_{\mathit{q}}}</math>'' is a smooth proper curve then its [[Picard group]] is<ref>{{Citation |title=Geometric Class Field Theory, notes by Tony Feng of a lecture of Bhargav Bhatt |url=https://math.berkeley.edu/~fengt/2GeometricCFT.pdf}}.</ref>
:<math>\text{Pic}(X) \ = \ K^\times\backslash \mathbf{A}^\times_X/\mathbf{O}_X^\times</math>
and its divisor group is <math>\text{Div}(X)=\mathbf{A}^\times_X/\mathbf{O}_X^\times</math>. Similarly, if <math>G</math> is a [[Semi-simplicity|semisimple]] algebraic group (e.g. <math display="inline">SL_n</math>, it also holds for <math>GL_n</math>) then Weil uniformisation says that<ref>{{Citation | title=Weil uniformization theorem, nlab article | url=https://ncatlab.org/nlab/show/Weil+uniformization+theorem}}.</ref>
:<math>\text{Bun}_G(X) \ = \ G(K)\backslash G(\mathbf{A}_X)/G(\mathbf{O}_X).</math>
Applying this to <math>G=\mathbf{G}_m</math> gives the result on the Picard group.

=== Tate's thesis ===
There is a topology on <math>\mathbf{A}_K</math> for which the quotient <math>\mathbf{A}_K/K</math> is compact, allowing one to do harmonic analysis on it. [[John T. Tate|John Tate]] in his thesis "Fourier analysis in number fields and Hecke Zeta functions"{{sfn|Cassels|Fröhlich|1967}} proved results about [[Dirichlet L-function|Dirichlet L-functions]] using Fourier analysis on the adele ring and the idele group. Therefore, the adele ring and the idele group have been applied to study the Riemann zeta function and more general zeta functions and the L-functions.

=== Proving Serre duality on a smooth curve ===
If <math>X</math> is a smooth proper curve ''over the complex numbers'', one can define the adeles of its function field <math>\mathbf{C}(X)</math> exactly as the finite fields case. [[John T. Tate|John Tate]] proved<ref>{{Citation | title=Residues of differentials on curves | year=1968| doi=10.24033/asens.1162| url=http://archive.numdam.org/ARCHIVE/ASENS/ASENS_1968_4_1_1/ASENS_1968_4_1_1_149_0/ASENS_1968_4_1_1_149_0.pdf| last1=Tate| first1=John| journal=Annales Scientifiques de l'École Normale Supérieure| volume=1| pages=149–159}}.</ref> that [[Serre duality]] on ''<math>X</math>''
:<math>H^1(X,\mathcal{L})\ \simeq \ H^0(X,\Omega_X\otimes\mathcal{L}^{-1})^*</math>
can be deduced by working with this adele ring <math>\mathbf{A}_{\mathbf{C}(X)}</math>. Here ''L'' is a [[line bundle]] on ''<math>X</math>''.

== Notation and basic definitions ==

=== Global fields ===
Throughout this article, <math>K</math> is a [[global field]], meaning it is either a [[algebraic number field|number field]] (a finite extension of <math>\Q</math>) or a [[Function field of an algebraic variety|global function field]] (a finite extension of <math>\mathbb{F}_{p^r}(t)</math> for <math>p</math> prime and <math>r \in \N</math>). By definition a finite extension of a global field is itself a global field.

=== Valuations ===
For a [[Valuation (algebra)|valuation]] <math>v</math> of <math>K</math> it can be written <math>K_v</math> for the completion of <math>K</math> with respect to <math>v.</math> If <math>v</math> is discrete it can be written <math>O_v</math> for the valuation ring of <math>K_v</math> and <math>\mathfrak{m}_v</math> for the maximal ideal of <math>O_v.</math> If this is a principal ideal denoting the uniformising element by <math>\pi_v.</math> A non-Archimedean valuation is written as <math>v<\infty</math> or <math>v \nmid \infty</math> and an Archimedean valuation as <math>v | \infty.</math> Then assume all valuations to be non-trivial.

There is a one-to-one identification of valuations and absolute values. Fix a constant <math>C>1,</math> the valuation <math>v</math> is assigned the absolute value <math>|\cdot|_v,</math> defined as:

:<math>\forall x \in K: \quad |x|_v :=
 \begin{cases}
 C^{-v(x)} & x \neq 0 \\
 0 & x=0
 \end{cases}</math>

Conversely, the absolute value <math>|\cdot|</math> is assigned the valuation <math>v_{|\cdot|},</math> defined as:

:<math>\forall x \in K^\times: \quad v_{|\cdot|}(x):= - \log_C(|x|).</math>

A [[Algebraic number theory#Places|place]] of <math>K</math> is a representative of an equivalence class of [[Valuation (algebra)|valuations]] (or absolute values) of <math>K.</math> Places corresponding to non-Archimedean valuations are called ''finite'', whereas places corresponding to Archimedean valuations are called ''infinite''. Infinite places of a global field form a finite set, which is denoted by <math>P_{\infty}.</math>

Define <math>\textstyle \widehat{O}:= \prod_{v < \infty}O_v</math> and let <math>\widehat{O}^{\times}</math> be its group of units. Then <math>\textstyle \widehat{O}^{\times}=\prod_{v < \infty} O_v^{\times}.</math>

=== Finite extensions ===
Let <math>L/K</math> be a finite extension of the global field <math>K.</math> Let <math>w</math> be a place of <math>L</math> and <math>v</math> a place of <math>K.</math> If the absolute value <math>|\cdot|_w</math> restricted to <math>K</math> is in the equivalence class of <math>v</math>, then <math>w</math> lies above <math>v,</math> which is denoted by <math>w | v,</math> and defined as: 

:<math>\begin{align}
L_v&:=\prod_{w | v} L_w,\\
\widetilde{O_v} &:=\prod_{w | v}O_w.
\end{align}</math>

(Note that both products are finite.)

If <math>w|v</math>,  <math>K_v</math> can be embedded in <math>L_w.</math> Therefore, <math>K_v</math> is embedded diagonally in <math>L_v.</math> With this embedding <math>L_v</math> is a commutative algebra over <math>K_v</math> with degree

:<math>\sum_{w|v}[L_w:K_v]=[L:K].</math>

==The adele ring==

The set of '''finite adeles of a global field <math>K,</math>''' denoted <math>\mathbb{A}_{K,\text{fin}},</math> is defined as the restricted product of <math>K_v</math> with respect to the <math>O_v:</math>

:<math>\mathbb{A}_{K,\text{fin}}:= {\prod_{v<\infty}}^' K_v = \left \{ \left. (x_v)_v \in \prod_{v < \infty} K_v \right | x_v \in O_v \text{ for almost all } v \right \}.</math>

It is equipped with the restricted product topology, the topology generated by restricted open rectangles, which have the following form:

:<math>U=\prod_{v \in E} U_v \times \prod_{v \notin E} O_v \subset {\prod_{v<\infty}}^' K_v ,</math>

where <math>E</math> is a finite set of (finite) places and <math>U_v \subset K_v</math> are open. With component-wise addition and multiplication <math>\mathbb{A}_{K,\text{fin}}</math> is also a ring.

The '''adele ring of a global field''' <math>K</math> is defined as the product of <math>\mathbb{A}_{K,\text{fin}}</math> with the product of the completions of <math>K</math> at its infinite places. The number of infinite places is finite and the completions are either <math>\R</math> or <math>\C.</math> In short:

:<math>\mathbb{A}_K:=\mathbb{A}_{K,\text{fin}}\times \prod_{v | \infty} K_v= {\prod_{v < \infty}}^' K_v \times \prod_{v | \infty}K_v.</math>

With addition and multiplication defined as component-wise the adele ring is a ring. The elements of the adele ring are called '''adeles of <math>K.</math>''' In the following, it is written as

:<math>\mathbb{A}_K= {\prod_v}^' K_v,</math>

although this is generally not a restricted product.

'''Remark.''' Global function fields do not have any infinite places and therefore the finite adele ring equals the adele ring.

:'''Lemma.''' There is a natural embedding of <math>K</math> into <math>\mathbb{A}_K</math> given by the diagonal map: <math>a \mapsto (a,a,\ldots).</math>

'''Proof.''' If <math>a \in K,</math> then <math>a \in O_v^{\times}</math> for almost all <math>v.</math> This shows the map is well-defined. It is also injective because the embedding of <math>K</math> in <math>K_v</math> is injective for all <math>v.</math>

'''Remark.''' By identifying <math>K</math> with its image under the diagonal map it is regarded as a subring of <math>\mathbb{A}_K.</math> The elements of <math>K</math> are called the '''principal adeles''' of <math>\mathbb{A}_K.</math>

'''Definition.''' Let <math>S</math> be a set of places of <math>K.</math> Define the '''set of the <math>S</math>-adeles of <math>K</math>''' as

: <math>\mathbb{A}_{K,S} := {\prod_{v \in S}}^' K_v.</math>

Furthermore, if 

:<math>\mathbb{A}_K^S := {\prod_{v \notin S}}^' K_v</math>

the result is: <math>\mathbb{A}_K=\mathbb{A}_{K,S} \times \mathbb{A}_K^S.</math>

===The adele ring of rationals===

By [[Ostrowski's theorem]] the places of <math>\Q</math> are <math>\{p \in \N :p \text{ prime}\} \cup \{\infty\},</math> it is possible to identify a prime <math>p</math> with the equivalence class of the <math>p</math>-adic absolute value and <math>\infty</math> with the equivalence class of the absolute value <math>|\cdot|_\infty</math> defined as:

:<math>\forall x \in \Q: \quad |x|_\infty:= 
\begin{cases}
 x & x \geq 0 \\
 -x & x < 0 
\end{cases}</math>

The completion of <math>\Q</math> with respect to the place <math>p</math> is <math>\Q_p</math> with valuation ring <math>\Z_p.</math> For the place <math>\infty</math> the completion is <math>\R.</math> Thus:

:<math>\begin{align}
\mathbb{A}_{\Q,\text{fin}} &= {\prod_{p < \infty}}^' \Q_p \\
\mathbb{A}_{\Q} &= \left( {\prod_{p < \infty}}^' \Q_p \right) \times \R 
\end{align}</math>

Or for short

: <math>\mathbb{A}_{\Q} = {\prod_{p \leq \infty}}^' \Q_p,\qquad \Q_\infty:=\R.</math>

the difference between restricted and unrestricted product topology can be illustrated using a sequence in <math>\mathbb{A}_\Q</math>:

:'''Lemma.''' Consider the following sequence in <math>\mathbb{A}_\Q</math>:
::<math>\begin{align}
x_1&=\left(\frac 1 2 ,1,1,\ldots\right)\\
x_2&=\left(1,\frac 1 3 ,1,\ldots\right)\\
x_3&=\left(1,1,\frac 1 5 ,1,\ldots\right)\\
x_4&=\left(1,1,1,\frac 1 7 ,1,\ldots\right)\\
& \vdots
\end{align}</math>
:In the product topology this converges to <math>(1,1,\ldots)</math>, 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 doesn't converge in restricted product topology. For each adele <math>a=(a_p)_p \in \mathbb{A}_{\Q}</math> and for each restricted open rectangle <math>\textstyle U=\prod_{p \in E}U_p \times \prod_{p \notin E}\Z_p,</math> it has: <math>\tfrac{1}{p}-a_p \notin \Z_p</math> for <math>a_p \in \Z_p</math> and therefore <math>\tfrac{1}{p}-a_p \notin \Z_p</math> for all <math>p \notin F.</math> As a result <math>x_n-a \notin U</math> for almost all <math>n \in \N.</math> In this consideration, <math>E</math> and <math>F</math> are finite subsets of the set of all places.

===Alternative definition for number fields===

'''Definition ([[profinite integers]]).''' The '''[[profinite integers]]''' are defined as the [[profinite completion]] of the rings <math>\Z /n\Z</math> with the partial order <math>n \geq m \Leftrightarrow m | n,</math> i.e.,

:<math>\widehat{\Z}:=\varprojlim_n \Z /n\Z,</math>

:'''Lemma.''' <math>\textstyle \widehat{\Z} \cong \prod_p \Z_p.</math>

'''Proof.''' This follows from the [[Chinese remainder theorem|Chinese Remainder Theorem]].

:'''Lemma.''' <math>\mathbb{A}_{\Q, \text{fin}}= \widehat{\Z}\otimes_{\Z} \Q.</math>

'''Proof.''' Use the universal property of the tensor product. Define a <math>\Z</math>-bilinear function

:<math>\begin{cases} \Psi: \widehat{\Z}\times \Q \to \mathbb{A}_{\Q,\text{fin}} \\ \left ((a_p)_p,q \right ) \mapsto (a_pq)_p \end{cases}</math>

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

:'''Corollary.''' Define <math>\mathbb{A}_\Z := \widehat{\Z} \times \R.</math> This results in an algebraic isomorphism <math>\mathbb{A}_{\Q} \cong \mathbb{A}_{\Z}\otimes_{\Z} \Q.</math>

'''Proof.''' <math>\mathbb{A}_\Z \otimes_\Z \Q = \left (\widehat{\Z}\times \R \right )\otimes_\Z \Q \cong \left (\widehat{\Z} \otimes_\Z \Q \right )\times (\R \otimes_\Z \Q) \cong \left (\widehat{\Z}\otimes_{\Z} \Q \right ) \times \R = \mathbb{A}_{\Q,\text{fin}} \times \R = \mathbb{A}_{\Q}.</math>

:'''Lemma.''' For a number field <math>K, \mathbb{A}_K=\mathbb{A}_{\Q}\otimes_{\Q} K.</math>

'''Remark.''' Using <math>\mathbb{A}_{\Q}\otimes_{\Q} K \cong \mathbb{A}_{\Q} \oplus \dots \oplus \mathbb{A}_{\Q},</math> where there are <math>[K:\Q]</math> summands, give the right side receives the product topology and transport this topology via the isomorphism onto <math>\mathbb{A}_{\Q}\otimes_{\Q} K.</math>

===The adele ring of a finite extension===

If <math>L/K</math> be a finite extension, then <math>L</math> is a global field. Thus <math>\mathbb{A}_L</math> is defined, and <math>\textstyle \mathbb{A}_L= {\prod_v}^' L_v.</math>  <math>\mathbb{A}_K</math> can be identified with a subgroup of <math>\mathbb{A}_L.</math> Map <math>a=(a_v)_v \in \mathbb{A}_K</math> to <math>a'=(a'_w)_w \in \mathbb{A}_L</math> where <math>a'_w=a_v \in K_v \subset L_w</math> for <math>w|v.</math> Then <math>a=(a_w)_w \in \mathbb{A}_L</math> is in the subgroup <math>\mathbb{A}_K,</math> if <math>a_w \in K_v</math> for <math>w | v</math> and <math>a_w=a_{w'}</math> for all <math>w, w'</math> lying above the same place <math>v</math> of <math>K.</math>

:'''Lemma.''' If <math>L/K</math> is a finite extension, then <math>\mathbb{A}_L\cong\mathbb{A}_K \otimes_K L</math> both algebraically and topologically.

With the help of this isomorphism, the inclusion <math>\mathbb{A}_K \subset \mathbb{A}_L</math> is given by

:<math>\begin{cases}
\mathbb{A}_K \to \mathbb{A}_L\\
\alpha \mapsto \alpha \otimes_K 1
\end{cases}</math>

Furthermore, the principal adeles in <math>\mathbb{A}_K</math> can be identified with a subgroup of principal adeles in <math>\mathbb{A}_L</math> via the map

:<math>\begin{cases}
K \to (K \otimes_K L) \cong L\\
\alpha \mapsto 1 \otimes_K \alpha
\end{cases}</math>

'''Proof.'''<ref>This proof can be found in {{harvnb|Cassels|Fröhlich|1967|p=64.}}</ref> Let <math>\omega_1,\ldots, \omega_n</math> be a basis of <math>L</math> over <math>K.</math> Then for almost all <math>v,</math>

:<math>\widetilde{O_v} \cong O_v\omega_1 \oplus \cdots \oplus O_v \omega_n.</math>

Furthermore, there are the following isomorphisms:

: <math>K_v\omega_1 \oplus \cdots \oplus K_v \omega_n \cong K_v \otimes_K L \cong L_v=\prod\nolimits_{w | v} L_w</math>

For the second use the map:

:<math>\begin{cases} K_v \otimes_K L \to L_v \\\alpha_v \otimes a \mapsto (\alpha_v \cdot (\tau_w(a)))_w \end{cases}</math>

in which <math>\tau_w : L \to L_w</math> is the canonical embedding and <math>w | v.</math> The restricted product is taken on both sides with respect to <math>\widetilde{O_v}:</math>

: <math>\begin{align}
\mathbb{A}_K \otimes_K L &= \left ( {\prod_v}^' K_v \right ) \otimes_K L\\
&\cong {\prod_v}^' (K_v\omega_1 \oplus \cdots \oplus K_v \omega_n)\\
&\cong {\prod_v}^' (K_v \otimes_K L)\\
&\cong {\prod_v}^' L_v \\
&=\mathbb{A}_L
\end{align}</math>

:'''Corollary.''' As additive groups <math>\mathbb{A}_L \cong \mathbb{A}_K \oplus \cdots \oplus \mathbb{A}_K,</math> where the right side has <math>[L:K]</math> summands.

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

===The adele ring of vector-spaces and algebras===

:'''Lemma.''' Suppose <math>P\supset P_{\infty}</math> is a finite set of places of <math>K</math> and define
::<math>\mathbb{A}_K(P):=\prod_{v \in P} K_v \times \prod_{v \notin P} O_v.</math>
:Equip <math>\mathbb{A}_K(P)</math> with the product topology and define addition and multiplication component-wise. Then <math>\mathbb{A}_K(P)</math> is a locally compact topological ring.

'''Remark.''' If <math>P'</math> is another finite set of places of <math>K</math> containing <math>P</math> then <math>\mathbb{A}_K(P)</math> is an open subring of <math>\mathbb{A}_K(P').</math>

Now, an alternative characterisation of the adele ring can be presented. The adele ring is the union of all sets <math>\mathbb{A}_K(P)</math>:

:<math>\mathbb{A}_K = \bigcup_{P \supset P_\infty, |P|<\infty} \mathbb{A}_K(P).</math>

Equivalently <math>\mathbb{A}_K</math> is the set of all <math>x=(x_v)_v</math> so that <math>|x_v|_v \leq 1</math> for almost all <math>v < \infty.</math> The topology of <math>\mathbb{A}_K</math> is induced by the requirement that all <math>\mathbb{A}_K(P)</math> be open subrings of <math>\mathbb{A}_K.</math> Thus, <math>\mathbb{A}_K</math> is a locally compact topological ring.

Fix a place <math>v</math> of <math>K.</math> Let <math>P</math> be a finite set of places of <math>K,</math> containing <math>v</math> and <math>P_\infty.</math> Define

:<math>\mathbb{A}_K'(P,v) := \prod_{w \in P \setminus \{v\}} K_w \times \prod_{w \notin P} O_w.</math>

Then:

:<math>\mathbb{A}_K(P) \cong K_v \times \mathbb{A}_K'(P,v).</math>

Furthermore, define

:<math>\mathbb{A}_K'(v):=\bigcup_{P \supset P_{\infty} \cup \{v\}} \mathbb{A}_K'(P,v),</math>

where <math>P</math> runs through all finite sets containing <math>P_{\infty} \cup \{v\}.</math> Then:

:<math>\mathbb{A}_K \cong K_v \times \mathbb{A}_K'(v),</math>

via the map <math>(a_w)_w \mapsto (a_v, (a_w)_{w \neq v}).</math> The entire procedure above holds with a finite subset <math>\widetilde{P}</math> instead of <math>\{v\}.</math>

By construction of <math>\mathbb{A}_K'(v),</math> there is a natural embedding: <math>K_v \hookrightarrow \mathbb{A}_K.</math> Furthermore, there exists a natural projection <math>\mathbb{A}_K \twoheadrightarrow K_v.</math>

====The adele ring of a vector-space====

Let <math>E</math> be a finite dimensional vector-space over <math>K</math> and <math>\{\omega_1,\ldots,\omega_n\}</math> a basis for <math>E</math> over <math>K.</math> For each place <math>v</math> of <math>K</math>:

:<math>\begin{align}
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{align}</math>

The adele ring of <math>E</math> is defined as

:<math>\mathbb{A}_E:= {\prod_v}^' E_v.</math>

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 adele ring for number fields. Next, <math>\mathbb{A}_E</math> is equipped with the restricted product topology. Then <math>\mathbb{A}_E = E \otimes_K \mathbb{A}_K</math> and <math>E</math> is embedded in <math>\mathbb{A}_E</math> naturally via the map <math>e \mapsto e \otimes 1.</math>

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

The topology can be defined in a different way. Fixing a basis for <math>E</math> over <math>K</math> results in an isomorphism <math>E \cong K^n.</math> Therefore fixing a basis induces an isomorphism <math>(\mathbb{A}_K)^n \cong \mathbb{A}_E.</math> The left-hand side is supplied with the product topology and transport this topology with the isomorphism onto the right-hand side. The topology doesn't 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

:<math>\begin{align}
\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{align}</math>

where the sums have <math>n</math> summands. In case of <math>E=L,</math> the definition above is consistent with the results about the adele ring of a finite extension <math>L/K.</math>

<ref>The definitions are based on {{harvnb|Weil|1967|p=60.}}</ref>

====The adele ring of an algebra====

Let <math>A</math> be a finite-dimensional algebra over <math>K.</math> In particular, <math>A</math> is a finite-dimensional vector-space over <math>K.</math> As a consequence, <math>\mathbb{A}_{A}</math> is defined and <math>\mathbb{A}_A \cong \mathbb{A}_K \otimes_K A.</math> Since there is multiplication on <math>\mathbb{A}_K</math> and <math>A,</math>  a multiplication on <math>\mathbb{A}_A</math> can be defined via:

:<math>\forall \alpha, \beta \in \mathbb{A}_K \text{ and } \forall a,b \in A: \qquad  (\alpha \otimes_K a) \cdot (\beta \otimes_K b):=(\alpha\beta)\otimes_K(ab).</math>

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

:<math>\mathbb{A}_{A}(P,\alpha) =\prod_{v \in P} A_v \times \prod_{v \notin P} M_v.</math>

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

===Trace and norm on the adele ring===

Let <math>L/K</math> be a finite extension. Since <math>\mathbb{A}_K=\mathbb{A}_K \otimes_K K</math> and <math>\mathbb{A}_L=\mathbb{A}_K \otimes_K L</math> from the Lemma above, <math>\mathbb{A}_K</math> can be interpreted as a closed subring of <math>\mathbb{A}_L.</math> For this embedding, write <math>\operatorname{con}_{L/K}</math>. Explicitly for all places <math>w</math> of <math>L</math> above <math>v</math> and for any <math>\alpha \in \mathbb{A}_K, (\operatorname{con}_{L/K}(\alpha))_w=\alpha_v \in K_v.</math>

Let <math>M/L/K</math> be a tower of global fields. Then:

:<math>\operatorname{con}_{M/K}(\alpha)=\operatorname{con}_{M/L}(\operatorname{con}_{L/K}(\alpha)) \qquad \forall \alpha \in \mathbb{A}_K.</math>

Furthermore, restricted to the principal adeles <math>\operatorname{con}</math> is the natural injection <math>K \to L.</math>

Let <math>\{\omega_1,\ldots,\omega_n\}</math> be a basis of the field extension <math>L/K.</math> Then each <math>\alpha \in \mathbb{A}_L</math> can be written as <math>\textstyle \sum_{j=1}^n \alpha_j \omega_j,</math> where <math>\alpha_j \in \mathbb{A}_K</math> are unique. The map <math>\alpha \mapsto \alpha_j</math> is continuous. Define <math>\alpha_{ij}</math> depending on <math>\alpha</math> via the equations:

:<math>\begin{align}
\alpha \omega_1 &=\sum_{j=1}^n \alpha_{1j} \omega_j \\
&\vdots \\
\alpha \omega_n &=\sum_{j=1}^n \alpha_{nj} \omega_j
\end{align}</math>

Now, define the trace and norm of <math>\alpha</math> as:

:<math>\begin{align}
\operatorname{Tr}_{L/K}(\alpha) &:= \operatorname{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{align}</math>

These are the trace and the determinant of the linear map

:<math>\begin{cases} \mathbb{A}_L \to \mathbb{A}_L \\ x \mapsto \alpha x\end{cases}</math>

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

: <math>\begin{align}
\operatorname{Tr}_{L/K}(\alpha+\beta)&=\operatorname{Tr}_{L/K}(\alpha) + \operatorname{Tr}_{L/K}(\beta) && \forall \alpha, \beta \in \mathbb{A}_L\\
\operatorname{Tr}_{L/K}(\operatorname{con}(\alpha))&=n\alpha && \forall \alpha \in \mathbb{A}_K\\
N_{L/K}(\alpha \beta)&=N_{L/K}(\alpha) N_{L/K}(\beta) && \forall \alpha, \beta \in \mathbb{A}_L\\
N_{L/K}(\operatorname{con}(\alpha))&=\alpha^n && \forall \alpha \in \mathbb{A}_K
\end{align}</math>

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

: <math>\begin{align}
\operatorname{Tr}_{L/K}(\operatorname{Tr}_{M/L}(\alpha)) &= \operatorname{Tr}_{M/K}(\alpha) && \forall \alpha \in \mathbb{A}_M\\
N_{L/K} (N_{M/L}(\alpha))&=N_{M/K}(\alpha) && \forall \alpha \in \mathbb{A}_M
\end{align}</math>

Moreover, it can be proven that:<ref>See {{harvnb|Weil|1967|p=64}} or {{harvnb|Cassels|Fröhlich|1967|p=74}}.</ref>

:<math>\begin{align}
\operatorname{Tr}_{L/K}(\alpha) &= \left (\sum_{w | v}\operatorname{Tr}_{L_w/K_v}(\alpha_w) \right )_v && \forall \alpha \in \mathbb{A}_L\\
N_{L/K}(\alpha) &= \left (\prod_{w | v}N_{L_w/K_v}(\alpha_w) \right )_v && \forall \alpha \in \mathbb{A}_L
\end{align}</math>

===Properties of the adele ring===

:'''Theorem.'''<ref>For proof see {{harvnb|Deitmar|2010|p=124}}, theorem 5.2.1.</ref> For every set of places <math>S, \mathbb{A}_{K,S}</math> is a locally compact topological ring.

'''Remark.''' The result above also holds for the adele ring of vector-spaces and algebras over <math>K.</math>

:'''Theorem.'''<ref>See {{harvnb|Cassels|Fröhlich|1967|p=64}}, Theorem, or {{harvnb|Weil|1967|p=64}}, Theorem 2.</ref> <math>K</math> is discrete and cocompact in <math>\mathbb{A}_K.</math> In particular, <math>K</math> is closed in <math>\mathbb{A}_K.</math>

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

:<math>U:= \left \{ (\alpha_p)_p \left | \forall p<\infty: |\alpha_p |_p \leq 1 \quad \text{and} \quad |\alpha_\infty|_\infty <1 \right. \right \}=\widehat{\Z} \times (-1,1).</math>

<math>U</math> is an open neighbourhood of <math>0 \in \mathbb{A}_\Q.</math> It is claimed that <math>U \cap \Q = \{0\}.</math> Let <math>\beta \in U \cap \Q,</math> then <math>\beta \in \Q</math> and <math>|\beta|_p \leq 1</math> for all <math>p</math> and therefore <math>\beta \in \Z.</math> Additionally,  <math>\beta \in (-1,1)</math> and therefore <math>\beta=0.</math> Next, to show compactness, define:

:<math>W:= \left \{(\alpha_p)_p \left | \forall p<\infty: |\alpha_p|_p \leq 1  \quad \text{and} \quad |\alpha_\infty|_\infty \leq \frac{1}{2} \right. \right \}=\widehat{\Z} \times \left[-\frac 1 2,\frac 1 2 \right].</math>

Each element in <math>\mathbb{A}_\Q /\Q</math> has a representative in <math>W,</math> that is for each <math>\alpha \in \mathbb{A}_\Q,</math> there exists <math>\beta \in \Q</math> such that <math>\alpha - \beta \in W.</math> Let <math>\alpha=(\alpha_p)_p \in \mathbb{A}_\Q,</math> be arbitrary and <math>p</math> be a prime for which <math>|\alpha_p|>1.</math> Then there exists <math>r_p=z_p/p^{x_p}</math> with <math>z_p \in \Z, x_p \in \N</math> and <math>|\alpha_p-r_p|\leq 1.</math> Replace <math>\alpha</math> with <math>\alpha-r_p</math> and let <math>q \neq p</math> be another prime. Then:

:<math>\left |\alpha_q-r_p \right |_q \leq \max \left \{|a_q|_q,|r_p|_q \right \} \leq \max \left \{|a_q|_q,1 \right \} \leq 1.</math>

Next, it can be claimed that:

:<math>|\alpha_q-r_p|_q \leq 1 \Longleftrightarrow |\alpha_q|_q \leq 1.</math>

The reverse implication is trivially true. The implication is true, because the two terms of the strong triangle inequality are equal if the absolute values of both integers are different. As a consequence, the (finite) set of primes for which the components of <math>\alpha</math> are not in <math>\Z_p</math> is reduced by 1. With iteration, it can be deduced that there exists <math>r\in \Q</math> such that <math>\alpha-r \in \widehat{\Z} \times \R.</math> Now select <math>s \in \Z</math> such that <math>\alpha_\infty-r-s \in \left [-\tfrac{1}{2}, \tfrac{1}{2} \right ].</math> Then <math>\alpha-(r+s) \in W.</math> The continuous projection <math>\pi:W \to\mathbb{A}_\Q /\Q</math> is surjective, therefore <math>\mathbb{A}_\Q /\Q,</math> as the continuous image of a compact set, is compact.

:'''Corollary.''' Let <math>E</math> be a finite-dimensional vector-space over <math>K.</math> Then <math>E</math> is discrete and cocompact in <math>\mathbb{A}_E.</math>

:'''Theorem.''' The following are assumed:
:*<math>\mathbb{A}_{\Q}= \Q +\mathbb{A}_{\Z}.</math>
:*<math>\Z =\Q \cap \mathbb{A}_{\Z}.</math>
:*<math>\mathbb{A}_{\Q}/\Z</math> is a [[divisible group]].<ref>The next statement can be found in {{harvnb|Neukirch|2007|p=383}}.</ref> 
:*<math>\Q \subset \mathbb{A}_{\Q,\text{fin}}</math> is dense.

'''Proof.''' The first two equations can be proved in an elementary way.

By definition <math>\mathbb{A}_{\Q}/\Z</math> is divisible if for any <math>n \in \N</math> and <math>y \in \mathbb{A}_{\Q}/\Z</math> the equation <math>nx=y</math> has a solution <math>x \in \mathbb{A}_{\Q}/\Z.</math> It is sufficient to show <math>\mathbb{A}_{\Q}</math> is divisible but this is true since <math>\mathbb{A}_{\Q}</math> is a field with positive characteristic in each coordinate.

For the last statement note that <math>\mathbb{A}_{\Q,\text{fin}}=\Q \widehat{\Z},</math> because the finite number of denominators in the coordinates of the elements of <math>\mathbb{A}_{\Q,\text{fin}}</math> can be reached through an element <math>q \in \Q.</math> As a consequence, it is sufficient to show <math>\Z \subset \widehat{\Z}</math> is dense, that is each open subset <math>V \subset \widehat{\Z}</math> contains an element of <math>\Z.</math> Without loss of generality, it can be assumed that

:<math>V=\prod_{p \in E} \left(a_p+p^{l_p}\Z_p \right ) \times \prod_{p \notin E}\Z_p,</math>

because <math>(p^m\Z_p)_{m \in \N}</math> is a neighbourhood system of <math>0</math> in <math>\Z_p.</math> By Chinese Remainder Theorem there exists <math>l \in \Z</math> such that <math>l \equiv a_p \bmod p^{l_p}.</math> Since powers of distinct primes are coprime, <math>l \in V</math> follows.

'''Remark.''' <math>\mathbb{A}_{\Q}/\Z</math> is not uniquely divisible. Let <math>y=(0,0,\ldots)+\Z \in \mathbb{A}_{\Q}/\Z</math> and <math>n \geq 2</math> be given. Then

:<math>\begin{align}
x_1 &=(0,0,\ldots)+\Z \\
x_2 &= \left (\tfrac{1}{n}, \tfrac{1}{n}, \ldots \right )+\Z
\end{align}</math>

both satisfy the equation <math>nx=y</math> and clearly <math>x_1 \neq x_2</math> (<math>x_2</math> is well-defined, because only finitely many primes divide <math>n</math>). In this case, being uniquely divisible is equivalent to being torsion-free, which is not true for <math>\mathbb{A}_{\Q}/\Z</math> since <math>nx_2 = 0,</math> but <math>x_2 \neq 0</math> and <math>n \neq 0.</math>

'''Remark.''' The fourth statement is a special case of the [[#Approximation theorems|strong approximation theorem]].

===Haar measure on the adele ring===

'''Definition.''' A function <math>f: \mathbb{A}_K \to \C</math> is called simple if <math>\textstyle f=\prod_v f_v,</math> where <math>f_v:K_v \to \C</math> are measurable and <math>f_v= \mathbf{1}_{O_v}</math> for almost all <math>v.</math>

:'''Theorem.'''<ref>See {{harvnb|Deitmar|2010|p=126}}, Theorem 5.2.2 for the rational case.</ref> Since <math>\mathbb{A}_K</math> is a locally compact group with addition, there is an additive Haar measure <math>dx</math> on <math>\mathbb{A}_K.</math> This measure can be normalised such that every integrable simple function <math>\textstyle f=\prod_v f_v</math> satisfies:
::<math>\int_{\mathbb{A}_K} f \, dx = \prod_v \int_{K_v} f_v \, dx_v,</math>
:where for <math>v <\infty, dx_v</math> is the measure on <math>K_v</math> such that <math>O_v</math> has unit measure and <math>dx_{\infty}</math> is the Lebesgue measure. The product is finite, i.e., almost all factors are equal to one.

==The idele group==

'''Definition.''' Define the '''idele group of <math>K</math>''' as the group of units of the adele ring of <math>K,</math> that is <math>I_K := \mathbb{A}_K^{\times}.</math> The elements of the idele group are called the '''ideles of <math>K.</math>'''

'''Remark.'''  <math>I_K</math> is equipped with a topology so that it becomes a topological group. The subset topology inherited from <math>\mathbb{A}_K</math> is not a suitable candidate since the group of units of a topological ring equipped with subset topology may ''not'' be a topological group. For example, the inverse map in <math>\mathbb{A}_{\Q}</math> is not continuous. The sequence

:<math>\begin{align}
x_1&=(2,1,\ldots)\\
x_2&=(1,3,1,\ldots)\\
x_3&=(1,1,5,1,\ldots)\\
&\vdots
\end{align}</math>

converges to <math>1 \in \mathbb{A}_{\Q}.</math> To see this let <math>U</math> be neighbourhood of <math>0,</math> without loss of generality it can be assumed:

:<math>U=\prod_{p \leq N} U_p \times \prod_{p > N}\Z_p</math>

Since <math>(x_n)_p-1 \in \Z_p</math> for all <math>p,</math> <math>x_n-1 \in U</math> for <math>n</math> large enough. However, as was seen above the inverse of this sequence does not converge in <math>\mathbb{A}_{\Q}.</math>

:'''Lemma.''' Let <math>R</math> be a topological ring. Define:
::<math>\begin{cases}
\iota: R^{\times} \to R \times R\\
x \mapsto (x,x^{-1})
\end{cases}</math>
:Equipped with the topology induced from the product on topology on <math>R \times R</math> and <math>\iota, R^{\times}</math> is a topological group and the inclusion map <math>R^{\times} \subset R</math> is continuous. It is the coarsest topology, emerging from the topology on <math>R,</math> that makes <math>R^\times</math> a topological group.

'''Proof.''' Since <math>R</math> is a topological ring, it is sufficient to show that the inverse map is continuous. Let <math>U\subset R^\times</math> be open, then <math>U \times U^{-1} \subset R \times R</math> is open. It is necessary to show <math>U^{-1} \subset R^\times</math> is open or equivalently, that <math>U^{-1}\times (U^{-1})^{-1}=U^{-1} \times U \subset R \times R</math> is open. But this is the condition above.

The idele group is equipped with the topology defined in the Lemma making it a topological group.

'''Definition.''' For <math>S</math> a subset of places of <math>K</math> set: <math>I_{K,S}:=\mathbb{A}_{K,S}^\times, I_K^S:=(\mathbb{A}_{K}^S)^{\times}.</math>

:'''Lemma.''' The following identities of topological groups hold:
::<math>\begin{align}
I_{K,S}&= {\prod_{v \in S}}^' K_v^{\times}\\
I_K^S&=  {\prod_{v \notin S}}^' K_v^{\times}\\
I_K&= {\prod_v}^' K_v^{\times}
\end{align}</math>
:where the restricted product has the restricted product topology, which is generated by restricted open rectangles of the form
::<math>\prod_{v \in E} U_v \times \prod_{v \notin E} O_v^{\times},</math>
:where <math>E</math> is a finite subset of the set of all places and <math>U_v \subset K_v^{\times}</math> are open sets.

'''Proof.''' Prove the identity for <math>I_K</math>; the other two follow similarly. First show the two sets are equal:

:<math>\begin{align}
I_K &=\{x=(x_v)_v \in \mathbb{A}_K: \exists y=(y_v)_v \in \mathbb{A}_K: xy=1\}\\
&=\{x=(x_v)_v \in \mathbb{A}_K: \exists y=(y_v)_v \in \mathbb{A}_K: x_v \cdot y_v =1 \quad \forall v\} \\
&=\{x=(x_v)_v: x_v \in K_v^\times \forall v \text{ and } x_v \in O_v^\times \text{ for almost all } v\} \\
&= {\prod_v}^' K_v^\times
\end{align}</math>

In going from line 2 to 3, <math>x</math> as well as <math>x^{-1}=y</math> have to be in <math>\mathbb{A}_K,</math> meaning <math>x_v \in O_v</math> for almost all <math>v</math> and <math>x_v^{-1} \in O_v</math> for almost all <math>v.</math> Therefore, <math>x_v \in O_v^\times</math> for almost all <math>v.</math>

Now, it is possible to show the topology on the left-hand side equals the topology on the right-hand side. Obviously, every open restricted rectangle is open in the topology of the idele group. On the other hand, for a given <math>U \subset I_K,</math> which is open in the topology of the idele group, meaning <math>U \times U^{-1} \subset \mathbb{A}_K \times \mathbb{A}_K</math> is open, so for each <math>u \in U</math> there exists an open restricted rectangle, which is a subset of <math>U</math> and contains <math>u.</math> Therefore, <math>U</math> is the union of all these restricted open rectangles and therefore is open in the restricted product topology.

:'''Lemma.''' For each set of places, <math>S, I_{K,S}</math> is a locally compact topological group.

'''Proof.''' The local compactness follows from the description of <math>I_{K,S}</math> as a restricted product. It being a topological group follows from the above discussion on the group of units of a topological ring.

A neighbourhood system of <math>1 \in \mathbb{A}_K(P_\infty)^{\times}</math> is a neighbourhood system of <math>1 \in I_K.</math> Alternatively, take all sets of the form:

:<math>\prod_v U_v,</math>

where <math>U_v</math> is a neighbourhood of <math>1 \in K_v^\times</math> and <math>U_v=O_v^\times</math> for almost all <math>v.</math>

Since the idele group is a locally compact, there exists a Haar measure <math>d^\times x</math> on it. This can be normalised, so that

:<math>\int_{I_{K,\text{fin}}} \mathbf{1}_{\widehat{O}}\, d^\times x =1.</math>

This is the normalisation used for the finite places. In this equation, <math>I_{K,\text{fin}}</math> is the finite idele group, meaning the group of units of the finite adele ring. For the infinite places, use the multiplicative [[lebesgue measure]] <math>\tfrac{dx}{|x|}.</math>

===The idele group of a finite extension===

:'''Lemma.''' Let <math>L/K</math> be a finite extension. Then:
::<math>I_L= {\prod_v}^' L_v^\times.</math>
:where the restricted product is with respect to <math>\widetilde{O_v}^{\times}.</math>

:'''Lemma.''' There is a canonical embedding of <math>I_K</math> in <math>I_L.</math>

'''Proof.''' Map <math>a=(a_v)_v \in I_K</math> to <math>a'=(a'_w)_w \in I_L</math> with the property <math>a'_w=a_v \in K_v^\times \subset L_w^\times</math> for <math>w|v.</math> Therefore, <math>I_K</math> can be seen as a subgroup of <math>I_L.</math> An element <math>a=(a_w)_w \in I_L</math> is in this subgroup if and only if his components satisfy the following properties: <math>a_w \in K_v^\times</math> for <math>w | v</math> and <math>a_w=a_{w'}</math> for <math>w|v</math> and <math>w' | v</math> for the same place <math>v</math> of <math>K.</math>

===The case of vector spaces and algebras===
<ref>This section is based on {{harvnb|Weil|1967|p=71.}}</ref>

====The idele group of an algebra====

Let <math>A</math> be a finite-dimensional algebra over <math>K.</math> Since <math>\mathbb{A}_A^{\times}</math> is not a topological group with the subset-topology in general, equip <math>\mathbb{A}_{A}^{\times}</math> with the topology similar to <math>I_K</math> above and call <math>\mathbb{A}_A^{\times}</math> the idele group. The elements of the idele group are called idele of <math>A.</math>

:'''Proposition.''' Let <math>\alpha</math> be a finite subset of <math>A,</math> containing a basis of <math>A</math> over <math>K.</math> For each finite place <math>v</math> of <math>K,</math> let <math>\alpha_v</math> be the <math>O_v</math>-module generated by <math>\alpha</math> in <math>A_v.</math> There exists a finite set of places <math>P_0</math> containing <math>P_{\infty}</math> such that for all <math>v \notin P_0,</math><math>\alpha_v</math> is a compact subring of <math>A_v.</math> Furthermore, <math>\alpha_v</math> contains <math>A_v^\times.</math> For each <math>v, A_v^{\times}</math> is an open subset of <math>A_v</math> and the map <math>x \mapsto x^{-1}</math> is continuous on <math>A_v^{\times}.</math> As a consequence <math>x \mapsto (x,x^{-1})</math> maps <math>A_v^{\times}</math> homeomorphically on its image in <math>A_v \times A_v.</math> For each <math>v \notin P_0,</math> the <math>\alpha_v^{\times}</math> are the elements of <math>A_v^\times,</math> mapping in <math>\alpha_v \times \alpha_v</math> with the function above. Therefore, <math>\alpha_v^{\times}</math> is an open and compact subgroup of <math>A_v^\times.</math><ref>A proof of this statement can be found in {{harvnb|Weil|1967|p=71.}}</ref>

====Alternative characterisation of the idele group====

:'''Proposition.''' Let <math>P \supset P_{\infty}</math> be a finite set of places. Then
::<math>\mathbb{A}_{A}(P,\alpha)^{\times}:=\prod_{v \in P} A_v^{\times} \times \prod_{v \notin P} \alpha_v^{\times}</math>
:is an open subgroup of <math>\mathbb{A}_{A}^{\times},</math> where <math>\mathbb{A}_{A}^{\times}</math> is the union of all <math>\mathbb{A}_{A}(P,\alpha)^{\times}.</math><ref>A proof of this statement can be found in {{harvnb|Weil|1967|p=72.}}</ref>

:'''Corollary.''' In the special case of <math>A=K</math> for each finite set of places <math>P \supset P_{\infty},</math> 
::<math>\mathbb{A}_K(P)^{\times}=\prod_{v \in P}K_v^{\times} \times \prod_{v \notin P}O_v^{\times}</math>
:is an open subgroup of <math>\mathbb{A}_K^{\times}=I_K.</math> Furthermore, <math>I_K</math> is the union of all <math>\mathbb{A}_K(P)^{\times}.</math>

===Norm on the idele group===

The trace and the norm should be transfer from the adele ring to the idele group. It turns out the trace can't be transferred so easily. However, it is possible to transfer the norm from the adele ring to the idele group. Let <math>\alpha \in I_K.</math> Then <math>\operatorname{con}_{L/K}(\alpha) \in I_L</math> and therefore, it can be said that in injective group homomorphism

:<math>\operatorname{con}_{L/K}: I_K \hookrightarrow I_L.</math>

Since <math>\alpha \in I_L,</math> it is invertible, <math>N_{L/K}(\alpha)</math> is invertible too, because <math>(N_{L/K}(\alpha))^{-1}= N_{L/K}(\alpha^{-1}).</math> Therefore <math>N_{L/K}(\alpha) \in I_K.</math> As a consequence, the restriction of the norm-function introduces a continuous function:

:<math>N_{L/K}: I_L \to I_K.</math>

===The Idele class group===

:'''Lemma.''' There is natural embedding of <math>K^{\times}</math> into <math>I_{K,S}</math> given by the diagonal map: <math>a \mapsto (a,a,a,\ldots).</math>

'''Proof.''' Since <math>K^{\times}</math> is a subset of <math>K_v^{\times}</math> for all <math>v,</math> the embedding is well-defined and injective.

:'''Corollary.''' <math>A^{\times}</math> is a discrete subgroup of <math>\mathbb{A}_{A}^{\times}.</math>

'''Defenition.''' In analogy to the [[ideal class group]], the elements of <math>K^{\times}</math> in <math>I_K</math> are called '''principal ideles of <math>I_K.</math>''' The quotient group <math>C_K := I_K/K^{\times}</math> is called idele class group of <math>K.</math> This group is [[#Relation between ideal class group and idele class group|related to the ideal class group]] and is a central object in class field theory.

'''Remark.''' <math>K^\times</math> is closed in <math>I_K,</math> therefore <math>C_K</math> is a locally compact topological group and a Hausdorff space.

:'''Lemma.'''<ref>For a proof see  {{harvnb|Neukirch|2007|p=388}}.</ref> Let <math>L/K</math> be a finite extension. The embedding <math>I_K \to I_L</math> induces an injective map:
::<math>\begin{cases}
C_K \to C_L\\
\alpha K^\times \mapsto \alpha L^\times
\end{cases}</math>

===Properties of the idele group===

====Absolute value on the idele group of K and 1-idele====

'''Definition.''' For <math>\alpha=(\alpha_v)_v \in I_K</math> define: <math>\textstyle |\alpha|:=\prod_v |\alpha_v|_v.</math> Since <math>\alpha</math> is an idele this product is finite and therefore well-defined.

'''Remark.''' The definition can be extended to <math>\mathbb{A}_K</math> by allowing infinite products. However, these infinite products vanish and so <math>|\cdot|</math> vanishes on <math>\mathbb{A}_K \setminus I_K.</math>   <math>|\cdot|</math> will be used to denote both the function on <math>I_K</math> and <math>\mathbb{A}_K.</math>

:'''Theorem.''' <math>|\cdot|:I_K \to \R_+</math> is a continuous group homomorphism.

'''Proof.''' Let <math>\alpha, \beta \in I_K.</math>

: <math>\begin{align}
|\alpha \cdot \beta|&=\prod_v |(\alpha \cdot \beta)_v|_v\\
&=\prod_v|\alpha_v \cdot \beta_v|_v\\
&=\prod_v(|\alpha_v|_v \cdot |\beta_v|_v)\\
&=\left(\prod_v |\alpha_v|_v\right) \cdot \left(\prod_v |\beta_v|_v\right)\\
&= |\alpha|\cdot |\beta|
\end{align}</math>

where it is used that all products are finite. The map is continuous which can be seen using an argument dealing with sequences. This reduces the problem to whether <math>|\cdot|</math> is continuous on <math>K_v.</math> However, this is clear, because of the reverse triangle inequality.

'''Definition.'''  The set of <math>1</math>-idele can be defined as:

:<math>I_K^1:=\{x \in I_K: |x|=1\}=\ker(|\cdot|).</math>

<math>I_K^1</math> is a subgroup of <math>I_K.</math> Since <math>I_K^1=|\cdot|^{-1}(\{1\}),</math> it is a closed subset of <math>\mathbb{A}_K.</math> Finally the <math>\mathbb{A}_K</math>-topology on <math>I_K^1</math> equals the subset-topology of <math>I_K</math> on <math>I_K^1.</math><ref>This statement can be found in {{harvnb|Cassels|Fröhlich|1967|p=69}}.</ref><ref><math>\mathbb{A}_K^1</math> is also used for the set of the <math>1</math>-idele but <math>I_K^1</math> is used in this example. </ref>

:'''Artin's Product Formula.''' <math>|k|=1</math> for all <math>k \in K^\times.</math>

'''Proof.'''<ref>There are many proofs for this result. The one shown below is based on {{harvnb|Neukirch|2007|p=195.}}</ref> Proof of the formula for number fields, the case of global function fields can be proved similarly. Let <math>K</math> be a number field and <math>a \in K^\times.</math> It has to be shown that:

:<math>\prod_v|a|_v=1.</math>

For finite place <math>v</math> for which the corresponding prime ideal <math>\mathfrak{p}_v</math> does not divide <math>(a)</math>,  <math>v(a)=0</math> and therefore <math>|a|_v=1.</math> This is valid for almost all <math>\mathfrak{p}_v.</math> There is:

: <math>\begin{align}
\prod_v|a|_v&=\prod_{p \leq \infty} \prod_{v| p}|a|_v\\
&=\prod_{p \leq \infty} \prod_{v| p}|N_{K_v/ \Q_p}(a)|_p\\
&=\prod_{p \leq \infty} |N_{K /\Q}(a)|_p
\end{align}</math>

In going from line 1 to line 2, the identity <math>|a|_w=|N_{L_w/ K_v}(a)|_v,</math> was used where <math>v</math> is a place of <math>K</math> and <math>w</math> is a place of <math>L,</math> lying above <math>v.</math> Going from line 2 to line 3, a property of the norm is used. The norm is in <math>\Q</math> so without loss of generality it can be assumed that <math>a \in \Q.</math> Then <math>a</math> possesses a unique [[integer factorization|integer factorisation]]:

:<math>a=\pm\prod_{p < \infty}p^{v_p},</math>

where <math>v_p \in \Z</math> is <math>0</math> for almost all <math>p.</math> By [[Ostrowski's theorem]] all absolute values on <math>\Q</math> are equivalent to the real absolute value <math>|\cdot|_{\infty}</math> or a <math>p</math>-adic absolute value. Therefore:

:<math>\begin{align}
|a| &= \left(\prod_{p < \infty} |a|_p\right) \cdot |a|_{\infty}\\
    &= \left(\prod_{p < \infty} p^{-v_p}\right) \cdot \left(\prod_{p < \infty}p^{v_p}\right) \\
    &= 1
\end{align}</math>

:'''Lemma.'''<ref>For a proof see {{harvnb|Cassels|Fröhlich|1967|p=66.}}</ref> There exists a constant <math>C,</math> depending only on <math>K,</math> such that for every <math>\alpha=(\alpha_v)_v \in \mathbb{A}_K</math> satisfying <math>\textstyle \prod_v |\alpha_v|_v > C,</math> there exists <math>\beta \in K^{\times}</math> such that <math>|\beta_v|_v\leq |\alpha_v|_v</math> for all <math>v.</math>

:'''Corollary.''' Let <math>v_0</math> be a place of <math>K</math> and let <math>\delta_v > 0</math> be given for all <math>v \neq v_0</math> with the property <math>\delta_v=1</math> for almost all <math>v.</math> Then there exists <math>\beta \in K^{\times},</math> so that <math>|\beta| \leq \delta_v</math> for all <math>v \neq v_0.</math>

'''Proof.''' Let <math>C</math> be the constant from the lemma. Let <math>\pi_v</math> be a uniformising element of <math>O_v.</math> Define the adele <math>\alpha=(\alpha_v)_v</math> via <math>\alpha_v:=\pi_v^{k_v}</math> with <math>k_v \in \Z</math> minimal, so that <math>|\alpha_v|_v \leq \delta_v</math> for all <math>v \neq v_0.</math> Then <math>k_v=0</math> for almost all <math>v.</math> Define <math>\alpha_{v_0}:=\pi_{v_0}^{k_{v_0}}</math> with <math>k_{v_0}\in \Z,</math> so that <math>\textstyle \prod_v |\alpha_v|_v > C.</math> This works, because <math>k_v=0</math> for almost all <math>v.</math> By the Lemma there exists <math>\beta \in K^\times,</math> so that <math>|\beta|_v \leq |\alpha_v|_v \leq \delta_v</math> for all <math>v \neq v_0.</math>

:'''Theorem.''' <math>K^\times</math> is discrete and cocompact in <math>I_K^1.</math>

'''Proof.'''<ref>This proof can be found in {{harvnb|Weil|1967|p=76}} or in {{harvnb|Cassels|Fröhlich|1967|p=70}}.</ref> Since <math>K^\times</math> is discrete in <math>I_K</math> it is also discrete in <math>I_K^1.</math> To prove the compactness of <math>I_K^1/K^\times</math> let <math>C</math> is the constant of the Lemma and suppose <math>\alpha \in \mathbb{A}_K</math> satisfying <math>\textstyle \prod_v |\alpha_v|_v > C</math> is given. Define:

:<math>W_\alpha:= \left \{\xi=(\xi_v)_v \in \mathbb{A}_K | |\xi_v|_v\leq |\alpha_v|_v \text{ for all } v\right \}.</math>

Clearly <math>W_\alpha</math> is compact. It can be claimed that the natural projection <math>W_{\alpha} \cap I_K^1 \to I_K^1/K^\times</math> is surjective. Let <math>\beta=(\beta_v)_v \in I_K^1</math> be arbitrary, then:

:<math>|\beta| = \prod_v |\beta_v|_v=1,</math>

and therefore

:<math>\prod_v |\beta_v^{-1}|_v=1.</math>

It follows that

:<math>\prod_v |\beta_v^{-1}\alpha_v|_v=\prod_v |\alpha_v|_v>C.</math>

By the Lemma there exists <math>\eta \in K^\times</math> such that <math>|\eta|_v \leq |\beta_v^{-1}\alpha_v|_v</math> for all <math>v,</math> and therefore <math>\eta\beta \in W_{\alpha}</math> proving the surjectivity of the natural projection. Since it is also continuous the compactness follows.

:'''Theorem.'''<ref name="auto">Part of Theorem 5.3.3 in {{harvnb|Deitmar|2010}}.</ref> There is a canonical isomorphism <math>I_{\Q}^1/\Q^\times \cong \widehat{\Z}^\times.</math> Furthermore, <math>\widehat{\Z}^\times \times \{1\} \subset I_{\Q}^1</math> is a set of representatives for <math>I_{\Q}^1/\Q^\times</math> and <math>\widehat{\Z}^\times \times (0, \infty) \subset I_{\Q}</math> is a set of representatives for <math>I_{\Q}/\Q^\times.</math>

'''Proof.''' Consider the map

:<math>\begin{cases} \phi: \widehat{\Z}^\times \to I_{\Q}^1/\Q^\times \\ (a_p)_p \mapsto ((a_p)_p,1)\Q^\times \end{cases}</math>

This map is well-defined, since <math>|a_p|_p=1</math> for all <math>p</math> and therefore <math>\textstyle \left(\prod_{p<\infty} |a_p|_p\right)\cdot 1=1.</math> Obviously <math>\phi</math> is a continuous group homomorphism. Now suppose <math>((a_p)_p,1)\Q^\times=((b_p)_p,1)\Q^\times.</math> Then there exists <math>q \in \Q^\times</math> such that <math>((a_p)_p,1)q=((b_p)_p,1).</math> By considering the infinite place it can be seen that <math>q=1</math> proves injectivity. To show surjectivity let <math>((\beta_p)_p, \beta_\infty) \Q^\times\in I_{\Q}^1/\Q^\times.</math> The absolute value of this element is <math>1</math> and therefore

:<math>|\beta_\infty|_\infty=\frac{1}{\prod_p |\beta_p|_p} \in \Q.</math>

Hence <math>\beta_\infty \in \Q</math> and there is:

:<math>((\beta_p)_p, \beta_\infty) \Q^\times= \left ( \left (\frac{\beta_p}{\beta_\infty} \right )_p,1 \right )\Q^\times.</math>

Since

:<math>\forall p: \qquad  \left | \frac{\beta_p}{\beta_\infty} \right |_p=1,</math>

It has been concluded that <math>\phi</math> is surjective.

:'''Theorem.'''<ref name="auto"/> The absolute value function induces the following isomorphisms of topological groups:
::<math>\begin{align}
I_{\Q} &\cong I_{\Q}^1 \times (0, \infty) \\
I_{\Q}^1 &\cong I_{\Q, \text{fin}} \times \{\pm 1\}.
\end{align}</math>

'''Proof.''' The isomorphisms are given by:

:<math>\begin{cases} \psi: I_\Q \to I_{\Q}^1 \times (0, \infty) \\ a=(a_\text{fin}, a_{\infty}) \mapsto \left (a_\text{fin},\frac{a_\infty}{|a|},|a| \right)\end{cases} \qquad \text{and} \qquad \begin{cases} \widetilde{\psi}: I_{\Q, \text{fin}} \times \{\pm 1\} \to I_{\Q}^1 \\(a_\text{fin},\varepsilon) \mapsto \left (a_\text{fin}, \frac{\varepsilon}{|a_\text{fin}|} \right) \end{cases}</math>

====Relation between ideal class group and idele class group====

:'''Theorem.''' Let <math>K</math> be a number field with ring of integers <math>O,</math> group of fractional ideals <math>J_K,</math> and ideal class group <math>\operatorname{Cl}_K =J_K/K^\times.</math> Here's the following isomorphisms
::<math>\begin{align}
J_K &\cong I_{K,\text{fin}}/\widehat{O}^\times \\
\operatorname{Cl}_K &\cong C_{K,\text{fin}}/\widehat{O}^\times K^\times \\
\operatorname{Cl}_K &\cong C_K/\left (\widehat{O}^\times \times \prod_{v | \infty} K_v^\times \right ) K^\times
\end{align}</math>
:where <math>C_{K,\text{fin}} :=I_{K,\text{fin}}/K^\times</math> has been defined.

'''Proof.''' Let <math>v</math> be a finite place of <math>K</math> and let <math>|\cdot|_v</math> be a representative of the equivalence class <math>v.</math> Define

:<math>\mathfrak{p}_v:=\{x \in O: |x|_v < 1 \}.</math>

Then <math>\mathfrak{p}_v</math> is a prime ideal in <math>O.</math> The map <math>v \mapsto \mathfrak{p}_v</math> is a bijection between finite places of <math>K</math> and non-zero prime ideals of <math>O.</math> The inverse is given as follows: a prime ideal <math>\mathfrak{p}</math> is mapped to the valuation <math>v_\mathfrak{p},</math> given by

: <math>\begin{align}
v_\mathfrak{p}(x)&:= \max\{k \in \N _0: x \in \mathfrak{p}^k\} \quad \forall x \in O^\times \\
v_\mathfrak{p}\left( \frac{x}{y}\right) &:= v_\mathfrak{p}(x)-v_\mathfrak{p}(y) \quad \forall x,y \in O^\times
\end{align}</math>

The following map is well-defined:

: <math>\begin{cases}
(\cdot): I_{K,\text{fin}} \to J_K\\
\alpha = (\alpha_v)_v \mapsto \prod_{v < \infty} \mathfrak{p}_v^{v(\alpha_v)},
\end{cases}</math>

The map <math>(\cdot)</math> is obviously a surjective homomorphism and <math>\ker((\cdot))=\widehat{O}^\times.</math> The first isomorphism follows from [[Fundamental theorem on homomorphisms|fundamental theorem on homomorphism]]. Now, both sides are divided by <math>K^{\times}.</math> This is possible, because

:<math>\begin{align}
(\alpha)&=((\alpha,\alpha,\dotsc)) \\
&=\prod_{v < \infty}\mathfrak{p}_v^{v(\alpha)}\\
&=(\alpha) && \text{ for all } \alpha \in K^\times.
\end{align}</math>

Please, note the abuse of notation: On the left hand side in line 1 of this chain of equations, <math>(\cdot)</math> stands for the map defined above. Later, the embedding of <math>K^{\times}</math> into <math>I_{K,\text{fin}}</math> is used. In line 2, the definition of the map is used. Finally, use 
that <math>O</math> is a Dedekind domain and therefore each ideal can be written as a product of prime ideals. In other words, the map <math>(\cdot)</math> is a <math>K^\times</math>-equivariant group homomorphism. As a consequence, the map above induces a surjective homomorphism

: <math>\begin{cases}
\phi:C_{K,\text{fin}} \to \operatorname{Cl}_K\\
\alpha K^\times \mapsto (\alpha) K^\times
\end{cases}</math>

To prove the second isomorphism, it has to be shown that <math>\ker(\phi)=\widehat{O}^{\times}K^\times.</math> Consider <math>\xi=(\xi_v)_v \in \widehat{O}^{\times}.</math> Then <math>\textstyle \phi(\xi K^\times) =\prod_v \mathfrak{p}_v^{v(\xi_v)}K^\times=K^\times,</math> because <math>v(\xi_v)=0</math> for all <math>v.</math> On the other hand, consider <math>\xi K^\times \in C_{K,\text{fin}}</math> with <math>\phi(\xi K^\times)=O K^\times,</math> which allows to write <math>\textstyle \prod_v\mathfrak{p}_v^{v(\xi_v)} K^\times=O K^\times.</math> As a consequence, there exists a representative, such that: <math>\textstyle \prod_v \mathfrak{p}_v^{v(\xi'_v)}=O.</math> Consequently, <math>\xi' \in \widehat{O}^\times</math> and therefore <math>\xi K^\times=\xi' K^\times \in \widehat{O}^\times K^\times.</math> The second isomorphism of the theorem has been proven.

For the last isomorphism note that <math>\phi</math> induces a surjective group homomorphism <math>\widetilde{\phi}: C_K \to \operatorname{Cl}_K</math> with

:<math>\ker(\widetilde{\phi})= \left (\widehat{O}^\times \times \prod_{v | \infty}K_v^\times \right )K^\times.</math>

'''Remark.''' Consider <math>I_{K,\text{fin}}</math> with the idele topology and equip <math>J_K,</math> with the discrete topology. Since <math>(\{\mathfrak{a}\})^{-1}</math> is open for each <math>\mathfrak{a} \in J_K, (\cdot)</math> is continuous. It stands, that <math>(\{\mathfrak{a}\})^{-1} = \alpha \widehat{O}^\times</math> is open, where <math>\alpha=(\alpha_v)_v \in \mathbb{A}_{K,\text{fin}},</math> so that <math>\textstyle \mathfrak{a}=\prod_v \mathfrak{p}_v^{v(\alpha_v)}.</math>

====Decomposition of the idele group and idele class group of K====

:'''Theorem.'''
::<math>\begin{align}
I_K &\cong I_K^1 \times M: \quad  \begin{cases} M \subset I_K \text{ discrete and } M \cong \Z & \operatorname{char}(K)>0 \\ M \subset I_K \text{ closed and } M \cong \R_+ & \operatorname{char}(K)=0 \end{cases} \\
C_K &\cong I_K^1/K^\times \times N: \quad  \begin{cases} N = \Z & \operatorname{char}(K)>0 \\ N = \R_+ & \operatorname{char}(K)=0 \end{cases}
\end{align}</math>

'''Proof.''' <math>\operatorname{char}(K) = p>0.</math> For each place <math>v</math> of <math>K, \operatorname{char}(K_v) = p,</math> so that for all <math>x \in K_v^{\times},</math> <math>|x|_v</math> belongs to the subgroup of <math>\R_+,</math> generated by <math>p.</math> Therefore for each <math>z \in I_K,</math> <math>|z|</math> is in the subgroup of <math>\R_+,</math> generated by <math>p.</math> Therefore the image of the homomorphism <math>z \mapsto |z|</math> is a discrete subgroup of <math>\R_+,</math> generated by <math>p.</math> Since this group is non-trivial, it is generated by <math>Q=p^m</math> for some <math>m \in \N.</math> Choose <math>z_1 \in I_K,</math> so that <math>|z_1|=Q,</math> then <math>I_K</math> is the direct product of <math>I_K^1</math> and the subgroup generated by <math>z_1.</math> This subgroup is discrete and isomorphic to <math>\Z.</math>

<math>\operatorname{char}(K) = 0.</math> For <math>\lambda \in \R_+</math> define:

:<math>z(\lambda)= (z_v)_v, \quad z_v = \begin{cases} 1 & v \notin P_{\infty} \\ \lambda  & v \in P_{\infty} \end{cases}</math>

The map <math>\lambda \mapsto z(\lambda)</math> is an isomorphism of <math>\R_+</math> in a closed subgroup <math>M</math> of <math>I_K</math> and <math>I_K \cong M \times I_K^1.</math> The isomorphism is given by multiplication:

: <math>\begin{cases}
\phi: M \times I_K^1 \to I_K,\\
((\alpha_v)_v, (\beta_v)_v) \mapsto (\alpha_v \beta_v)_v
\end{cases}</math>

Obviously, <math>\phi</math> is a homomorphism. To show it is injective, let <math>(\alpha_v \beta_v)_v=1.</math> Since <math>\alpha_v=1</math> for <math>v < \infty,</math> it stands that <math>\beta_v=1</math> for <math>v < \infty.</math> Moreover, it exists a <math>\lambda \in \R_+,</math> so that <math>\alpha_v=\lambda</math> for <math>v | \infty.</math> Therefore, <math>\beta_v=\lambda^{-1}</math> for <math>v | \infty.</math> Moreover <math>\textstyle \prod_v |\beta_v|_v =1,</math> implies <math>\lambda^n=1,</math> where <math>n</math> is the number of infinite places of <math>K.</math> As a consequence <math>\lambda=1</math> and therefore <math>\phi</math> is injective. To show surjectivity, let <math>\gamma=(\gamma_v)_v \in I_K.</math> It is defined that <math>\lambda:=|\gamma|^{\frac{1}{n}}</math> and furthermore, <math>\alpha_v=1</math> for <math>v < \infty</math> and <math>\alpha_v=\lambda</math> for <math>v | \infty.</math> Define <math>\textstyle \beta=\frac{\gamma}{\alpha}.</math> It stands, that <math>\textstyle |\beta|=\frac{|\gamma|}{|\alpha|}=\frac{\lambda^n}{\lambda^n}=1.</math> Therefore, <math>\phi</math> is surjective.

The other equations follow similarly.

====Characterisation of the idele group====

:'''Theorem.'''<ref>The general proof of this theorem for any global field is given in {{harvnb|Weil|1967|p=77.}}</ref> Let <math>K</math> be a number field. There exists a finite set of places <math>S,</math> such that:
::<math>I_K= \left (I_{K,S} \times \prod_{v \notin S} O_v^\times \right ) K^\times= \left(\prod_{v \in S} K_v^\times \times \prod_{v \notin S} O_v^\times\right) K^\times.</math>

'''Proof.''' The [[Ideal class group|class number]] of a number field is finite so let <math>\mathfrak{a}_1, \ldots, \mathfrak{a}_h</math> be the ideals, representing the classes in <math>\operatorname{Cl}_K.</math> These ideals are generated by a finite number of prime ideals <math>\mathfrak{p}_1, \ldots, \mathfrak{p}_n.</math> Let <math>S</math> be a finite set of places containing <math>P_\infty</math> and the finite places corresponding to <math>\mathfrak{p}_1, \ldots, \mathfrak{p}_n.</math> Consider the isomorphism:

:<math>I_K/ \left(\prod_{v< \infty}O_v^\times \times \prod_{v | \infty}K_v^\times\right) \cong J_K,</math>

induced by

:<math>(\alpha_v)_v \mapsto \prod_{v < \infty} \mathfrak{p}_v^{v(\alpha_v)}.</math>

At infinite places the statement is immediate, so the statement has been proved for finite places. The inclusion ″<math>\supset</math>″ is obvious. Let <math>\alpha \in I_{K,\text{fin}}.</math> The corresponding ideal <math>\textstyle (\alpha)=\prod_{v< \infty} \mathfrak{p}_v^{v(\alpha_v)}</math> belongs to a class <math>\mathfrak{a}_iK^{\times},</math> meaning <math>(\alpha)=\mathfrak{a}_i(a)</math> for a principal ideal <math>(a).</math> The idele <math>\alpha'=\alpha a^{-1}</math> maps to the ideal <math>\mathfrak{a}_i</math> under the map <math>I_{K,\text{fin}} \to J_K.</math> That means <math>\textstyle \mathfrak{a}_i=\prod_{v< \infty} \mathfrak{p}_v^{v(\alpha'_v)}.</math> Since the prime ideals in <math>\mathfrak{a}_i</math> are in <math>S,</math> it follows <math>v(\alpha'_v)=0</math> for all <math>v \notin S,</math> that means <math>\alpha'_v \in O_v^\times</math> for all <math>v \notin S.</math> It follows, that <math>\alpha'=\alpha a^{-1} \in I_{K,S},</math> therefore <math>\alpha \in I_{K,S}K^\times.</math>

==Applications==

===Finiteness of the class number of a number field===

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:

:'''Theorem (finiteness of the class number of a number field).''' Let <math>K</math> be a number field. Then <math>|\operatorname{Cl}_K|<\infty.</math>

'''Proof.''' The map

:<math>\begin{cases} I_K^1 \to J_K \\ \left ((\alpha_v)_{v < \infty}, (\alpha_v)_{v | \infty} \right ) \mapsto \prod_{v<\infty} \mathfrak{p}_v^{v(\alpha_v)} \end{cases}</math>

is surjective and therefore <math>\operatorname{Cl}_K</math> is the continuous image of the compact set <math>I_K^1/K^{\times}.</math> Thus, <math>\operatorname{Cl}_K</math> is compact. In addition, it is discrete and so finite.

'''Remark.''' There is a similar result for the case of a global function field. In this case, the so-called divisor group is defined. It can be shown that the quotient of the set of all divisors of degree <math>0</math> by the set of the principal divisors is a finite group.<ref>For more information, see {{harvnb|Cassels|Fröhlich|1967|p=71}}.</ref>

===Group of units and Dirichlet's unit theorem===

Let <math>P \supset P_{\infty}</math> be a finite set of places. Define

:<math>\begin{align}
\Omega(P)&:=\prod_{v\in P} K_v^\times \times \prod_{v \notin P} O_v^{\times}=(\mathbb{A}_K(P))^\times\\
E(P)&:=K^{\times} \cap \Omega(P)
\end{align}</math>

Then <math>E(P)</math> is a subgroup of <math>K^{\times},</math> containing all elements <math>\xi \in K^{\times}</math> satisfying <math>v(\xi)=0</math> for all <math>v \notin P.</math> Since <math>K^{\times}</math> is discrete in <math>I_K,</math> <math>E(P)</math> is a discrete subgroup of <math>\Omega(P)</math> and with the same argument, <math>E(P)</math> is discrete in <math>\Omega_1(P):=\Omega(P)\cap I_K^1.</math>

An alternative definition is: <math>E(P)=K(P)^{\times},</math> where <math>K(P)</math> is a subring of <math>K</math> defined by

:<math>K(P):= K \cap \left(\prod_{v\in P} K_v \times \prod_{v \notin P}O_v\right).</math>

As a consequence, <math>K(P)</math> contains all elements <math>\xi \in K,</math> which fulfil <math>v(\xi) \geq 0</math> for all <math>v \notin P.</math>

:'''Lemma 1.''' Let <math>0 < c \leq C < \infty.</math> The following set is finite:
::<math>\left \{\eta \in E(P): \left. \begin{cases}|\eta_v|_v = 1 & \forall v \notin P \\ c \leq |\eta_v|_v \leq C & \forall v \in P \end{cases} \right \} \right \}.</math>

'''Proof.''' Define

:<math>W:= \left \{(\alpha_v)_v: \left. \begin{cases}|\alpha_v|_v= 1 & \forall v \notin P \\ c \leq |\alpha_v|_v \leq C & \forall v \in P \end{cases} \right \} \right \}.</math>

<math>W</math> is compact and the set described above is the intersection of <math>W</math> with the discrete subgroup <math>K^\times</math> in <math>I_K</math> and therefore finite.

:'''Lemma 2.''' Let <math>E</math> be set of all <math>\xi \in K</math> such that <math>|\xi|_v =1</math> for all <math>v.</math> Then <math>E = \mu(K),</math> the group of all roots of unity of <math>K.</math> In particular it is finite and cyclic.

'''Proof.''' All roots of unity of <math>K</math> have absolute value <math>1</math> so <math>\mu(K) \subset E.</math> For converse note that Lemma 1 with <math>c=C=1</math> and any <math>P</math> implies <math>E</math> is finite. Moreover <math>E \subset E(P)</math> for each finite set of places <math>P \supset P_\infty.</math> Finally suppose there exists <math>\xi \in E,</math> which is not a root of unity of <math>K.</math> Then <math>\xi^n \neq 1</math> for all <math>n \in \N</math> contradicting the finiteness of <math>E.</math>

:'''Unit Theorem.''' <math>E(P)</math> is the direct product of <math>E</math> and a group isomorphic to <math>\Z^s,</math> where <math>s=0,</math> if <math>P= \emptyset</math> and <math>s=|P|-1,</math> if <math>P \neq \emptyset.</math><ref>A proof can be found in {{harvnb|Weil|1967|p=78}} or in {{harvnb|Cassels|Fröhlich|1967|p=72}}.</ref>

:'''Dirichlet's Unit Theorem.''' Let <math>K</math> be a number field. Then <math>O^\times\cong\mu(K) \times \Z^{r+s-1},</math> where <math>\mu(K)</math> is the finite cyclic group of all roots of unity of <math>K, r</math> is the number of real embeddings of <math>K</math> and <math>s</math> is the number of conjugate pairs of complex embeddings of <math>K.</math> It stands, that <math>[K:\Q]=r+2s.</math>

'''Remark.''' The Unit Theorem generalises Dirichlet's Unit Theorem. To see this, let <math>K</math> be a number field. It is already known that <math>E=\mu(K),</math> set <math>P=P_\infty</math> and note <math>|P_\infty|=r+s.</math> 

Then there is:

: <math>\begin{align}
E \times \Z^{r+s-1} = E(P_\infty)&=K^\times \cap \left(\prod_{v | \infty} K_v^\times \times \prod_{v < \infty} O_v^\times\right) \\
&\cong K^\times \cap \left( \prod_{v < \infty} O_v^\times \right) \\
&\cong O^\times
\end{align}</math>

===Approximation theorems===

:'''Weak Approximation Theorem.'''<ref>A proof can be found in {{harvnb|Cassels|Fröhlich|1967|p=48}}.</ref> Let <math>|\cdot|_1, \ldots, |\cdot|_N,</math> be inequivalent valuations of <math>K.</math> Let <math>K_n</math> be the completion of <math>K</math> with respect to <math>|\cdot|_n.</math> Embed <math>K</math> diagonally in <math>K_1 \times \cdots \times K_N.</math> Then <math>K</math> is [[Everywhere-dense set|everywhere dense]] in <math>K_1 \times \cdots \times K_N.</math> In other words, for each <math>\varepsilon > 0</math> and for each <math>(\alpha_1, \ldots, \alpha_N) \in K_1 \times \cdots \times K_N,</math> there exists <math>\xi \in K,</math> such that:
::<math>\forall n \in \{ 1, \ldots, N\}: \quad |\alpha_n - \xi|_n < \varepsilon.</math>

:'''Strong Approximation Theorem.'''<ref>A proof can be found in {{harvnb|Cassels|Fröhlich|1967|p=67}}</ref> Let <math>v_0</math> be a place of <math>K.</math> Define
::<math>V:= {\prod_{v \neq v_0}}^' K_v.</math>
:Then <math>K</math> is dense in <math>V.</math>

'''Remark.''' The global field is discrete in its adele ring. The strong approximation theorem tells us that, if one place (or more) is omitted, the property of discreteness of <math>K</math> is turned into a denseness of <math>K.</math>

===Hasse principle===

:'''[[Hasse–Minkowski theorem|Hasse-Minkowski Theorem.]]''' A quadratic form on <math>K</math> is zero, if and only if, the quadratic form is zero in each completion <math>K_v.</math>

'''Remark.''' This is the [[Hasse principle]] for quadratic forms. For polynomials of degree larger than 2 the Hasse principle isn't valid in general. The idea of the Hasse principle (also known as local–global principle) is to solve a given problem of a number field <math>K</math> by doing so in its completions <math>K_v</math> and then concluding on a solution in <math>K.</math>

===Characters on the adele ring===

'''Definition.''' Let <math>G</math> be a locally compact abelian group. The character group of <math>G</math> is the set of all characters of <math>G</math> and is denoted by <math>\widehat{G}.</math> Equivalently <math>\widehat{G}</math> is the set of all continuous group homomorphisms from <math>G</math> to <math>\mathbb{T}:=\{z \in \C :|z|=1\}.</math> Equip <math>\widehat{G}</math> with the topology of uniform convergence on compact subsets of <math>G.</math> One can show that <math>\widehat{G}</math> is also a locally compact abelian group.

:'''Theorem.''' The adele ring is ''self-dual'': <math>\mathbb{A}_K\cong \widehat{\mathbb{A}_K}.</math>

'''Proof.''' By reduction to local coordinates, it is sufficient to show each <math>K_v</math> is self-dual. This can be done by using a fixed character of <math>K_v.</math> The idea has been illustrated by showing <math>\R</math> is self-dual. Define:

:<math>\begin{cases} e_\infty: \R \to \mathbb{T} \\ e_\infty(t) :=\exp(2\pi it) \end{cases} </math>

Then the following map is an isomorphism which respects topologies:

:<math>\begin{cases} \phi: \R \to \widehat{\R} \\ s \mapsto \begin{cases} \phi_s: \R \to \mathbb{T} \\ \phi_s(t) := e_\infty(ts) \end{cases}\end{cases}</math>

:'''Theorem (algebraic and continuous duals of the adele ring).'''<ref>A proof can be found in {{harvnb|Weil|1967|p=66}}.</ref> Let <math>\chi</math> be a non-trivial character of <math>\mathbb{A}_K,</math> which is trivial on <math>K.</math> Let <math>E</math> be a finite-dimensional vector-space over <math>K.</math> Let <math>E^\star</math> and <math>\mathbb{A}_E^\star</math> be the algebraic duals of <math>E</math> and <math>\mathbb{A}_E.</math>  Denote the topological dual of <math>\mathbb{A}_E</math> by <math>\mathbb{A}_E'</math> and use <math>\langle \cdot,\cdot \rangle</math> and <math>[{\cdot},{\cdot}]</math> to indicate the natural bilinear pairings on <math>\mathbb{A}_E \times \mathbb{A}_E'</math> and <math>\mathbb{A}_E \times \mathbb{A}_E^{\star}.</math> Then the formula <math>\langle e,e'\rangle = \chi([e,e^\star])</math> for all <math>e \in \mathbb{A}_E</math> determines an isomorphism <math>e^\star \mapsto e'</math> of <math>\mathbb{A}_E^\star</math> onto <math>\mathbb{A}_E',</math> where <math>e' \in \mathbb{A}_E'</math> and <math>e^\star \in \mathbb{A}_E^\star.</math>  Moreover, if <math>e^\star \in \mathbb{A}_E^\star</math> fulfils <math>\chi([e,e^\star])=1</math> for all <math>e \in E,</math> then <math>e^\star \in E^\star.</math>

===Tate's thesis===

With the help of the characters of <math>\mathbb{A}_K,</math> Fourier analysis can be done on the adele ring.<ref>For more see {{harvnb|Deitmar|2010|p=129}}.</ref> [[John T. Tate|John Tate]] in his thesis "Fourier analysis in Number Fields and Hecke Zeta Functions"{{sfn|Cassels|Fröhlich|1967}} proved results about Dirichlet L-functions using Fourier analysis on the adele ring and the idele group. Therefore, the adele ring and the idele group have been applied to study the Riemann zeta function and more general zeta functions and the L-functions. Adelic forms of these functions can be defined and represented as integrals over the adele ring or the idele group, with respect to corresponding Haar measures. Functional equations and meromorphic continuations of these functions can be shown. For example, for all <math>s \in \C</math> with <math>\Re(s) > 1,</math>

:<math>\int_{\widehat{\Z}} |x|^s d^\times x = \zeta(s),</math>

where <math>d^\times x</math> is the unique Haar measure on <math>I_{\Q,\text{fin}}</math> normalised such that <math>\widehat{\Z}^\times</math> has volume one and is extended by zero to the finite adele ring. As a result, the Riemann zeta function can be written as an integral over (a subset of) the adele ring.<ref>A proof can be found {{harvnb|Deitmar|2010|p=128}}, Theorem 5.3.4. See also p. 139 for more information on Tate's thesis.</ref>

===Automorphic forms===

The theory of automorphic forms is a generalisation of Tate's thesis by replacing the idele group with analogous higher dimensional groups. To see this note:

:<math>\begin{align}
I_{\Q}      &= \operatorname{GL} (1, \mathbb{A}_{\Q}) \\
I_{\Q}^1    &= (\operatorname{GL} (1, \mathbb{A}_\Q))^1:=\{x \in \operatorname{GL} (1, \mathbb{A}_\Q): |x|=1\} \\
\Q^{\times} &= \operatorname{GL} (1, \Q) 
\end{align}</math>

Based on these identification a natural generalisation would be to replace the idele group and the 1-idele with:

:<math>\begin{align}
I_{\Q}   &\leftrightsquigarrow \operatorname{GL} (2, \mathbb{A}_{\Q}) \\
I_{\Q}^1 &\leftrightsquigarrow (\operatorname{GL} (2, \mathbb{A}_\Q))^1:=\{x \in \operatorname{GL} (2, \mathbb{A}_\Q): |\det (x) |=1\} \\
\Q       &\leftrightsquigarrow \operatorname{GL} (2, \Q) 
\end{align}</math>

And finally

:<math>\Q^{\times} \backslash I_{\Q}^1  \cong \Q^{\times} \backslash I_{\Q} \leftrightsquigarrow (\operatorname{GL} (2, \Q) \backslash (\operatorname{GL} (2, \mathbb{A}_\Q))^1 \cong (\operatorname{GL} (2, \Q)Z_{\R}) \backslash\operatorname{GL} (2, \mathbb{A}_\Q),</math>

where <math>Z_\R</math> is the centre of <math>\operatorname{GL} (2, \R).</math> Then it define an automorphic form as an element of <math>L^2((\operatorname{GL} (2, \Q)Z_{\R}) \backslash \operatorname{GL} (2, \mathbb{A}_\Q)).</math> In other words an automorphic form is a function on <math>\operatorname{GL} (2, \mathbb{A}_{\Q})</math> satisfying certain algebraic and analytic conditions. For studying automorphic forms, it is important to know the representations of the group <math>\operatorname{GL} (2, \mathbb{A}_{\Q}).</math> It is also possible to study automorphic L-functions, which can be described as integrals over <math>\operatorname{GL} (2, \mathbb{A}_{\Q}).</math><ref>For further information see Chapters 7 and 8 in {{harvnb|Deitmar|2010}}.</ref>

Generalise even further is possible by replacing <math>\Q</math> with a number field and <math>\operatorname{GL} (2)</math> with an arbitrary reductive algebraic group.

===Further applications===

A generalisation of Artin reciprocity law leads to the connection of representations of <math>\operatorname{GL} (2, \mathbb{A}_K)</math> and of Galois representations of <math>K</math> ([[Langlands program]]).

The idele class group is a key object of [[class field theory]], which describes [[Abelian extension|abelian extensions]] of the field. The product of the local reciprocity maps in [[local class field theory]] gives a homomorphism of the idele group to the Galois group of the maximal abelian extension of the global field. The [[Artin reciprocity law]], which is a sweeping generalisation of the Gauss quadratic reciprocity law, states that the product vanishes on the multiplicative group of the number field. Thus, the global reciprocity map of the idele class group to the abelian part of the absolute Galois group of the field will be obtained.

The self-duality of the adele ring of the function field of a curve over a finite field easily implies the [[Riemann–Roch theorem]] and the duality theory for the curve.

==References==
{{reflist}}

==Sources==
*{{cite book|first1=John|last1=Cassels|authorlink1=J. W. S. Cassels|first2=Albrecht|last2=Fröhlich|authorlink2=Albrecht Fröhlich|title=Algebraic number theory: proceedings of an instructional conference, organized by the London Mathematical Society, (a NATO Advanced Study Institute)|publisher=Academic Press|location=London|year=1967|volume=XVIII|isbn=978-0-12-163251-9}} 366 pages.
*{{cite book|last=Neukirch|first=Jürgen|author-link=Jürgen Neukirch|title=Algebraische Zahlentheorie, unveränd. nachdruck der 1. aufl. edn| language=de |publisher=Springer|location=Berlin|year=2007|volume=XIII|isbn=9783540375470}} 595 pages.
*{{cite book|last=Weil|first=André|author-link=André Weil|title=Basic number theory|publisher=Springer|location=Berlin; Heidelberg; New York| year=1967 |volume=XVIII|isbn=978-3-662-00048-9}} 294 pages.
*{{cite book|last=Deitmar|first=Anton|title=Automorphe Formen|language=de|publisher=Springer|location=Berlin; Heidelberg (u.a.)| year=2010 |volume=VIII |isbn=978-3-642-12389-4}} 250 pages.
*{{cite book|last=Lang|first=Serge|author-link=Serge Lang|title=Algebraic number theory, Graduate Texts in Mathematics 110| edition=2nd |publisher= Springer-Verlag|location=New York|year=1994|isbn=978-0-387-94225-4}}

== External links ==

* [https://mathoverflow.net/questions/78240/what-problem-do-the-adeles-solve What problem do the adeles solve?]
* [https://mathoverflow.net/questions/184737/a-good-book-on-adeles-and-ideles Some good books on adeles]

[[Category:Algebraic number theory]]
[[Category:Topological algebra]]