ScalingStacks

Proposition 1.14 . [025Z]

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

Let 𝒱\mathscr{V} be a lattice of VV. We assume that, as an 𝔬k\mathfrak{o}_{k}-module, 𝒱\mathscr{V} admits a free basis (e1,…,er)(e_{1},\ldots,e_{r}). Then (e1,…,er)(e_{1},\ldots,e_{r}) is an orthonormal basis of VV with respect to ‖.‖𝒱\|\raisebox{1.72218pt}{.}\|_{\mathscr{V}}.

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