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 is not discrete. Let be a norm of and . For any , there is a sub-lattice of such that is finitely generated over and .