Proposition 3.14 . [00KR]
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 3.14.
Assume that is globally generated. Let be a basis of . Let be a ultrametric norm on with respect to which is orthogonal. Then for any and ,
|
|
|
with the convention that .
(see also [CMor18, Lemma 3.3])