ScalingStacks

Definition 2.47 . [02JY]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

Definition 2.47.

Let 𝕂\mathbb{K} be a field and 𝔐𝕂\mathfrak{M}_{\mathbb{K}} a family of absolute values on 𝕂\mathbb{K} with real weights. For each vβˆˆπ”π•‚v\in\mathfrak{M}_{\mathbb{K}} we denote by |β‹…|v|\cdot|_{v} the corresponding absolute value, by nvβˆˆβ„n_{v}\in\mathbb{R} the weight, and by 𝕂v\mathbb{K}_{v} the completion of 𝕂\mathbb{K} with respect to |β‹…|v|\cdot|_{v}. We say that (𝕂,𝔐𝕂)(\mathbb{K},\mathfrak{M}_{\mathbb{K}}) is an adelic field if

  1. (1)

    for each vβˆˆπ”π•‚v\in\mathfrak{M}_{\mathbb{K}}, the absolute value |β‹…|v|\cdot|_{v} is Archimedean or associated to a nontrivial discrete valuation;

  2. (2)

    for each Ξ±βˆˆπ•‚Γ—\alpha\in\mathbb{K}^{\times}, |Ξ±|v=1|\alpha|_{v}=1 except a for a finite number of vv.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.