ScalingStacks

Definition 4.71 . [02RI]

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 4.71.

The valuation map of the field, val:K×→ℤ{\operatorname{val}}\colon K^{\times}\to\mathbb{Z}, induces a valuation map on 𝕋⁡(K)\mathbb{T}(K), also denoted val:𝕋⁡(K)→N{\operatorname{val}}\colon\mathbb{T}(K)\to N, by the identifications 𝕋⁡(K)=Hom⁡(M,K×)\mathbb{T}(K)=\operatorname{Hom}(M,K^{\times}) and N=Hom⁡(M,ℤ)N=\operatorname{Hom}(M,\mathbb{Z}).

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