Direct limits of adèle rings and their completions (Q2192255): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W3045605757 / rank
 
Normal rank

Revision as of 19:11, 19 March 2024

scientific article
Language Label Description Also known as
English
Direct limits of adèle rings and their completions
scientific article

    Statements

    Direct limits of adèle rings and their completions (English)
    0 references
    0 references
    0 references
    14 August 2020
    0 references
    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\).
    0 references
    adèle rings
    0 references
    completions of topological rings
    0 references
    direct limits
    0 references
    Galois extensions
    0 references
    generalized adèle ring
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references