Direct limits of adèle rings and their completions (Q2192255)

For a Galois extension \(E/F\), with F a global field, the paper defines a topological ring, denoted by \(\overline{\mathbb{V}}_E\), called the generalized adèle ring of \(E\). Denote by \(\mathcal{J}_E\) the set \(\{K \subseteq E : K/F\text{ finite Galois}\}\), by \(\mathbb{A}_K\) the adèle ring of \(K\) and by \(\overline{\mathbb{A}}_K\) its completion with respect to some (any) invariant metric on \(\mathbb{A}_K\). Main theorems are now stated in a short form. Theorem 1. If \(E/F\) is a Galois extension, then the following hold: \begin{itemize} \item[i)] \(\overline{\mathbb{V}}_E\) is a metrizable topological ring which is complete with respect to any invariant metric on \(\overline{\mathbb{V}}_E\). \item[ii)] If \(\mathbb{V}_E = \bigcup_{K\in\mathcal J_E} \mathbb{V}_K\), then \(\overline{\mathbb{V}}_E\) equals the closure of \(\mathbb{V}_E\) in \(\overline{\mathbb{V}}_E\). \item[iii)] There exists a topological ring isomorphism \(\phi: \overline{\mathbb{A}}_E \to \overline{\mathbb{V}}_E\) such that \(\phi(\mathbb{A}_E) = \mathbb{V}_E\). \end{itemize} Theorem 2. If \(E/F\) is an infinite Galois extension, then \(\mathbb{A}_E\) has empty interior in \(\overline{\mathbb{A}}_E\).