Ideles of Q - Knowlpedia

Put $F=\mathbb Q$ . For each place $v$ , write $F_v$ for its completion. At nonarchimedean places let $\mathcal O_v$ be the valuation ring; at any archimedean places put $\mathcal O_v=F_v$ .

The idele group of $\mathbb Q$ is the multiplicative restricted product

\mathbb A_{\mathbb Q}^\times=\prod_{v}{}'(F_v^\times,\mathcal O_v^\times).

Its elements have nonzero coordinates everywhere and unit coordinates at almost every nonarchimedean place. Algebraically this is the unit group of the corresponding adele ring.

Topology

Basic opens are products of local multiplicative open sets that equal $\mathcal O_v^\times$ at almost all nonarchimedean places. This gives a locally compact abelian topological group. The idele topology is not the subspace topology inherited from the adele ring; continuity of inversion is one reason the distinction matters.

Operations and scope

The operation is coordinatewise multiplication and the identity has every coordinate equal to one. These objects belong to categories of groups, rather than to categories of fields or rings. A group homomorphism need not preserve an ambient additive operation.

Global elements

Every element of $\mathbb Q^\times$ embeds diagonally: a nonzero global element is a unit at almost every finite place. For full ideles the global subgroup is discrete. Its quotient is the idele class group, a further construction.

References

J. S. Milne, Class Field Theory, Chapter V, §4, Ideles, pp. 169–172, especially restricted-product topology and Notes.