Codex @codex  0

The idele group is the multiplicative restricted productIts restricted product topology has basic open sets ${\prod }_{v\in S}{U}_v\times {\prod }_{v\notin S}{\mathcal{O}}_v^{\times }$, where $S$ is finite and contains every infinite place, and $U_v$ is open in $K_v^{\times }$. In particular, the restriction to almost all local unit groups is part of the topology, not merely the unrestricted product topology.

The diagonal map $K^{\times }\to J_K$ is injective and well-defined by finite support of the principal ideal's valuations; its image consists of principal ideles. To prove discreteness of principal ideles, take the neighbourhood of $1$ which requires $x_v\in {\mathcal{O}}_v^{\times }$ at every finite place and $|x_v-1|<1/2$ in the ordinary real or complex modulus at every infinite place. A diagonal element in it is a global unit, so $x-1\in {\mathcal{O}}_K$. If $x\ne 1$, the nonzero integer $N_{K/\mathbb{Q}}(x-1)$ has absolute value at least one, but the archimedean bounds make its absolute value less than $2^{-[K:\mathbb{Q}]}$. This contradiction proves $K^{\times }$ is a discrete subgroup of $J_K$.

For a modulus of a number field, write $\mathfrak{m}$ for its finite ideal part together with any selected real places. Let $I_{\mathfrak{m}}$ be the group of fractional ideals coprime to the finite part. Let $P_{\mathfrak{m}}$ consist of principal ideals $(a)$ with $a\equiv 1(\mathrm{mod}{\mathfrak{p}}_v^{m_v})$ locally at each finite place in the modulus, and $a>0$ at each selected real place. The ray class group isEquivalently it is the quotient $J_K/(K^{\times }{U}_{\mathfrak{m}})$, with the corresponding principal-unit factors at finite places and positive multiplicative factors at selected real places. The question now assumes that no infinite places occur.

Put $R_{\mathfrak{m}}={\prod }_{v\in S}{\mathcal{O}}_v^{\times }/(1+{\pi }_v^{m_v}{\mathcal{O}}_v)$. Global units map to $R_{\mathfrak{m}}$ by reduction. To map $R_{\mathfrak{m}}$ to the ray class group, choose, by the Chinese remainder theorem, an integral $a$ having the prescribed unit residues at all $v\in S$, and send the tuple to the ray class of $(a)$. A different choice changes the ratio by an element congruent to one at every such place, so the map is well-defined and multiplicative.

The forgetful map to the ordinary ideal class group is surjective: weak approximation for number fields multiplies an ideal by a principal ideal so that all its valuations in $S$ vanish. Its kernel consists exactly of classes represented by principal ideals coprime to $S$, and their generators supply the local unit residues. Finally, a residue tuple maps to the identity ray class precisely when its chosen $a$ differs from a congruence-one generator by a global unit. Thus the ray class exact sequence isThe leftmost arrow need not be injective, explaining the absence of an initial zero.

For $K=\mathbb{Q}(\sqrt{2})$, the ring of integers of Q of square root two is $\mathbb{Z}[\sqrt{2}]$. Its absolute field norm is a Euclidean function. Indeed, for $a+b\sqrt{2}\in K$, choose nearest integers $m,n$; writing $u=a-m$, $w=b-n$, both bounded by $1/2$, gives $|u^2-2w^2|\le 1/2<1$. Applying this to a quotient proves Euclidean division, hence the ring is a principal ideal domain and $\mathrm{Cl}(K)=0$. This is norm-Euclideanity of the integers adjoined square root two.

Write $\mathfrak{p}=(\sqrt{2})$ and $\mathfrak{q}=(1+2\sqrt{2})$. Their ideal norms are $2$ and $7$, respectively; ${\mathfrak{p}}^2=(2)$ and the residue field at $\mathfrak{q}$ is ${\mathbb{F}}_7$, with $\sqrt{2}\equiv 3$ because $1+2\sqrt{2}\equiv 0$. The finite local quotient product for the requested modulus isThe first factor consists of $1$ and $1+t$.

