ScalingStacks

Proposition 1.19 . [0269]

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

We assume that the absolute value |.||\raisebox{1.72218pt}{.}| is not discrete. Let โ€–.โ€–\|\raisebox{1.72218pt}{.}\| be a norm of VV and ๐’ฑ:=(V,โ€–.โ€–)โ‰ค1\mathscr{V}:=(V,\|\raisebox{1.72218pt}{.}\|)_{\leq 1}. For any ฯต>0\epsilon>0, there is a sub-lattice ๐’ฑโ€ฒ\mathscr{V}^{\prime} of ๐’ฑ\mathscr{V} such that ๐’ฑโ€ฒ\mathscr{V}^{\prime} is finitely generated over ๐”ฌk\mathfrak{o}_{k} and โ€–.โ€–โ‰คโ€–.โ€–๐’ฑโ€ฒโ‰คeฯตโ€‹โ€–.โ€–\|\raisebox{1.72218pt}{.}\|\leq\|\raisebox{1.72218pt}{.}\|_{\mathscr{V}^{\prime}}\leq e^{\epsilon}\|\raisebox{1.72218pt}{.}\|.

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