ScalingStacks

Proposition 1.17 . [0265]

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

Proposition 1.17.

We assume that |.||\raisebox{1.72218pt}{.}| is discrete. Then we have the following:

  1. (1)

    Every lattice ๐’ฑ\mathscr{V} of VV is a finitely generated ๐”ฌk\mathfrak{o}_{k}-module.

  2. (2)

    If we set ๐’ฑ:=(V,โ€–.โ€–)โ‰ค1\mathscr{V}:=(V,\|\raisebox{1.72218pt}{.}\|)_{\leq 1} for a norm of โ€–.โ€–\|\raisebox{1.72218pt}{.}\| of VV, then โ€–.โ€–โ‰คโ€–.โ€–๐’ฑโ‰ค|ฯ–|โˆ’1โ€‹โ€–.โ€–\|\raisebox{1.72218pt}{.}\|\leq\|\raisebox{1.72218pt}{.}\|_{\mathscr{V}}\leq|\varpi|^{-1}\|\raisebox{1.72218pt}{.}\|.

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