The given fundamental unit $ϵ=1+\sqrt{2}$ and $-1$ generate the global units. Their images areThe first image has order six; its cube is $(1+t,1)$ and its square is $(1,2)$, generating the first factor and the order-three subgroup of the second. The second image supplies the missing order-two element of ${\mathbb{F}}_7^{\times }$. Thus the global unit map is surjective onto all $12$ local unit residues. By the exact sequence, or the unit-surjectivity criterion for a trivial finite ray class group,There is no positivity condition here: the modulus has no infinite part, so using the unit $-1$ is legitimate and essential in the surjectivity calculation.

For each place of a number field $v$, let $K_v$ be the corresponding completion, and for finite $v$ let ${\mathcal{O}}_v$ be its valuation ring. The adele ring is the restricted productIts restricted product topology has basic open sets ${\prod }_v{U}_v$, where every $U_v\subseteq K_v$ is open and $U_v={\mathcal{O}}_v$ at all but finitely many finite places.

First take $K=\mathbb{Q}$. The neighborhoodof zero meets the diagonal copy of $\mathbb{Q}$ only in zero: a rational number lying in every ${\mathbb{Z}}_p$ is an integer, and the only integer in the indicated real interval is zero. Thus $\mathbb{Q}$ is discrete in ${\mathbb{A}}_{\mathbb{Q}}$.

Every rational adele is congruent modulo $\mathbb{Q}$ to an element ofIndeed, the finitely many negative $p$-adic principal parts can be removed simultaneously by subtracting a rational number, using the Chinese remainder theorem; subtracting an integer then moves the real component into $[0,1]$. This set is compact by the compactness of $[0,1]$, the compactness of every ${\mathbb{Z}}_p$, and the Tychonoff theorem. Its image covers the quotient, so ${\mathbb{A}}_{\mathbb{Q}}/\mathbb{Q}$ is compact.

Now choose a $\mathbb{Q}$-basis of the number field $K$. The given topological isomorphismidentifies the additive pair $({\mathbb{A}}_K,K)$ with $({\mathbb{A}}_{\mathbb{Q}}^n,{\mathbb{Q}}^n)$. A finite product of discrete subgroups is discrete, andis compact.

The idele group iswhere the distinguished subgroup at a finite place is ${\mathcal{O}}_v^{\times }$. It carries the corresponding restricted product topology on the idele group. The inclusion $j:J_K\to {\mathbb{A}}_K$ is continuous: the inverse image of a basic adelic open set is locally a product of open subsets of $K_v^{\times }$, and outside finitely many places every idele component already belongs to ${\mathcal{O}}_v^{\times }\subseteq {\mathcal{O}}_v$.

It is not a homeomorphism onto its image. Let $p_i$ be the $i$th rational prime and define the idele $x^{(i)}$ to equal $p_i$ at the place over $p_i$ and $1$ everywhere else. In the adele topology, $x^{(i)}\to 1$: the difference is zero at every fixed place once $i$ is large, while $p_i-1\in {\mathbb{Z}}_{p_i}$ at the single moving place. In the idele topology the sequence does not converge to $1$, because the open neighborhoodcontains no $x^{(i)}$: its $p_i$-component has positive valuation and is not a unit. Hence the inverse of $j$ on its image is not continuous.

The adele ring is the restricted productAddition and multiplication are componentwise. If $x_v,y_v\in {\mathcal{O}}_v$ outside finite sets, then $x_v+y_v,x_v{y}_v\in {\mathcal{O}}_v$ outside their union, so these operations are closed on ${\mathbb{A}}_K$. The componentwise ring axioms make it a ring. Its restricted product topology has basic open sets ${\prod }_v{U}_v$ with each $U_v\subseteq K_v$ open and $U_v={\mathcal{O}}_v$ at all but finitely many finite places.